A new method for testing real time systems

A new method for testing real time systems

In this article, we present a framework for testing real-time systems. More precisely, (1) we propose a method for generating test sequences, (2) we determine constraints which guarantee the executability of test sequences, and (3) we propose a procedure and a test architecture for executing test se...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Khoumsi, A.
Format: Tagungsbericht
Sprache:eng
Schlagworte:
Automata
Automatic testing
Clocks
Decision support systems
Explosions
Real time systems
System testing
Time factors
Time measurement
Timing
Online-Zugang:Volltext bestellen
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this article, we present a framework for testing real-time systems. More precisely, (1) we propose a method for generating test sequences, (2) we determine constraints which guarantee the executability of test sequences, and (3) we propose a procedure and a test architecture for executing test sequences. Contrary to other test methods for real-time systems, our method avoids state explosion.
ISSN:1530-1427
DOI:10.1109/RTCSA.2000.896424