1 / 9

Testing at RadBoud

Testing at RadBoud. Testing Research in Nijmegen Overview. Introduction Integrating Data with ioco Specification Mining. Jan Tretmans Lars Frantzen Tim Willemse. IUT confto spec. i ioco s. s  LTS. spec. test tool. test tool. gen : LTS   (TTS). test generation tool.

iona-clements
Download Presentation

Testing at RadBoud

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. Testing at RadBoud

  2. Testing Research in NijmegenOverview • Introduction • Integrating Data with ioco • Specification Mining Jan Tretmans Lars Frantzen Tim Willemse

  3. IUT confto spec i ioco s s LTS spec test tool test tool gen : LTS (TTS) test generation tool i || der(s) pass IUT passes tests IUT confto spec i ioco s   exhaustive exhaustive sound sound i IOTS IUT t || i test execution tool passfail passfail Model Based Testing with Transition Systems

  4. user: manual automatic next input offer input IUT check output TorX observe output specification pass fail inconclusive A Tool for Transition Systems Testing: TorX • On-the-fly test generation and test execution • Implementation relation: ioco • Mainly applicable to reactive systems / state based systems; • specification languages: LOTOS, Promela, FSP, Automata

  5. Extensions Status test case with data ?coin1  n: int  ? money ?coin2 ! money ? ?coin3 and action refinement [ n  35 ] -> [ n  50 ] -> ? button1 ? button2 ! button2 Vc := 0 c := 0 c := 0 Vt := 0 dVt/dt = 3 dVc/dt = 2 c < 10 c < 15  ? coffee [Vt= 15 ] -> [ c  5 ] -> [Vc= 10 ] -> ! coffee ! tea ? tea fail fail pass Testing Transition Systems: model and time and hybrid

  6. IUT i(x) = x Testing Propertiesof Input/Output Programs: Gst • Specification: property over x and y • property(x,y) = x  0 |yy - x|   • Implementation is function i :: X  Y • Test set T  X • A tool like GST (or QuickCheck) generates thousands of testsby systematic traversal of all values of type X • But still: what is a "good" set ? y: real post: |yy - x|   x: real pre: x 0

  7. Current and Future ResearchRadboud • Testing transition systems with data • integrating data with ioco • Specification mining • reverse engineering of specification from observations • Approximate correctness • some systems are more correct than others • test selection • Gst • specification/model testing • Model Based Testing with UML • use of industrial modelling techniques • Integration of real-time and data testing

  8. Current and Future ResearchRadboud • Tools for transition system testing • TorX • generic test environments • automatic generation of test adapter and test interface • TorXakis - experimenting with data/symbolic testing • Applications • web page testing Gst • smart card testing Gst / TorX(akis) • ASML DCB (Laser Dose Control) TorX

  9. Testing Projects • Atomyste - ATOm splitting in eMbedded sYStem TEsting Uni. of Twente Radboud Uni. Nijmegen • Stress- Systematic Testing of Real-time Embedded Software Systems Uni. of Twente Radboud Uni. Nijmegen • Tangram - Model Based Testing and Diagnosis ASML, ESI, TUD, TUE, UT, RU, S&T, TNO • Tarot - EU FP6 Marie Curie • Artist 2 - EU FP6 Network of Excellence

More Related