Optimal tester synthesis for real-time systems

Authors:
Rachid Bouaziz;Ismaïl Berrada
Affiliations:
IRIT - CNRS - Université Paul Sabatier III, Toulouse Cedex, France;L3I Université de La Rochelle, La Rochelle cedex, France
Venue:
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Year:
2008

Citing 7
Cited 0

A theory of timed automata

Theoretical Computer Science
An experiment in automatic generation of test suites for protocols with verification technology

Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Testing timed automata

Theoretical Computer Science
Timing Assumptions and Verification of Finite-State Concurrent Systems

Proceedings of the International Workshop on Automatic Verification Methods for Finite State Systems
Generating Test Cases for a Timed I/O Automaton Model

Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
A guided method for testing timed input output automata

TestCom'03 Proceedings of the 15th IFIP international conference on Testing of communicating systems
From MITL to timed automata

FORMATS'06 Proceedings of the 4th international conference on Formal Modeling and Analysis of Timed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Real-Time systems (RTS for short) are those systems whose behavior is time dependent. The correction of these systems does not only depend on the logical result of the computation but also on the time at which the inputs and outputs are observed. This paper proposes an approach to reduce the number of test cases considered while testing RTS. The proposed approach is based on the computation of an optimal tester. As an application of our approach, the paper proposes a case study on the real-time Ethernet protocol.