Software Engineering Conference, Australian (2004)
Apr. 13, 2004 to Apr. 16, 2004
Padmanabhan Krishnan , Bond University, Australia
In this paper a framework which uses linear time temporal logic and model checking techniques to describe the semantics 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.
P. Krishnan, "Uniform Descriptions for Model Based Testing," Proceedings. 2004 Australian Software Engineering Conference(ASWEC), Melbourne, Victoria, Australia, 2004, pp. 96.