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 条

[31] Testing from algebraic specifications: Test data set selection by unfolding axioms [J].

Aiguier, Marc ;

Arnould, Agnes ;

Boin, Clement ;

Le Gall, Pascale ;

Marre, Bruno .

FORMAL APPROACHES TO SOFTWARE TESTING, 2006, 3997 :203-217

[32] Automated Code Repair Based on Inferred Specifications [J].

Klieber, William ;

Snavely, Will .

2016 IEEE CYBERSECURITY DEVELOPMENT (IEEE SECDEV 2016), 2016, :130-137

[33] Test-based specifications of components and systems [J].

Hamlet, Dick .

USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2007, :388-395

[34] A clustering technique based on the specifications of software components [J].

Vodithala, Swathy ;

Pabboju, Suresh .

ICACCS 2015 PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON ADVANCED COMPUTING & COMMUNICATION SYSTEMS, 2015,

[35] Synthesizing Traffic Scenarios from Formal Specifications for Testing Automated Vehicles [J].

Klischat, Moritz ;

Althoff, Matthias .

2020 IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV), 2020, :2058-2065

[36] Proving sufficient completeness of constructor-based algebraic specifications [J].

Nakamura, Masaki ;

Gaina, Daniel ;

Ogata, Kazuhiro ;

Futatsugi, Kokichi .

Lecture Notes in Electrical Engineering, 2015, 373 :15-21

[37] OBSERVATIONAL IMPLEMENTATION OF ALGEBRAIC SPECIFICATIONS [J].

HENNICKER, R .

ACTA INFORMATICA, 1991, 28 (03) :187-230

[38] DEVELOPMENT OF ALGEBRAIC SPECIFICATIONS WITH CONSTRAINTS [J].

OREJAS, F ;

SACRISTAN, V ;

CLERICI, S .

LECTURE NOTES IN COMPUTER SCIENCE, 1989, 393 :102-123

[39] 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

[40] ALGEBRAIC SPECIFICATIONS WITH GENERATING CONSTRAINTS [J].

EHRIG, H ;

WAGNER, EG ;

THATCHER, JW .

LECTURE NOTES IN COMPUTER SCIENCE, 1983, 154 :188-202

← 1 2 3 4 5 →