Time-Optimal Real-Time Test Case Generation using UPPAAL

Anders Hessel; Kim Guldstrand Larsen; Brian Nielsen; Paul Pettersson; Arne Skou

Time-Optimal Real-Time Test Case Generation using UPPAAL

Anders Hessel, Kim Guldstrand Larsen, Brian Nielsen, Paul Pettersson, Arne Skou

Department of Computer Science

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

41 Citations (Scopus)

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.

Original language	English
Title of host publication	Formal 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
Editors	Petrenko, Alexandre : Ulrich, Andreas (eds.)
Publisher	IEEE Computer Society Press
Publication date	2004
Edition	2931
Pages	118-135
ISBN (Print)	3540208941
Publication status	Published - 2004
Event	Time-Optimal Real-Time Test Case Generation using UPPAAL - Duration: 19 May 2010 → …

Conference

Conference	Time-Optimal Real-Time Test Case Generation using UPPAAL
Period	19/05/2010 → …

Access to Document

http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-10044-22-23681311-0,00.html?changeHeader=true%0A%20style=

AUB Link

Search for the material in Aalborg University Library's search engine

Cite this

Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P., & Skou, A. (2004). Time-Optimal Real-Time Test Case Generation using UPPAAL. In Petrenko, Alexandre : Ulrich, Andreas (eds.) (Ed.), Formal 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 (2931 ed., pp. 118-135). IEEE Computer Society Press. http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-10044-22-23681311-0,00.html?changeHeader=true%0A%20style=

Hessel, Anders ; Larsen, Kim Guldstrand ; Nielsen, Brian et al. / Time-Optimal Real-Time Test Case Generation using UPPAAL. Formal 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. editor / Petrenko, Alexandre : Ulrich, Andreas (eds.). 2931. ed. IEEE Computer Society Press, 2004. pp. 118-135

@inproceedings{31715680003c11dab4d5000ea68e967b,

title = "Time-Optimal Real-Time Test Case Generation using UPPAAL",

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.",

author = "Anders Hessel and Larsen, {Kim Guldstrand} and Brian Nielsen and Paul Pettersson and Arne Skou",

note = "ISSN ; -; Time-Optimal Real-Time Test Case Generation using UPPAAL ; Conference date: 19-05-2010",

year = "2004",

language = "English",

isbn = "3540208941",

pages = "118--135",

editor = "{Petrenko, Alexandre : Ulrich, Andreas (eds.)}",

booktitle = "Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003",

publisher = "IEEE Computer Society Press",

address = "United States",

edition = "2931",

}

Hessel, A, Larsen, KG , Nielsen, B, Pettersson, P & Skou, A 2004, Time-Optimal Real-Time Test Case Generation using UPPAAL. in Petrenko, Alexandre : Ulrich, Andreas (eds.) (ed.), Formal 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. 2931 edn, IEEE Computer Society Press, pp. 118-135, Time-Optimal Real-Time Test Case Generation using UPPAAL, 19/05/2010. <http://www.springeronline.com/sgw/cda/frontpage/0,10735,5-10044-22-23681311-0,00.html?changeHeader=true%0A%20style=>

Time-Optimal Real-Time Test Case Generation using UPPAAL. / Hessel, Anders; Larsen, Kim Guldstrand ; Nielsen, Brian et al.
Formal 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. ed. / Petrenko, Alexandre : Ulrich, Andreas (eds.). 2931. ed. IEEE Computer Society Press, 2004. p. 118-135.

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

TY - GEN

T1 - Time-Optimal Real-Time Test Case Generation using UPPAAL

AU - Hessel, Anders

AU - Larsen, Kim Guldstrand

AU - Nielsen, Brian

AU - Pettersson, Paul

AU - Skou, Arne

N1 - ISSN ; -

PY - 2004

Y1 - 2004

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

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

M3 - Article in proceeding

SN - 3540208941

SP - 118

EP - 135

BT - Formal approaches to software testing : Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, October 6th, 2003

A2 - Petrenko, Alexandre : Ulrich, Andreas (eds.), null

PB - IEEE Computer Society Press

T2 - Time-Optimal Real-Time Test Case Generation using UPPAAL

Y2 - 19 May 2010

ER -

Hessel A, Larsen KG , Nielsen B, Pettersson P, Skou A. Time-Optimal Real-Time Test Case Generation using UPPAAL. In Petrenko, Alexandre : Ulrich, Andreas (eds.), editor, Formal 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. 2931 ed. IEEE Computer Society Press. 2004. p. 118-135