EEMCS

This is the latest version of this eprint.

Full text available as:

PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader 156 Kb

Official URL: http://www.agedis.de/conference/

Abstract

Systematic testing is very important for assessing and improving the quality of software systems. Yet, testing turns out to be expensive, laborious, time-consuming and error-prone. The Dutch research and development project Côte de Resyste worked on methods, techniques and tools for automating specification based testing using formal methods. The main achievement of the project is a test tool, baptized TorX, which integrates automatic test generation, test execution, and test analysis in an on-the-fly manner. On the one hand, TorX is based on well-defined theory, viz. the ioco-test theory, which has its roots in the theory of testing- and refusal-equivalences for transition systems. On the other hand, the applicability of TorX has been demonstrated by testing several academic and industrial case studies. This paper summarizes the main results of the project Côte de Resyste.

Available Versions of this Item

• TorX: Automated Model-Based Testing (deposited 27 February 2007)
  [Currently Displayed]

Export this item as:

• BibTeX
• XML

To correct this item please ask your editor

Repository Staff Only: edit this item