Côte de resyste in PROGRESS


Vries, René and Tretmans, Jan and Belinfante, Axel and Feenstra, Jan and Feijs, Loe and Mauw, Sjouke and Goga, Nicolae and Heerink, Lex and Heer, Arjan de (2000) Côte de resyste in PROGRESS. In: PROGRESS 2000 Workshop on Embedded Systems, October 13, 2000, Utrecht, The Netherlands (pp. pp. 141-148).

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract:Traditional (manual) testing of software systems is a costly, laborious and error-prone activity. It gets even more complicated nowadays with complex reactive software like embedded system software and communication protocols. Such software is characterized by a high degree of interactivity and concurrency. Cˆote de Resyste aims at developing methods and an integrated tool environment to support and, whenever possible, automate the testing process of reactive systems. Contrary to other test tools, this tool environment builds on a sound and well-defined theoretical basis. First results are the implementation of the prototype test tool TorX and its successful application to the Philips’ A/V Link protocol and to the academic Conference protocol case study. These experiments show that test automation, based on formal methods, is feasible and beneficial. Current work concentrates on improving TorX, on developing methods for effective selection of test sets and on generic test execution environments. A major part of the project is devoted to industrial case studies which are executed in close cooperation with Philips, Lucent Technologies and Interpay.
Item Type:Conference or Workshop Item
Copyright:© 2000 Technology Foundation (STW)
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/63322
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 119656