Model-based (formerly Specification-based) Software Testing


I gave the keynote talk at ICFEM 2008 in Kitakyushu-City, Japan: Programmers Ain't Mathematicians and Neither Are Testers (PPTX)

I got interested in formal specifications in the late 1980s. It was fun, but I eventually realized testers ain't mathematicians. So I applied some of the same ideas to informal specs, then wrote the first paper that generated tests from a UML model (statecharts). The hardest part was the reviewers didn't understand the separation between model and concrete, and the terms "abstract test" and "concrete test" hadn't been invented. The next thing I knew, Model-Based Testing was a thing.

Project Description

See the DACS model-based testing (MBT) website for more information on the topic.

Selected Papers


Other links


Back to my home page.