Date of this Version

January 2004

Document Type

Conference Proceeding

Publication Details

P. Krishnan. Uniform Descriptions for Model Based Testing. In Proceedings of the Australian Software Engineering Conference, (ASWEC ' 04) pages 96-105. Copyright IEEE, 2004
Published by the Institute of Electrical and Electronics Engineers (IEEE)
Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.


In this paper a framework which uses linear time temporal logic and model checking techniques to describe the semantics of a variety of test specifications is developed. These include a semantics for action words, which are a practical approach to model based testing, and coverage requirements. Features of tools that support the development of tests using this approach are also presented. While model-checking ideas are used, a model of the system is not actually required. Test sequences are directly generated from the specification of properties.



This document has been peer reviewed.