Welcome to the home page of the Testing Cluster at the ASTEC competence center. The project focuses on techniques for automated testing of computer systems. Central problems are:

• Symbolic techniques for generation of test suites from abstract models of system under test.
• Generation of test oracles from requirements of systems under test.

• Specification testing environment for Erlang protocol software (STEP), in collaboration between Mobile Arts AB and the Department of Information Technology at Uppsala University.
• Automatic testing of a WAP gateway (AUTOWAY), in collaboration between Ericsson/KI and Department of Information Technology at Uppsala University.
• Tracking Dependencies in Software Modules (DETRACK), in collaboration between WM Data and Department of Information Technology at Uppsala University.

Participants

Publications

• Johan Blom, Anders Hessel, Bengt Jonsson, Paul Pettersson. Specifying and Generating Test Cases Using Observer Automata. Accepted for presentation at the International Workshop on Formal Approaches to Testing of Software (FATES'04) 2004. ( .pdf, abstract )
• Anders Hessel and Paul Pettersson. A Test Case Generation Algorithm for Real-Time Systems. In proceedings of the 4th International Conference on Quality Software (QSIC'04) pages 268-273, Hans-Dieter Ehrich and Klaus-Dieter Schewe (eds.), IEEE Computer Society, 2004. ( .pdf )
• Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou. Time-Optimal Real-Time Test Case Generation using UPPAAL. In Proceedings of the 3rd International Workshop on Formal Approaches to Testing of Software (FATES'03), 2003. ( .pdf, abstract, bibtex )
• Johan Blom and Bengt Jonsson. Automated Test Generation for Industrial Erlang Applications. In Proceedings of 2nd ACM SIGPLAN Erlang Workshop, Uppsala, Aug. 2003.
• Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou. Time-Optimal Test Cases for Real-Time Systems. Invited presentation. In Proceedings of the 1st International Workshop on Formal Modeling and Analysis of Timed Systems (FORMATS'03), 2003. ( .ps.gz, .pdf, abstract )
• Jonas Boustedt. Automated Testing of WWW Services. M.Sc. Thesis, Uppsala University, 2002. (.html).
• Bengt Jonsson, and Gerardo Padilla. An Execution Semantics for MSC2000. Tenth SDL Forum, Copenhagen, June 2001, (.ps.gz)
• John Håkansson, Bengt Jonsson, and Ola Lundqvist. Generating On-Line Test Oracles from Temporal Logic Specifications, (.ps.gz)
• Gerardo Padilla. An Execution Semantics for MSC2000 M.Sc. Thesis, Uppsala Univ., 2000 (.ps.gz).
• John Håkansson. Automated Generation of Test Scripts from Temporal Logic Specifications. M.Sc. Thesis, Uppsala Univ., 2000 (.ps.gz).

Contact Address