loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
30th Annual International Computer Software and Applications Conference (COMPSAC'06)
Automating the Generation of Test Cases from Object-Z Specifications
Chicago, Illinois
September 17-September 21
ISBN: 0-7695-2655-1
ASCII Text
x 
 
Adnan Ashraf, Aamer Nadeem, "Automating the Generation of Test Cases from Object-Z Specifications," Computer Software and Applications Conference, Annual International, vol. 2, pp. 101-104, 30th Annual International Computer Software and Applications Conference (COMPSAC'06), 2006.
 
 
BibTex
x
 
@article{ 10.1109/COMPSAC.2006.120,
author = {Adnan Ashraf and Aamer Nadeem},
title = {Automating the Generation of Test Cases from Object-Z Specifications},
journal ={Computer Software and Applications Conference, Annual International},
volume = {2},
year = {2006},
issn = {0730-3157},
pages = {101-104},
doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2006.120},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Computer Software and Applications Conference, Annual International
TI - Automating the Generation of Test Cases from Object-Z Specifications
SN - 0730-3157
SP101
EP104
A1 - Adnan Ashraf,
A1 - Aamer Nadeem,
PY - 2006
KW - null
VL - 2
JA - Computer Software and Applications Conference, Annual International
ER -
 
Adnan Ashraf, Mohammad Ali Jinnah University, Pakistan
Aamer Nadeem, Mohammad Ali Jinnah University, Pakistan
In this paper, we propose a test case generation technique based on Object-Z specification of a class, based on formalization of the test case generation strategy. The proposed technique enables automatic generation of test cases from an Object-Z specification, under the specified strategy. We also propose to enhance the prototype tool TinMan, which was originally developed to automate derivation and management of testing information for specificationbased class testing, by introducing semantics knowledge for the application of test case generation strategies in a format acceptable to the tool.
Citation:
Adnan Ashraf, Aamer Nadeem, "Automating the Generation of Test Cases from Object-Z Specifications," compsac, vol. 2, pp.101-104, 30th Annual International Computer Software and Applications Conference (COMPSAC'06), 2006
Usage of this product signifies your acceptance of the Terms of Use.