1 / 17

TGV Tool [1]

Florian Winkelbauer AK Softwaretechnologie 1 (716.174). TGV Tool [1]. Content. Conformance Testing Input Output Labelled Transition Systems General Deterministic IOLTS ioco TGV Overview Functional view. Conformance Testing. Test non- deterministic reactive systems

clodia
Download Presentation

TGV Tool [1]

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. Florian Winkelbauer AK Softwaretechnologie 1 (716.174) TGV Tool[1]

  2. Content • ConformanceTesting • Input Output Labelled Transition Systems • General • Deterministic IOLTS • ioco • TGV • Overview • Functionalview

  3. ConformanceTesting • Test non-deterministicreactivesystems • Check if IUT behaveslikespecification (oracle) • IUT = Implementation Under Test • Black Box • IUT codeisunknown, behaviouronlyvisiblebyinteraction • Test hypothesis

  4. IOLTS • QS = States • AS = Actions • s = Transition • q0S = Initial State • AS: • Input Alphabet • Output Alphabet • Alphabet of Internal Actions • DS: • S withd

  5. Deterministic IOLTS det(D(S))

  6. ioco IUT1 ioco S !(IUT2 ioco S)

  7. TGV • Test Generation withVerification Technology • Basedon labelledtransitionmodels (IOLTS) • Specificationofvisiblebehaviour • Generation ofabstracttestcases • Exampleof a fullrun

  8. TGV functionalview

  9. Test purpose • Modelledbyautomata (formally IOLTS) • Extension • Acceptselecttargetbehaviour • Refuse cut down exploration • „*“ label forcompletion • Regular expression • Efficienttestselection „on-the-fly“ • Generatetestcasesby partial explorationofgraphs

  10. Input for TGV Specification Test Purpose Howtocomputeintersection?

  11. Synchronousproduct SP = S x TP

  12. Test Creation • Create SPVISbyextractingvisiblebehaviour • Extracttestcasebyselectionofacceptedbehaviour • Mirrorimage • Completeinputs • Test Case • Pass • Fail • Inconclusive (behaviour ok, but not reachablethrough TP)

  13. SPVIS

  14. Complete Test Graph

  15. A possible Test Case

  16. Conclusion • Can synthesize tests from industrial size specifications, but improvements are still needed • Problems • Test Purpose (expertise needed) • Distributed Systems • Symbol variables beyond the scope

  17. Reference [1] Claude Jardand Thierry Jéron. TGV: theory, principlesandalgorithms. International Journal on Software Tools for Technology Transfer (STTT), 7(4):297-315, 2005

More Related