Abstract
Model-based testing is a promising technique for improving the quality of testing by automatically generating an efficient set of provably valid test cases from a system model. Testing embedded real-time systems is challenging because it must deal with timing, concurrency, processing and computation of complex mixed discrete and continuous signals, and limited observation and control. Whilst several techniques and tools have been proposed, few deals systematically with models capturing the indeterminacy resulting from concurrency, timing and limited observability and controllability. This paper proposes a number of model-based test generation principles and techniques that aim at efficient testing of timed systems under uncertainty.
Original language | English |
---|---|
Title of host publication | Formal Methods for Components and Objects : 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010. Revised Papers |
Number of pages | 20 |
Volume | 6957 |
Place of Publication | Berlin |
Publisher | Springer |
Publication date | 2012 |
Pages | 352-371 |
ISBN (Print) | 978-3-642-25270-9 |
ISBN (Electronic) | 978-3-642-25271-6 |
DOIs | |
Publication status | Published - 2012 |
Event | 9th International Symposium on Formal Methods for Components and Objects - Graz, Austria Duration: 29 Nov 2010 → 1 Dec 2010 Conference number: 9 |
Conference
Conference | 9th International Symposium on Formal Methods for Components and Objects |
---|---|
Number | 9 |
Country/Territory | Austria |
City | Graz |
Period | 29/11/2010 → 01/12/2010 |
Series | Lecture Notes in Computer Science |
---|---|
Volume | 6957 |
ISSN | 0302-9743 |