Title :
Automated Testing EJB Components Based on Algebraic Specifications
Author :
Kong, Liang ; Zhu, Hong ; Zhou, Bin
Author_Institution :
Nat. Univ. of Defence Technol., Changsha
Abstract :
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.
Keywords :
Java; formal specification; program testing; Java components; algebraic formal specifications; algebraic testing; automated software testing method; fault detecting ability; software components; Application software; Automatic testing; Computer science; Fault detection; Formal specifications; Instruments; Java; Programming; Software quality; Software testing;
Conference_Titel :
Computer Software and Applications Conference, 2007. COMPSAC 2007. 31st Annual International
Conference_Location :
Beijing
Print_ISBN :
0-7695-2870-8
DOI :
10.1109/COMPSAC.2007.82
