1 / 6

Modeling Based Software Testing and Verification

Modeling Based Software Testing and Verification. Moderator: Aditya P. Mathur Purdue University, West Lafayette, IN, USA. Panelists: Fevzi Belli University of Paderborn, Paderborn, Germany Mats Heimdahl University of Minnesota, Minneapolis, USA Ashish Jain Telcordia Technologies, USA

kiona-burke
Download Presentation

Modeling Based Software Testing and Verification

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. Modeling Based Software Testing and Verification Moderator: Aditya P. Mathur Purdue University, West Lafayette, IN, USA Panelists: Fevzi Belli University of Paderborn, Paderborn, Germany Mats Heimdahl University of Minnesota, Minneapolis, USA Ashish Jain Telcordia Technologies, USA T. H. Tse University of Hong Kong, Hong Kong. [Regrets] Wednesday July 27, 2005. COMPSAC 2005. Edinburgh

  2. Questions • What is Model based software testing and verification? • What models are used? • Why use models in testing and verification? • What tools are available to assist with MBSTV? • Success stories? Failures? • Training needs for incorporating MBSTV? • Research in MBSTV: Future directions?

  3. Model-based Testing and Verification Input domain Verification of properties Application Requirements Model Test Generation Tests

  4. Graphical Set Theory/Logic Combinatorial Finite State Machine B, Z, VDM, RMSL, …. Orthogonal arrays State charts Timed Automata, UPPAL, .. Mixed-level covering arrays… Event Sequence Graphs UML, etc. Models

  5. Tools Graphical Set Theory/Logic (IBM) Rational Rose LEIRIOS Test Generator TGV (INRIA + partners) Rhapsody (iLogix) Combinatorial AETG (Telcordia)

  6. What next? Short presentations by panelists and discussion.

More Related