Imagine a tool that generates functional and usage tests from UML-based models. What are the features of an "ideal" tool with this capability? This paper characterizes the components of such a tool. It describes the requirements notation and specifier module, the model checker, the automatic test designer, and the automatic scripter. It also provides practical references for each of these components. The paper's objective is to catalyze reflection, debate, and development of such tools.
An Ideal Architecture for Model-based Verification & Test Systems
AgileConnection is one of the growing communities of the TechWell network.
Featuring fresh, insightful stories, TechWell.com is the place to go for what is happening in software development and delivery. Join the conversation now!