Timed test cases generation based on state characterization technique

• Published in: Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279) pp. 220 - 229
• Main Authors: En-Nouaary, A., Dssouli, R., Khendek, F., Elqortobi, A.
• Format: Conference Proceeding
• Language: English
• Published: Los Alamitos CA IEEE 1998; IEEE Computer Society
• Subjects: Applied sciences; Automata; Automatic control; Character generation; Communication system traffic control; Computer aided software engineering; Computer science; control theory; systems; Computer systems and distributed systems. User interface; Control systems; Decision support systems; Exact sciences and technology; Real time systems; Software; System testing; Time factors; Reactive system; Specification; Clock; Real time system; Finite state machine; Program verification
• ISBN: 9780818692123; 081869212X
• ISSN: 1052-8725; 2576-3172
• DOI: 10.1109/REAL.1998.739748

Real time reactive systems interact with their environment, using inputs and outputs, within specified time constraints. For such systems, a functional misbehavior or a deviation from the specified time constraints may have catastrophic consequences. Therefore, ensuring the correctness of real time systems becomes very important. We introduce the potential faults which can be encountered in a timed system implementation. We adapt an existing test cases generation technique, based on state characterization set, to generate timed test cases from a timed system specification. We model a timed system with a Timed Input Output Automaton (TIOA), which is a variant of the Alur and Dill model (R. Alur and D. Dill, 1994). In order to generate the timed test suite, the TIOA is first transformed into a Nondeterministic Timed Finite State Machine (NTFSM) with a given granularity. We illustrate our method with an example.