An Ideal Architecture for Model-based Verification & Test Systems

article

By

|

July 19, 2001

Summary

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.

Download Article:

XDD2683filelistfilename1_0.doc

Topics:

function points black box components maintenance development lifecycles software engineering test methodologies testability usability methods

About The Author

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 www.clearspecs.com.