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

Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearch

60 Citations (Scopus)

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. We pesent an online conformance testing tool for timed systems.
Original languageEnglish
Title of host publication19th IEEE International Conference on Automated Software Engineering (ASE 2004) Proceedings
EditorsPaul Grunbacher
Number of pages3
PublisherIEEE Computer Society Press
Publication date2004
Pages396-397
ISBN (Print)0769521312
Publication statusPublished - 2004
EventASE 2004 - Linz, Austria
Duration: 20 Sept 200424 Sept 2004
Conference number: 19

Conference

ConferenceASE 2004
Number19
Country/TerritoryAustria
CityLinz
Period20/09/200424/09/2004

Keywords

  • conformance testing
  • embedded systems
  • black-box testing
  • online testing
  • real-time
  • timed automata

Fingerprint

Dive into the research topics of 'T-UPPAAL: Online Model-based Testing of Real-Time Systems.'. Together they form a unique fingerprint.

Cite this