1 / 18

Timed Test Cases Generation Based on MSC-2000 Test Purposes

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. Introduction Overview of Conformance Testing

wyoming-gallegos
Download Presentation

Timed Test Cases Generation Based on MSC-2000 Test Purposes

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  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. Introduction Overview of Conformance Testing Our Approach for Timed Test Cases Generation Based on Test Purpose Conclusion and Future Works Contents

  3. What is a real-time system ? - A system whose behavior is time dependent. - Example: air traffic control, monitoring medical device, multimedia applications. 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 Introduction

  4. Overview of Conformance Testing

  5. Four Phases: - Conversion of MSC test purpose into TIOA. - Synchronous product construction - Sampling - Test cases generation Main Operations of Our Approach

  6. FrameWork--- 1st Variant

  7. A Timed Input Output Automata (TIOA) is a tuple (I, O, L, l0, C, T), where: I: the set of inputs. O: the set of outputs. L: the set of locations. l0: the initial location. C: the set of clocks all initialized to 0 in l0. T : the set of transitions. Timed Input Output Automata(TIOA) A 2-Clock TIOA

  8. Executability of test cases. Infinity of time domain. Fault Model. Fault coverage. Conformance relation. Problems Related to Testing TIOA A 2-Clock TIOA

  9. 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 Message Sequence Chart(MSC)

  10. 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 Converting MSC to TIOA

  11. Clock Minimizing

  12. Synchronous Product Construction specification Test Purpose Synchronous Product

  13. Sampling – Grid Automaton

  14. Traversal – Test Cases Derivation

  15. FrameWork--- 2nd Variant

  16. Sampling First GA of specification GA of Test Purpose Synchronous Product of GA

  17. Sampling with Different Granularities

  18. 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) Conclusion and Future Works

More Related