Institute for Telematics University of Lübeck, Germany M. Ebner, M. Schmitt, J. Grabowski Test Generation with Autolink and TestComposer

2 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer Motivation Systematic testing of complex systems Test specification and description Formal Specification of the System under Test (SUT) Automatic test generation  Autolink and TestComposer

3 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer

4 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer

5 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer Distributed Test Architecture

6 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer Test Purpose Computation Coverage –large structural coverage –coverage unit and observation step Search strategy –breadth first –depth first, iterative depth first –repetitive local exploration Automatic computation of postambles

7 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer

8 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer Test Purpose Specification Manual specification –Interactive Simulation –Observer Processes Abstract test purposes MSC test purpose structuring –Preamble, Test body, Postamble –HMSC and MSC expressions

9 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer

10 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer Test Case Generation State Space Exploration –find paths corresponding to test purpose –postamble computation for alternative paths –“On the fly” generation Direct translation of MSCs to TTCN –Problem: SDL model may be incomplete –consistency checks with regard to interface

11 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer

12 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer Test suite production Generate TTCN test suite parts Provide suite customisation Enhance readability Reduce manual post-processing Test grouping Test step format Test purpose comments SDL signal mapping on ASPs or PDUs Timer

13 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer

14 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer Summary I TestComposer –Flexible in test purpose description –Postamble computation –Support of timers –API for test suite access Autolink –Supports MSC’96 –Direct translation from MSC to TTCN –Test suites for distributed test architectures

15 Institute for Telematics University of Lübeck, Germany Test Generation with Autolink and TestComposer Summary II Same principles but different kinds of test generation solutions  Tools complement each other  combination of the best features would enhance practical usability