Using UML Models and Formal Verification in Model-Based Testing

Abstract

In this paper we present a model-based testing approach where we integrate UML, UML-B and the Qtronic test generator tool, with the purpose of increasing the quality of models used for test generation via formal verification. The architectural and behavioral models of the system under test (SUT) are specified in UML and UML-B, respectively. UMLB provides… (More)
DOI: 10.1109/ECBS.2010.13

Topics

9 Figures and Tables

Cite this paper

@article{Malik2010UsingUM, title={Using UML Models and Formal Verification in Model-Based Testing}, author={Qaisar A. Malik and Dragos Truscan and Johan Lilius}, journal={2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems}, year={2010}, pages={50-56} }