TestCon

Practical Tools and Techniques for the Testing of Concurrent Software Components

"Piglet, I have decided something." "What have you decided, Pooh?" "I have decided to catch a Heffalump." Pooh nodded his head several times as he said this, and waited for Piglet to say "How?" or "Pooh, you couldn't!" or something helpful of that sort, but Piglet said nothing. The fact was Piglet was wishing that he had thought about it first. "I shall do it," said Pooh, after waiting a little longer, "by means of a trap. And it must be a Cunning Trap, so you will have to help me, Piglet." "Pooh," said Piglet, feeling quite happy again now, "I will." And then he said, "How shall we do it?" and Pooh said, "That's just it. How?" And then they sat down together to think it out.

Excerpt from "In which Piglet meets a Heffalump", Winnie-The-Pooh,

A. A. Milne., Methuen Children's books, 1972.

Contributors:: Paul Strooper, Roger Duke, Luke Wildman, Doug Goldson, Brad Long

Description:
Project Outputs:

Brad Long and Ben Long, "Formal Specification of Java Concurrency to Assist software Verification", Proceedings of the 5th International Workshop on Java for Parallel and Distributed Computing, JAVAPDC, IEEE, 2003.
Brad Long and Paul Strooper, "A Classification of Concurrency Failures in Java Components", Proceedings of the 1st International Workshop on Parallel and Distributed Systems: Testing and Debugging, PADTAD, IEEE 2003.
Brad Long, Dan Hoffman, Paul Strooper, "Tool Support for Testing Concurrent Java Components", IEEE Transactions on Software Engineering, Vol 29, No. 6, IEEE, 2003
Roger Duke, Luke Wildman, Brad Long, "Modelling Java Concurrency with Object-Z", FMDS, 2003, IEEE
Luke Wildman, Roger Duke, Paul Strooper "Viewpoint based testing of concurrent components", in Eerke A. Boiten, John Derrick, Graeme Smith (Eds.): Integrated Formal Methods, 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004, Proceedings. Lecture Notes in Computer Science 2999 Springer 2004.
Brad Long, Roger Duke, Doug Goldson, Paul Strooper, Luke Wildman, "Mutation-Based Evaluation of a Method for Verifying Concurrent Java Components", PADTAD04, 2004.
Luke Wildman, Brad Long and Paul Strooper, "Testing Java Interrupts and Timed Waits", accepted for APSEC 2004.
Soon-Kyeong Kim, Luke Wildman and Roger Duke, "A UML Approach to the Generation of Test Sequences for Java-based Concurrent Systems", accepted ASWEC2005.
Graeme Smith and Luke Wildman, "Model checking Z specifications using SAL", accepted ZB2005.
Brad Long, "Testing Concurrent Java Components", submitted 2004.
Brad Long, Paul Strooper, and Luke Wildman, "A Method for Verifying Concurrent Java Components", submitted to Concurrency and Computation: Practice and Experience, Wiley, 2005.
Jin Song Dong, Roger Duke, and P Hao, "Integrating Object-Z with Timed Automata", in the 10th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS'05 pages 488-497, 2005.
Luke Wildman, Brad Long, Paul Strooper, "Dealing with Non-Determinism in Testing Concurrent Java Components" accepted for APSEC 2005

Software:

The ConAn thread testing tool extends the Roast framework by providing the means to automate the testing of multithreaded java components. ConAn5.0 requires roast2.0 as provided below.