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

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

41 Citationer (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.

Originalsprog	Engelsk
Titel	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
Redaktører	Petrenko, Alexandre : Ulrich, Andreas (eds.)
Forlag	IEEE Computer Society Press
Publikationsdato	2004
Udgave	2931
Sider	118-135
ISBN (Trykt)	3540208941
Status	Udgivet - 2004
Begivenhed	Time-Optimal Real-Time Test Case Generation using UPPAAL - Varighed: 19 maj 2010 → …

Konference

Konference	Time-Optimal Real-Time Test Case Generation using UPPAAL
Periode	19/05/2010 → …

Bibliografisk note

ISSN ; -

Adgang til dokumentet

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

AUB Link

Søg efter materialet i Aalborg Universitetsbiblioteks søgemaskine

Citationsformater

Hessel, A., Larsen, K. G., Nielsen, B., Pettersson, P., & Skou, A. (2004). Time-Optimal Real-Time Test Case Generation using UPPAAL. I Petrenko, Alexandre : Ulrich, Andreas (eds.) (red.), 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 udg., s. 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. red. / Petrenko, Alexandre : Ulrich, Andreas (eds.). 2931. udg. IEEE Computer Society Press, 2004. s. 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. i Petrenko, Alexandre : Ulrich, Andreas (eds.) (red.), 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 udg, IEEE Computer Society Press, s. 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. red. / Petrenko, Alexandre : Ulrich, Andreas (eds.). 2931. udg. IEEE Computer Society Press, 2004. s. 118-135.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning

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. I Petrenko, Alexandre : Ulrich, Andreas (eds.), red., 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 udg. IEEE Computer Society Press. 2004. s. 118-135