Applying and integrating model-based testing in projects and tool support
Adoption and process integration
Introduce MBT through a pilot on a stable, well-specified area with high regression value, then compare defect detection and effort against the existing approach. MBT is usually hybrid: modeled behavior for the parts where sequence or rule logic dominates, exploratory and experience-based testing elsewhere. Place models under configuration management, link model elements to requirements, and trigger regeneration when the model changes. In continuous integration, generation and execution can run automatically, with results reported against model coverage.
Tool support
A typical tool chain has a modeling environment, a generator implementing selection criteria, an adapter to the SUT, an oracle mechanism, and a coverage and reporting component. Offline tools export test suites; online tools need an executable model and a live adapter. Model interchange and notation standards such as UML, BPMN and SysML matter when several tools must cooperate. Tool choice should follow the notation and the process, not the reverse.
Worked example
A product line has three configuration flags, giving eight variants. Instead of eight hand-written suites, the team builds one parameterized model with constraints that rule out invalid combinations, then generates tests per valid configuration at transition-pair coverage. The reasoning: the model encodes shared behavior once, variability is expressed explicitly, and each variant gets a traceable suite. The team still validates the constraints, provides variant-specific oracles, and re-runs generation whenever a flag or rule changes.
Traps that cost marks
- Treating a successful tool demonstration as proof that the process is ready.
- Leaving models unversioned, so generated tests cannot be traced to a model revision.
- Generating thousands of tests that nobody reviews or maintains.
- Underestimating adapter and oracle effort, which often exceeds generation effort.
- Assuming generated tests cover behavior the model never expressed.