An approach to automatic testing exception handling

被引：6

作者：

Jiang, SJ ^{[1
]}

Zhang, YP

Yan, DS

Jiang, YP

机构：

[1] China Univ Min & Technol, Sch Comp Sci & Technol, Xuzhou 221008, Peoples R China

[2] SE Univ, Dept Comp Sci & Engn, Nanjing 210096, Peoples R China

来源：

ACM SIGPLAN NOTICES | 2005年 / 40卷 / 08期

关键词：

exception handling; software faults injection; software testing; program mutation;

D O I：

10.1145/1089851.1089858

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Exception handling mechanism can increase the reliability of the system and improve the robustness of the software. But the exception handling code that is used to respond to exceptional conditions tends to be the source of the systems failure. It is difficult to test the exception handling by usual methods. This paper proposes an approach to automatic testing of exception handling based on analyzing the problems encountered during testing exception handling. The method of testing exception handling is efficient through combining the structure of exception handling with "assertion violation". It also gives the supporting tool that has been designed for the method.

引用

页码：34 / 39

页数：6

共 16 条

[1] Using fault injection to increase software test coverage [J].

Bieman, JM ;

Dreilinger, D ;

Lin, LJ .

SEVENTH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 1996, :166-174

[2]

Budd T. A., 1981, Computer Program Testing. Proceedings of the Summer School on Computer Program Testing, P129

[3]

DeMillo R. A., 1988, Proceedings of the Second Workshop on Software Testing, Verification, and Analysis (Cat. No.88TH0225-3), P142, DOI 10.1109/WST.1988.5369

[4] A comparative study of exception handling mechanisms for building dependable object-oriented software [J].

Garcia, AF ;

Rubira, CMF ;

Romanovsky, A ;

Xu, J .

JOURNAL OF SYSTEMS AND SOFTWARE, 2001, 59 (02) :197-222

[5] An exception handling software architecture for developing fault-tolerant software [J].

Garcia, AF ;

Beder, DM ;

Rubira, CMF .

FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, :311-320

[6] EXCEPTION HANDLING - ISSUES AND A PROPOSED NOTATION [J].

GOODENOUGH, JB .

COMMUNICATIONS OF THE ACM, 1975, 18 (12) :683-696

[7]

Gosling J, JAVA LANGUAGE SPECIF

[8]

HORHUUS R, 2000, THESIS STOCKHOLM

[9]

Jiang L, 2004, PROCEEDINGS OF THE IASTED INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, P30

[10]

[姜淑娟 Jiang Shujuan], 2003, [计算机科学, Computer Science], V30, P169

← 1 2 →