Time-Optimal Real-Time Test Case Generation using UPPAAL

Publication: ResearchArticle in proceeding

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.
Close

Details

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 languageEnglish
Title of host publicationFormal 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
EditorsPetrenko, Alexandre : Ulrich, Andreas (eds.)
PublisherIEEE Computer Society Press
Publication date2004
Edition2931
Pages118-135
ISBN (print)3540208941
StatePublished - 2004
EventTime-Optimal Real-Time Test Case Generation using UPPAAL -

Conference

ConferenceTime-Optimal Real-Time Test Case Generation using UPPAAL
Periode19/05/2010 → …
ID: 133154