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

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskning

60 Citationer (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.
OriginalsprogEngelsk
Titel19th IEEE International Conference on Automated Software Engineering (ASE 2004) Proceedings
RedaktørerPaul Grunbacher
Antal sider3
ForlagIEEE Computer Society Press
Publikationsdato2004
Sider396-397
ISBN (Trykt)0769521312
StatusUdgivet - 2004
BegivenhedASE 2004 - Linz, Østrig
Varighed: 20 sep. 200424 sep. 2004
Konferencens nummer: 19

Konference

KonferenceASE 2004
Nummer19
Land/OmrådeØstrig
ByLinz
Periode20/09/200424/09/2004

Bibliografisk note

ISSN ; 1068-3062

Fingeraftryk

Dyk ned i forskningsemnerne om 'T-UPPAAL: Online Model-based Testing of Real-Time Systems.'. Sammen danner de et unikt fingeraftryk.

Citationsformater