Article

Free access

T-UPPAAL: Online Model-based Testing of Real-Time Systems

Authors:

Marius Mikucionis,

Kim G. Larsen,

Brian NielsenAuthors Info & Claims

ASE '04: Proceedings of the 19th IEEE international conference on Automated software engineering

Pages 396 - 397

Published: 20 September 2004 Publication History

PDF eReader

Abstract

The goal of testing is to gain confidence in a physical computer based system by means of executing it. More than one third of typical project resources is spent on testing embedded and real-time systems, but still it remains ad-hoc, based on heuristics, and error-prone. Therefore systematic, theoretically well-founded and effective automated real-time testing techniques are of great practical value.

References

[1]

A. Belinfante, J. Feenstra, R. d. Vries, J. Tretmans, N. Goga, L. Feijs, S. Mauw, and L. Heerink. Formal test automation: A simple experiment. In 12th Int. Workshop on Testing of Communicating Systems, pages 179-196, 1999.

Digital Library

Google Scholar

[2]

M. Krichen and S. Tripakis. Black-box Conformance Testing for Real-Time Systems. In Model Checking Software: 11th International SPIN Workshop, volume LNCS 2989. Springer, april 2004.

Google Scholar

[3]

M. Mikucionis, K. Larsen, and B. Nielsen. Online on-the-fly testing of real-time systems. Technical Report RS-03-49, Basic Research In Computer Science (BRICS), Dec. 2003.

Crossref

Google Scholar

[4]

T-UPPAAL. W. S. www.cs.auc.dk/~marius/tuppaal.

Google Scholar

[5]

UPPAAL. W. S. www.uppaal.com.

Google Scholar

Cited By

View all

Lima BLeavens GGarcia APăsăreanu C(2018)Automated scenario-based integration testing of distributed systemsProceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3236024.3275431(956-958)Online publication date: 26-Oct-2018
https://dl.acm.org/doi/10.1145/3236024.3275431
Maâlej AMakhlouf ZKrichen MJmaiel M(2013)Conformance testing for quality assurance of clustering architecturesProceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications10.1145/2489300.2489338(9-16)Online publication date: 15-Jul-2013
https://dl.acm.org/doi/10.1145/2489300.2489338
Maâlej AKrichen MJmaïel MShin SMaldonado J(2013)WSCCTProceedings of the 28th Annual ACM Symposium on Applied Computing10.1145/2480362.2480563(1055-1061)Online publication date: 18-Mar-2013
https://dl.acm.org/doi/10.1145/2480362.2480563
Show More Cited By

Recommendations

From POOSL to UPPAAL: Transformation and Quantitative Analysis
ACSD '10: Proceedings of the 2010 10th International Conference on Application of Concurrency to System Design

POOSL (Parallel Object-Oriented Specification Language) is a powerful general purpose system-level modeling language. In research on design space exploration of motion control systems, POOSL has been used to construct models for performance analysis. ...
Testing real-time embedded software using UPPAAL-TRON: an industrial case study
EMSOFT '05: Proceedings of the 5th ACM international conference on Embedded software

UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences in applying our tool and technique on an industrial case study. We ...
Testing real-time systems using UPPAAL
Formal methods and testing

This chapter presents principles and techniques for modelbased black-box conformance testing of real-time systems using the Uppaal model-checking tool-suite. The basis for testing is given as a network of concurrent timed automata specified by the test ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ASE '04: Proceedings of the 19th IEEE international conference on Automated software engineering

September 2004

432 pages

ISBN:0769521312

Publisher

IEEE Computer Society

United States

Publication History

Published: 20 September 2004

Qualifiers

Article

Acceptance Rates

Overall Acceptance Rate 82 of 337 submissions, 24%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
82
Total Downloads

Downloads (Last 12 months)7
Downloads (Last 6 weeks)1

Reflects downloads up to 17 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Lima BLeavens GGarcia APăsăreanu C(2018)Automated scenario-based integration testing of distributed systemsProceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3236024.3275431(956-958)Online publication date: 26-Oct-2018
https://dl.acm.org/doi/10.1145/3236024.3275431
Maâlej AMakhlouf ZKrichen MJmaiel M(2013)Conformance testing for quality assurance of clustering architecturesProceedings of the 2013 International Workshop on Quality Assurance for Service-based Applications10.1145/2489300.2489338(9-16)Online publication date: 15-Jul-2013
https://dl.acm.org/doi/10.1145/2489300.2489338
Maâlej AKrichen MJmaïel MShin SMaldonado J(2013)WSCCTProceedings of the 28th Annual ACM Symposium on Applied Computing10.1145/2480362.2480563(1055-1061)Online publication date: 18-Mar-2013
https://dl.acm.org/doi/10.1145/2480362.2480563
Woehrle MLampka KThiele L(2013)Conformance testing for cyber-physical systemsACM Transactions on Embedded Computing Systems10.1145/2362336.236235111:4(1-23)Online publication date: 1-Jan-2013
https://dl.acm.org/doi/10.1145/2362336.2362351
Adjir NSaqui-Sannes PRahmouni K(2009)Testing Real-Time Systems Using TINAProceedings of the 21st IFIP WG 6.1 International Conference on Testing of Software and Communication Systems and 9th International FATES Workshop10.1007/978-3-642-05031-2_1(1-15)Online publication date: 3-Nov-2009
https://dl.acm.org/doi/10.1007/978-3-642-05031-2_1
Hessel ALarsen KMikucionis MNielsen BPettersson PSkou A(2008)Testing real-time systems using UPPAALFormal methods and testing10.5555/1806209.1806212(77-117)Online publication date: 1-Jan-2008
https://dl.acm.org/doi/10.5555/1806209.1806212
Vain JRaiend KKull AErnits JStirewalt KEgyed AFischer B(2007)Synthesis of test purpose directed reactive planning tester for nondeterministic systemsProceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering10.1145/1321631.1321685(363-372)Online publication date: 5-Nov-2007
https://dl.acm.org/doi/10.1145/1321631.1321685
Okika JRavn ALiu ZSiddalingaiah LZhu HHorgan JCheung SLi J(2006)Developing a TTCN-3 test harness for legacy softwareProceedings of the 2006 international workshop on Automation of software test10.1145/1138929.1138950(104-110)Online publication date: 23-May-2006
https://dl.acm.org/doi/10.1145/1138929.1138950
Jagadeesan LViswanathan RWolf W(2005)Passive mid-stream monitoring of real-time propertiesProceedings of the 5th ACM international conference on Embedded software10.1145/1086228.1086291(343-352)Online publication date: 18-Sep-2005
https://dl.acm.org/doi/10.1145/1086228.1086291

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

From POOSL to UPPAAL: Transformation and Quantitative Analysis

Testing real-time embedded software using UPPAAL-TRON: an industrial case study

Testing real-time systems using UPPAAL

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations