Symbolic and on the fly testing with real-time observers

Authors:
Rachid Bouaziz;Ousmane Koné
Affiliations:
University of Toulouse – CNRS IRIT, Toulouse, France;University of Toulouse – CNRS IRIT, Toulouse, France
Venue:
TestCom'06 Proceedings of the 18th IFIP TC6/WG6.1 international conference on Testing of Communicating Systems
Year:
2006

Citing 6
Cited 0

A theory of timed automata

Theoretical Computer Science
Symbolic model checking for real-time systems

Information and Computation
Symbolic Model Checking

Symbolic Model Checking
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
On the Fly Test Generation for Real Time Protocols

IC3N '98 Proceedings of the International Conference on Computer Communications and Networks
Methodology for the Generation of Program Test Data

IEEE Transactions on Computers

Quantified Score

Hi-index	0.00

Visualization

Abstract

Analyzing real-time specifications involves new difficulties in the test generation process. In addition to usual combinatory explosion, issues like tests executability and controllability become more problematic. To deal with such issues, the new method proposed in this paper combines both on the fly computation (not on line) and optimized symbolic analysis with the underlying concept of real-time observers. A symbolic forward analysis is used for test executability and a backward analysis is performed to refine the tests controllability in view of avoiding inconclusive verdicts. The featured observers and the backward computation are the basis for a more targeted test selection. To illustrate the method, the work example is a process control communication system. Finally, we introduce Real-time Ethernet and the related tests produced with our method.