loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2004 Australian Software Engineering Conference (ASWEC'04)
Uniform Descriptions for Model Based Testing
Melbourne, Australia
April 13-April 16
ISBN: 0-7695-2089-8
ASCII Text
x 
 
Padmanabhan Krishnan, "Uniform Descriptions for Model Based Testing," Software Engineering Conference, Australian, pp. 96, 2004 Australian Software Engineering Conference (ASWEC'04), 2004.
 
 
BibTex
x
 
@article{ 10.1109/ASWEC.2004.1290462,
author = {Padmanabhan Krishnan},
title = {Uniform Descriptions for Model Based Testing},
journal ={Software Engineering Conference, Australian},
volume = {0},
year = {2004},
issn = {1530-0803},
pages = {96},
doi = {http://doi.ieeecomputersociety.org/10.1109/ASWEC.2004.1290462},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering Conference, Australian
TI - Uniform Descriptions for Model Based Testing
SN - 1530-0803
SP
EP
A1 - Padmanabhan Krishnan,
PY - 2004
KW - null
VL - 0
JA - Software Engineering Conference, Australian
ER -
 
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.
Citation:
Padmanabhan Krishnan, "Uniform Descriptions for Model Based Testing," aswec, pp.96, 2004 Australian Software Engineering Conference (ASWEC'04), 2004
Usage of this product signifies your acceptance of the Terms of Use.