Complete Test Graph Synthesis For Symbolic Real-time Systems

Authors:
Ahmed Khoumsi
Affiliations:
Department of Electrical and Computer Engineering, University of Sherbrooke, Sherbrooke J1K2R1, CANADA
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2005

Citing 10
Cited 2

A theory of timed automata

Theoretical Computer Science
Remote testin can be as powerful as local testing

FORTE XII / PSTV XIX '99 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX)
STG: A Symbolic Test Generation Tool

TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
A Method for Testing the Conformance of Real Time Systems

FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
UPPAAL Implementation Secrets

FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Fault Diagnosis for Timed Automata

FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Verification Using Test Generation Techniques

FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Timed Test Cases Generation Based on State Characterization Technique

RTSS '98 Proceedings of the IEEE Real-Time Systems Symposium
Supervisory Control of Dense Real-Time Discrete-Event Systems with Partial Observation

WODES '02 Proceedings of the Sixth International Workshop on Discrete Event Systems (WODES'02)
Testing real-time constraints

Testing real-time constraints

SetExp: a method of transformation of timed automata into finite state automata

Real-Time Systems
A formal method for testing reactive system from symbolic model

AICI'12 Proceedings of the 4th international conference on Artificial Intelligence and Computational Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

We study the synthesis of test cases for symbolic real-time systems. By symbolic, we mean that the specification of the implementation under test (IUT) contains variables and parameters. And by real-time, we mean that the specification of the IUT contains timing constraints. Our method combines and generalizes two test methods presented in previous work, namely : 1) a method for synthesizing test cases for (non-symbolic) real-time systems, and 2) a method for synthesizing test cases for (non-real-time) symbolic systems.