Automated testing EJB components based on algebraic specifications

被引：0
|
作者：
Kong, Liang [2 ]
Zhu, Hong [1 ]
Zhou, Bin [2 ]
机构：
[1] Oxford Brookes Univ, Sch Technol, Dept Comp, Wheatley Campus, Oxford OX33 1HX, England
[2] Natl Univ Def Technol, Dept Comp Sci, Changsha, Peoples R China
来源：
COMPSAC 2007: THE THIRTY-FIRST ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, VOL II, PROCEEDINGS | 2007年
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：717 / +
页数：2
相关论文
共 50 条
12345