Time-Optimal Real-Time Test Case Generation using UPPAAL
2004 (English)In: Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, 2004, 114-130 p.Conference paper (Refereed)
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.
Place, publisher, year, edition, pages
2004. 114-130 p.
IdentifiersURN: urn:nbn:se:uu:diva-47808OAI: oai:DiVA.org:uu-47808DiVA: diva2:75715