This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'02)
A Framework for Specification-Based Class Testing
Greenbelt, Maryland
December 02-December 04
ISBN: 0-7695-1757-9
ASCII Text
x 
 
Ling Liu, Huaikou Miao, Xuede Zhan, "A Framework for Specification-Based Class Testing," Engineering of Complex Computer Systems, IEEE International Conference on, pp. 153, Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'02), 2002.
 
 
BibTex
x
 
@article{ 10.1109/ICECCS.2002.1181508,
author = {Ling Liu and Huaikou Miao and Xuede Zhan},
title = {A Framework for Specification-Based Class Testing},
journal ={Engineering of Complex Computer Systems, IEEE International Conference on},
volume = {0},
year = {2002},
issn = {1050-4729},
pages = {153},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2002.1181508},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Engineering of Complex Computer Systems, IEEE International Conference on
TI - A Framework for Specification-Based Class Testing
SN - 1050-4729
SP
EP
A1 - Ling Liu,
A1 - Huaikou Miao,
A1 - Xuede Zhan,
PY - 2002
KW - null
VL - 0
JA - Engineering of Complex Computer Systems, IEEE International Conference on
ER -
 
Ling Liu, Shanghai University
Huaikou Miao, Shanghai University
Xuede Zhan, Shanghai University
Class testing is the base of object-oriented software testing. It involves three aspects -- testing each method, testing the relations among class methods and testing inheriting relation between class and subclass. Rather than concerning the whole class testing process, most specification-based class testing focuses on the methods of generating test cases from the class specification. As a result, class testing process and test cases cannot be unified and managed in a consistent and convenient way. This paper introduces a test class framework (TCF) that is used to structure the test cases and test deriving process of the class under testing. This framework clearly denotes the process of deriving test cases and test suites from a class specification. It facilitates the construction and management of test cases. Object-Z notation is used to express the framework and class specification.
Keywords: test class framework, class testing , finite state machine (FSM), state transition tree, Object-Z
Citation:
Ling Liu, Huaikou Miao, Xuede Zhan, "A Framework for Specification-Based Class Testing," iceccs, pp.153, Eighth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'02), 2002
Usage of this product signifies your acceptance of the Terms of Use.