1. Timed Test Cases Generation Based on MSC-2000 Test Purposes Abdeslam En-Nouaary and Gang Liu Department of Electrical and Computer Engineering Concordia University Montréal, Québec, Canada November 2, 2004

2. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 2 Contents n Introduction n Overview of Conformance Testing n Our Approach for Timed Test Cases Generation Based on Test Purpose n Conclusion and Future Works

3. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 3 Introduction n What is a real-time system ? - A system whose behavior is time dependent. - Example: air traffic control, monitoring medical device, multimedia applications. n Some characteristics of real-time systems? - real-time systems have complicated behaviors - failure could cost lives and huge economy damage - too much test cases generated by existing algorithms - Testing both actions and their time constraints

4. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 4 Overview of Conformance Testing

5. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 5 Main Operations of Our Approach n Four Phases: - Conversion of MSC test purpose into TIOA. - Synchronous product construction - Sampling - Test cases generation

6. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 6 FrameWork--- 1 st Variant

7. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 7 Timed Input Output Automata (TIOA) A Timed Input Output Automata (TIOA) is a tuple (I, O, L, l0, C, T), where: u I: the set of inputs. u O: the set of outputs. u L: the set of locations. u l0: the initial location. u C: the set of clocks all initialized to 0 in l0. u T : the set of transitions. A 2-Clock TIOA

8. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 8 Problems Related to Testing TIOA n Executability of test cases. n Infinity of time domain. n Fault Model. n Fault coverage. n Conformance relation. A 2-Clock TIOA

9. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 9 Message Sequence Chart (MSC) n A MSC is a structure: M = (P, S, R, A, O, T, Tx, Y), where: - P is a finite set of instances - - S is a finite set of sending Message events - - R is a finite set of receiving message events - - A is a finite set of local events - - O is ordering of S,R and A - - T is set of timers - - Tx associates each timer related event with its timer - - Y associates each pair of dependent events with its timing restriction and duration

10. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 10 Converting MSC to TIOA n SIMPLE MSC assumptions n Received Msg and Send Msg -> Input and Output in TIOA n Create initial location and final location n For each event -> create a destination location n Each event is converted to a transition n Time constraints -> clocks and guards

11. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 11 Clock Minimizing

12. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 12 Synchronous Product Construction specificationTest Purpose Synchronous Product

13. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 13 Sampling – Grid Automaton

14. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 14 Traversal – Test Cases Derivation

15. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 15 FrameWork--- 2 nd Variant

16. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 16 Sampling First GA of specificationGA of Test Purpose Synchronous Product of GA

17. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 17 Sampling with Different Granularities

18. Abdeslam En-Nouaary & Gang Liu Timed Test Cases Generation based on MSC-2000 Test Purposes 2004-11-02 18 Conclusion and Future Works n Conclusion - an integrated process is provided - solves time related problems - less test cases generated than other methods n Future Works - extend the approach to a general form of MSC - multi instances (processes) included - test cases expressed as Tree and Tabular Combined Notation (TTCN)