D32 Model-based testing: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>Alinstef
No edit summary
imported>Tommy
mNo edit summary
Line 12: Line 12:


= Planning =
= Planning =
[[Category:D32 Deliverable]]

Revision as of 15:59, 23 November 2010

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).

Choices/Decisions

Available Documentation

Planning