An Ideal Architecture for Model-based Verification & Test Systems

Member Submitted

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.

About the author

David Gelperin's picture David Gelperin

David Gelperin is chief technology officer of ClearSpecs Enterprises. He has more than forty years of experience in software engineering with an emphasis on requirements risk management as well as software quality, verification, and test. David cofounded Software Quality Engineering. More information is available at

AgileConnection is one of the growing communities of the TechWell network.

Featuring fresh, insightful stories, is the place to go for what is happening in software development and delivery.  Join the conversation now!