An Ideal Architecture for Model-based Verification & Test Systems

[article]
Member Submitted
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.

About the author

StickyMinds is a TechWell community.

Through conferences, training, consulting, and online resources, TechWell helps you develop and deliver great software every day.