Timed Test Cases Generation Based on MSC2000 Test

  • Slides: 18
Download presentation
Timed Test Cases Generation Based on MSC-2000 Test Purposes n n Abdeslam En-Nouaary and

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Contents n

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Introduction n

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes 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 Abdeslam En-Nouaary & Gang Liu 3

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Overview of

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Main Operations

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Frame. Work---

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Timed Input

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Problems Related

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Message Sequence

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes 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 Abdeslam En-Nouaary & Gang Liu 9

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Converting MSC

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Clock Minimizing

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Synchronous Product

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Sampling –

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Traversal –

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Frame. Work---

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Sampling First

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Sampling with

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

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Conclusion and

2004 -11 -02 Timed Test Cases Generation based on MSC-2000 Test Purposes Conclusion and Future Works n n Conclusion - an integrated process is provided - solves time related problems - less test cases generated than other methods 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) Abdeslam En-Nouaary & Gang Liu 18