1 / 15

Comprehensive Test Generation with Autolink and TestComposer<br>

Systematic testing of complex systems with formal specification and automatic test generation using Autolink and TestComposer. Includes coverage computation, distributed test architecture, and test case generation methods. Enhance suite customisation and readability for efficient testing.<br>

eringarrett
Download Presentation

Comprehensive Test Generation with Autolink and TestComposer<br>

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. M. Ebner, M. Schmitt, J. Grabowski Test Generation with Autolink and TestComposer

  2. 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

  3. Test Generation with Autolink and TestComposer

  4. Test Generation with Autolink and TestComposer

  5. Distributed Test Architecture Test Generation with Autolink and TestComposer

  6. 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

  7. Test Generation with Autolink and TestComposer

  8. 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

  9. Test Generation with Autolink and TestComposer

  10. 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

  11. Test Generation with Autolink and TestComposer

  12. 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

  13. Test Generation with Autolink and TestComposer

  14. 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

  15. 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

More Related