Abstract
Testing is the primary software validation technique used by industry
today, but remains ad hoc, error prone, and very expensive. A promising
improvement is to automatically generate test cases from formal models of the
system under test. We demonstrate how to automatically generate real-time
conformance test cases from timed automata specifications. Specifically we
demonstrate how to fficiently generate real-time test cases with optimal
execution time i.e test cases that are the fastest possible to execute. Our
technique allows time optimal test cases to be generated using manually
formulated test purposes or generated automatically from various coverage
criteria of the model.
Original language | English |
---|---|
Title of host publication | Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003 : Lecture Notes in Computer Science |
Editors | Petrenko, Alexandre : Ulrich, Andreas (eds.) |
Publisher | IEEE Computer Society Press |
Publication date | 2004 |
Edition | 2931 |
Pages | 118-135 |
ISBN (Print) | 3540208941 |
Publication status | Published - 2004 |
Event | Time-Optimal Real-Time Test Case Generation using UPPAAL - Duration: 19 May 2010 → … |
Conference
Conference | Time-Optimal Real-Time Test Case Generation using UPPAAL |
---|---|
Period | 19/05/2010 → … |