D32 Model-based testing

From Event-B
Revision as of 09:08, 25 November 2010 by imported>Alinstef (→‎Motivations)
Jump to navigationJump to search

Overview

Model-based testing (MBT) is...

Motivations

WP1-4 partners, especially SAP (WP4), showed interest into having tool support for MBT. This topic was introduced in the refocus exercise in the middle of the project and was documented in the updated version DoW signed in August 2010 (see Task 9.10). SSF (WP3) had recently also shown interest in the MBT task.

Choices/Decisions

Available Documentation

Planning