Côte-de-Resyste: COnformance TEsting of REactive SYSTEms (TIF.4111)

The project aims at developing methods, techniques, and tools for testing reactive software systems. Reactive systems are systems characterised by a continuous interaction with their environment. The fruits of the research should eventually support the testing of implementations of reactive systems for correctness with respect to their functional specifications, i.e., conformance testing. The methodology underlying the techniques and tools will be based on well-defined, formal theories of specification and testing, precise notions of conformance, of validity and completeness of tests, and of measures expressing the coverage and quality of tests. Currently the testing of reactive software systems is a manual, laborous, and error-prone process. The methods, techniques, and tools will improve this process, by providing algorithms for the automated generation of test specifications from system specs, by supporting automatic implementation and execution of these tests, by providing automatic, specification-based analysis of test results, and by giving a mathematically-founded indication of the extent to which the implementation was tested, expressed as a measure of coverage of the tests.
One and other is aimed at coping with realistically-sized, complex reactive systems, such as systems in telematics (e.g. communication services and protocols), and embedded-software systems.

Information about this project: http://fmt.cs.utwente.nl/CdR raadplegen.

There are two companies involved.

Prof.dr. H. Brinksma
Universiteit Twente
Faculteit der Informatica
Vakgroep TIOS
Postbus 217
7500 AE ENSCHEDE