loading...
Testing Java Components based on Algebraic Specifications
April 09-April 11
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ICST.2008.392008 International Conference on Soft ...
 This Article 
 
Buy PURCHASE ARTICLE: $19
PDF
HTML
Buy IEEE Xplore Subscribers
 
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
ASCII Text
x 
 
Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu, "Testing Java Components based on Algebraic Specifications," Software Testing, Verification, and Validation, 2008 International Conference on, pp. 190-199, 2008 International Conference on Software Testing, Verification, and Validation, 2008.
 
 
BibTex
x
 
@article{ 10.1109/ICST.2008.39,
author = {Bo Yu and Liang Kong and Yufeng Zhang and Hong Zhu},
title = {Testing Java Components based on Algebraic Specifications},
journal ={Software Testing, Verification, and Validation, 2008 International Conference on},
volume = {0},
year = {2008},
isbn = {978-0-7695-3127-4},
pages = {190-199},
doi = {http://doi.ieeecomputersociety.org/10.1109/ICST.2008.39},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Testing, Verification, and Validation, 2008 International Conference on
TI - Testing Java Components based on Algebraic Specifications
SN - 978-0-7695-3127-4
SP190
EP199
A1 - Bo Yu,
A1 - Liang Kong,
A1 - Yufeng Zhang,
A1 - Hong Zhu,
PY - 2008
KW - null
VL - 0
JA - Software Testing, Verification, and Validation, 2008 International Conference on
ER -
 
This paper presents a method of component testing based on algebraic specifications. An algorithm for generating checkable test cases is proposed. A proto-type testing tool called CASCAT for testing Java En-terprise Beans is developed. It has the advantages of high degree of automation, which include test case generation, test harness construction and test result checking. It achieves scalability by allowing incre-mental integration. It also allows testing to focus on a subset of used functions and key properties, thus suit-able for component testing. The paper also reports an experimental evaluation of the method and the tool.
Citation:
Bo Yu, Liang Kong, Yufeng Zhang, Hong Zhu, "Testing Java Components based on Algebraic Specifications," icst, pp.190-199, 2008 International Conference on Software Testing, Verification, and Validation, 2008
Usage of this product signifies your acceptance of the Terms of Use.