|
| 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," 2012 IEEE 36th Annual Computer Software and Applications Conference, 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 ={2012 IEEE 36th Annual Computer Software and Applications Conference}, 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 - 2012 IEEE 36th Annual Computer Software and Applications Conference 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 - 2012 IEEE 36th Annual Computer Software and Applications Conference ER - | |||
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.