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 条
[41]   ALGEBRAIC DATA TYPE AND PROCESS SPECIFICATIONS BASED ON PROJECTION SPACES [J].
EHRIG, H ;
PARISIPRESICCE, F ;
BOEHM, P ;
RIECKHOFF, C ;
DIMITROVICI, C ;
GROSSERHODE, M .
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 332 :23-43
[42]   PETRI NETS AND ALGEBRAIC SPECIFICATIONS [J].
REISIG, W .
THEORETICAL COMPUTER SCIENCE, 1991, 80 (01) :1-34
[43]   ALGEBRAIC SPECIFICATIONS FOR DOMAIN THEORY [J].
NICKL, F .
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 349 :360-374
[44]   MODAL LOGIC AND ALGEBRAIC SPECIFICATIONS [J].
MOSS, LS ;
THATTE, SR .
THEORETICAL COMPUTER SCIENCE, 1993, 111 (1-2) :191-210
[45]   Refinement of parameterized algebraic specifications [J].
Srinivas, YV .
ALGORITHMIC LANGUAGES AND CALCULI, 1997, :164-186
[46]   BOUNDED IMPLEMENTATION OF ALGEBRAIC SPECIFICATIONS [J].
BREU, M .
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 :181-198
[47]   EXCEPTIONS FOR ALGEBRAIC SPECIFICATIONS - ON THE MEANING OF BUT [J].
SCHOBBENS, PY .
SCIENCE OF COMPUTER PROGRAMMING, 1993, 20 (1-2) :73-111
[48]   THE USE OF SORTS IN ALGEBRAIC SPECIFICATIONS [J].
MOSSES, PD .
LECTURE NOTES IN COMPUTER SCIENCE, 1993, 655 :66-91
[49]   HYBRID IMPLEMENTATIONS OF ALGEBRAIC SPECIFICATIONS [J].
WALTERS, HR .
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 :40-54
[50]   Parameterising (algebraic) specifications on diagrams [J].
Dimitrakos, T .
13TH IEEE INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 1998, :221-224
12345