Uniform Descriptions for Model Based TestingInformation Technology papers
Date of this Version1-1-2004
Document TypeConference Proceeding
AbstractIn 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.
Citation InformationPadmanabhan Krishnan. "Uniform Descriptions for Model Based Testing" (2004)
Available at: http://works.bepress.com/paddy_krishnan/7/