Time-optimal Real-Time Test Case Generation using UPPAAL

DMCA

Time-optimal Real-Time Test Case Generation using UPPAAL (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Anders Hessel , Kim G. Larsen , Brian Nielsen , Paul Pettersson , Arne Skou

Venue:	In FATES’03
Citations:	38 - 17 self

BibTeX

@INPROCEEDINGS{Hessel03time-optimalreal-time,
    author = {Anders Hessel and Kim G. Larsen and Brian Nielsen and Paul Pettersson and Arne Skou},
    title = {Time-optimal Real-Time Test Case Generation using UPPAAL},
    booktitle = {In FATES’03},
    year = {2003},
    pages = {114--130},
    publisher = {Springer–Verlag}
}

OpenURL

Abstract

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 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 generated automatically from various coverage criteria of the model. 1

Keyphrases

time-optimal real-time test case generation test case ad hoc real-time conformance test case promising improvement primary software validation technique automaton specification various coverage criterion real-time test case optimal execution time test purpose error prone time optimal test case formal model industry today

DMCA