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 条

[21] Slicing algebraic specifications [J].

Woodward, MR ;

Allen, SP .

INFORMATION AND SOFTWARE TECHNOLOGY, 1998, 40 (02) :105-118

[22] COMPLEXITY OF ALGEBRAIC SPECIFICATIONS [J].

SUBRAHMANYAM, R .

LECTURE NOTES IN COMPUTER SCIENCE, 1990, 472 :33-47

[23] A framework for automated testing from VDM-SL specifications [J].

Nadeem, A ;

Jaffar-Ur-Rehman, M .

INMIC 2004: 8TH INTERNATIONAL MULTITOPIC CONFERENCE, PROCEEDINGS, 2004, :428-433

[24] NOTES ON ALGEBRAIC SPECIFICATIONS [J].

BRADLEY, IM .

INFORMATION AND SOFTWARE TECHNOLOGY, 1989, 31 (07) :357-365

[25] Interface-based Semi-automated Testing of Software Components [J].

Potuzak, Tomas ;

Lipka, Richard ;

Brada, Premek .

PROCEEDINGS OF THE 2017 FEDERATED CONFERENCE ON COMPUTER SCIENCE AND INFORMATION SYSTEMS (FEDCSIS), 2017, :1335-1344

[26] An Automated Testing Method for AUTOSAR Software Components Based on SiL Simulation [J].

Jeong, Sooyong ;

Lee, Woo Jin .

2017 NINTH INTERNATIONAL CONFERENCE ON UBIQUITOUS AND FUTURE NETWORKS (ICUFN 2017), 2017, :278-283

[27] TRSPEC - A TERM REWRITING BASED SYSTEM FOR ALGEBRAIC SPECIFICATIONS [J].

AVENHAUS, J ;

BENNINGHOFEN, B ;

GOBEL, R ;

MADLENER, K .

LECTURE NOTES IN COMPUTER SCIENCE, 1986, 230 :665-667

[28] INTRODUCTION TO ALGEBRAIC SPECIFICATIONS BASED ON THE LANGUAGE ACT ONE [J].

DEMEER, J ;

ROTH, R ;

VUONG, S .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1992, 23 (05) :363-392

[29] TRSPEC - A TERM REWRITING BASED SYSTEM FOR ALGEBRAIC SPECIFICATIONS [J].

AVENHAUS, J ;

GOBEL, R ;

GRAMLICH, B ;

MADLENER, K ;

STEINBACH, J .

LECTURE NOTES IN COMPUTER SCIENCE, 1988, 308 :245-248

[30] Verifying Web Applications: From Business Level Specifications to Automated Model-Based Testing [J].

Colombo, Christian ;

Micallef, Mark ;

Scerri, Mark .

ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (141) :14-28

← 1 2 3 4 5 →