Difference between revisions of "D32 Model-based testing"
From Event-B
Jump to navigationJump to searchimported>Alinstef m (New page: setting up the page...) |
imported>Alinstef |
||
Line 1: | Line 1: | ||
− | + | = 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 = |
Revision as of 09:03, 16 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).