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 efficiently 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 automatically from various coverage criteria of the model. © Springer-Verlag 2004.
CITATION STYLE
Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P., & Skou, A. (2004). Time-optimal test cases for real-time systems. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2791, 234–245. https://doi.org/10.1007/978-3-540-40903-8_19
Mendeley helps you to discover research relevant for your work.