Moderator: Aditya P. MathurPurdue University, West Lafayette, IN,

USA

Wednesday July 27, 2005. COMPSAC 2005. Edinburgh

Modeling Based Software Testing and Verification

Panelists:

Fevzi BelliUniversity of Paderborn, Paderborn, Germany

Mats HeimdahlUniversity of Minnesota, Minneapolis, USA

Ashish JainTelcordia Technologies, USA

T. H. TseUniversity of Hong Kong, Hong Kong. [Regrets]

Questions

What is Model based software testing and verification?

What models are used?

Why use models in testing and verification?

Success stories? Failures?

Training needs for incorporating MBSTV?

Research in MBSTV: Future directions?

What tools are available to assist with MBSTV?

Model-based Testing and Verification

Requirements

Input domain

Model

Test Generation

Verification ofproperties

Application

Tests

Models

Set Theory/LogicB, Z, VDM, RMSL, ….

Timed Automata, UPPAL, ..

GraphicalFinite State Machine

State charts

Event Sequence Graphs

UML, etc.

CombinatorialOrthogonal arrays

Mixed-level covering arrays…

Tools

Set Theory/LogicLEIRIOS Test Generator

Graphical(IBM) Rational Rose

Rhapsody (iLogix)

CombinatorialAETG (Telcordia)

TGV (INRIA + partners)

What next?

Short presentations by panelists and discussion.