Modeling Based Software Testing and Verification

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
Models
5
Tools
Set Theory/Logic
Graphical
LEIRIOS Test Generator
(IBM) Rational Rose
TGV (INRIA partners)
Rhapsody (iLogix)
Combinatorial
AETG (Telcordia)
6
What next?
Short presentations by panelists and discussion.