150 likes | 156 Views
M. Ebner , M. Schmitt, J. Grabowski. 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.
E N D
M. Ebner, M. Schmitt, J. Grabowski 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 Test Generation with Autolink and TestComposer
Distributed Test Architecture 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 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 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 Test Generation with Autolink and TestComposer
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 Test suite production 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 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 Test Generation with Autolink and TestComposer