Automated Testing EJB Components Based on Algebraic Specifications

Beijing, China July 24-July 27

DOI Bookmark:

http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.82

2007 31st Annual International Comput ...

	This Article
	PURCHASE ARTICLE: $19 PDF HTML IEEE Xplore Subscribers
	Share
	Email this Article to a friend
	Bibliographic References
	ASCII Text BibTex RefWorks Procite/RefMan/Endnote
	Add to:
	Digg Furl Spurl Blink Simpy Google Del.icio.us Y!MyWeb
	Search
	Similar Articles Articles by Liang Kong Articles by Hong Zhu Articles by Bin Zhou

	ASCII Text	x
	Liang Kong, Hong Zhu, Bin Zhou, "Automated Testing EJB Components Based on Algebraic Specifications," Computer Software and Applications Conference, Annual International, vol. 2, pp. 717-722, 2007 31st Annual International Computer Software and Applications Conference, 2007.

	BibTex	x
	@article{ 10.1109/COMPSAC.2007.82, author = {Liang Kong and Hong Zhu and Bin Zhou}, title = {Automated Testing EJB Components Based on Algebraic Specifications}, journal ={Computer Software and Applications Conference, Annual International}, volume = {2}, year = {2007}, issn = {0730-3157}, pages = {717-722}, doi = {http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.82}, 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 - Automated Testing EJB Components Based on Algebraic Specifications SN - 0730-3157 SP717 EP722 A1 - Liang Kong, A1 - Hong Zhu, A1 - Bin Zhou, PY - 2007 KW - null VL - 2 JA - Computer Software and Applications Conference, Annual International ER -

Liang Kong, National University of Defence Technology, China

Hong Zhu, Oxford Brookes University

Bin Zhou, Oxford Brookes University

Algebraic testing is an automated software testing method based on algebraic formal specifications. It has the advantages of highly automated testing process and independence of the software?s implementation details. This paper applies the method to software components. An automated testing tool called CASCAT for Java components is presented. A case study of the tool shows the high fault detecting ability.

Citation:

Liang Kong, Hong Zhu, Bin Zhou, "Automated Testing EJB Components Based on Algebraic Specifications," compsac, vol. 2, pp.717-722, 2007 31st Annual International Computer Software and Applications Conference, 2007

Peer Review Notice | Give Us Feedback

Usage of this product signifies your acceptance of the Terms of Use.