Infeasible basis paths detection of program with exception-handling constructs

被引：0

作者：

Zhang, Yanmei ^{[1
]}

Jiang, Shujuan ^{[1
]}

Wang, Qingtan ^{[1
]}

Zhao, Xuefeng ^{[1
]}

机构：

[1] School of Computer Science and Technology, China University of Mining and Technology, Xuzhou, 221116, Jiangsu Province, China

来源：

关键词：

Detecting methods - Exception handling - Exception propagation - Infeasible paths - Paths feasibility - Structural testing - Test efficiency;

D O I：

10.4156/ijact.vol4.issue1.56

中图分类号：

学科分类号：

摘要：

引用

页码：492 / 503

共 50 条

[1] Analysis of programs with exception-handling constructs
Sinha, S
Harrold, MJ
INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 1998, : 348 - 357
[2] AN EXCEPTION-HANDLING FRAMEWORK
VISSER, A
INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, 1995, 8 (03) : 197 - 203
[3] An exception-handling framework
Visser, A.
International Journal of Computer Integrated Manufacturing, 8 (03):
[4] Exception-handling design patterns
Bail, WG
ADVANCES IN COMPUTERS, VOL 49, 1999, 49 : 191 - 238
[5] A MODULAR VERIFIABLE EXCEPTION-HANDLING MECHANISM
YEMINI, S
BERRY, DM
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1985, 7 (02): : 214 - 243
[6] The GEF general exception-handling library
Bighy, BW
DR DOBBS JOURNAL, 1998, 23 (11): : 60 - +
[7] GEF general exception-handling library
Dr Dobb's J Software Tools Prof Program, 11 (60):
[8] THE EXCEPTION-HANDLING FACILITIES OF PL/I
ELDERON, PR
ATHWAL, DS
PROCEEDINGS : SEAS ANNIVERSARY MEETING 1989, VOLS 1 AND 2: THE CORPORATE NETWORK, 1989, : 1367 - 1383
[9] Visualization of Exception Handling Constructs to Support Program Understanding
Shah, Hina
Goerg, Carsten
Harrold, Mary Jean
SOFTVIS 2008: PROCEEDINGS OF THE 4TH ACM SYMPOSIUM ON SOFTWARE VISUALIZATION, 2008, : 19 - 28
[10] Verifying Exception-Handling Code in Concurrent Libraries
Khanna, Dhriti
Sharma, Subodh
Purandare, Rahul
PROCEEDINGS OF THE 2023 30TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, APSEC 2023, 2023, : 405 - 414