1 / 19

Test Synthesis from UML Model of Distributed Software

Test Synthesis from UML Model of Distributed Software. By Simon Pickin, Claude Jard, Thierry Jeron, Jean-Marc Jezequel. Nirmala Prabhu Talari 2442427 Graduate Seminar – CIS 601. GOAL OF THE STUDY. Develop a method and tool for the automated

lucius
Télécharger la présentation

Test Synthesis from UML Model of Distributed Software

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. Test Synthesis from UML Model of Distributed Software By Simon Pickin, Claude Jard, Thierry Jeron, Jean-Marc Jezequel Nirmala Prabhu Talari 2442427 Graduate Seminar – CIS 601

  2. GOAL OF THE STUDY Develop a method and tool for the automated production of test cases (Scenarios) from state-based design models of distributed software within the UML Framework.

  3. MAJOR TOOLS USED IN THE METHOD UMLAUT:- Is a CASE tool that manipulates the UML meta-model enabling automatic model transformation. TGV:- Is a tests synthesis tool based on an on-the-fly and partial traversal of the enumerated state graph of the specification. IOLTS:- Input and Output Labeled Transition System

  4. METHOD OVERVIEW 1. Formal Specification Derivation: A labeled transition system (LTS) semantics is given to UML model via the generation of a simulation API which builds LTS incrementally. 2. Formal Objective Derivation: LTS semantics is given to the test objective represented in sequence-diagram-based language. 3. Test Synthesis on the Formal Models: A test case in the form of an IOLTS is synthesized from the specification LTS according to LTS. 4. UML Test case derivation: Sequence diagram based representation of the test case is derived.

  5. THE SYNTHESIS METHOD

  6. FROM UML MODEL TO LTS 1. An Executable UML system Model: - The Dynamic Behavior of the System Objects - The State Machine Action Language - The Initial State of the Model 2. Transforming the UML Model: - Subset of UML consisting of Classes and operations. 3. Deriving an LTS from Transformed Model: - Umlaut generates simulation API to construct the semantics. - TGV uses this API to construct LTS enabling on-the-fly. - Labels on Generated LTS Transitions: Reception of Asynchronous Invocation – origin?opname(val1,……….,valn) Spontaneous Transition - origin!spontaneous_transition_actionexp origin!reciever_role.opname(param1,…paramn)

  7. 4. Deriving an OLTS from the LTS: - Characteristic Function Xhide :Partitions ∑-actions into internal actions and visible actions. - Characteristic Function Xio: Partitions the visible ∑-actions into SUT inputs and SUT outputs. 5. Deriving an LTS: - In Umlaut, active objects (external actors communicate asynchronously via FIFO event queues while passive objects communicate synchronously without intermediate queues.

  8. UML MODEL OF THE ATC EXAMPLE Class Diagram

  9. State Diagram

  10. Object Diagram

  11. FROM UML TEST OBJECTIVES TO LTS 1. UML Sequence-Diagram Test Objectives: - Accept Scenarios:- Positive criteria for selecting the behavior to be tested. - Reject Scenarios:- Negative criteria to avoid selecting unwanted behavior. Test Objective of the ATC Example

  12. 2. LTS Test Objectives: - Accept States:- When transition is fired at such a state the test objective is achieved. - Reject States:- When transition is fired at such a stated the objective cannot be achieved. Accept & Reject LTS LTS Representation of Test Objective

  13. TEST SYNTHESIS OF IOLTS TEST CASE 1. Inputs of the Test Synthesis Tool: - A Simulation API; to construct LTS - An LTS representing the test - Specification of which actions are internal(-hide option) - Specification of which actions are input/output(-io option) 2.Output of the Test Synthesis Tool: - The output is an IOLTS representing a test case which is predefined interactions between the tester (system environment) and the implementation.

  14. IOLTS TEST CASE SYNTHESIZED FROM ATC MODEL

  15. FROM IOLTS TO UML TEST CASE • TeLa is a UML sequence diagram-based language which derives a scenario from an IOLTS representing a test case. • The TeLa diagram follows the IOLTS semantic restrictions and the object name precedes the method name separated by a dot. • A test case is represented using only two lifelines one for SUT and one for the Tester.

  16. TeLa REPRESENTATION

  17. FUTURE WORK • Formal Specification Derivation • Formal Objective Derivation • Test Synthesis

  18. CONCLUSION The results presented in the paper constitute the first complete proposal to synthesize conformance test cases from high-level scenarios that is fully integrated in the UML framework and has a fully formal basis obtained by giving an operational semantics to UML models in the form of labeled transition systems.

  19. QUESTIONS?????????????

More Related