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
来源：
International Journal of Advancements in Computing Technology | 2012年 / 4卷 / 01期
关键词：
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 条
  • [21] Detection of Infeasible Paths: Approaches and Challenges
    Ding, Sun
    Tan, Hee Beng Kuan
    EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2012, 2013, 410 : 64 - 78
  • [22] An architectural-level exception-handling system for component-based applications
    Castor, F
    Guerra, AD
    Rubira, CMF
    DEPENDABLE COMPUTING, 2003, 2847 : 321 - 340
  • [23] An approach to analyzing recursive programs with exception handling constructs
    Jiang, Shujuan
    Xu, Baowen
    Shi, Liang
    ACM SIGPLAN NOTICES, 2006, 41 (04) : 30 - 35
  • [24] Automatic detection of infeasible paths in software testing
    Gong, D.
    Yao, X.
    IET SOFTWARE, 2010, 4 (05) : 361 - 370
  • [25] Defeasible reasoning in high-functioning adults with autism: Evidence for impaired exception-handling
    Pijnacker, Judith
    Geurts, Bart
    van Lambalgen, Michiel
    Kan, Cornelis C.
    Buitelaar, Jan K.
    Hagoort, Peter
    NEUROPSYCHOLOGIA, 2009, 47 (03) : 644 - 651
  • [26] ResourceNet: a collaboration network among decentralised manufacturing resources for autonomous exception-handling in smart manufacturing
    Qian, Cheng
    Sun, Wen
    Zhang, Yingfeng
    IET COLLABORATIVE INTELLIGENT MANUFACTURING, 2020, 2 (03) : 109 - 114
  • [27] Detection of infeasible paths using presburger arithmetic
    Naoi, K
    Takahashi, N
    TWENTIETH ANNUAL INTERNATIONAL COMPUTER SOFTWARE & APPLICATIONS CONFERENCE (COMPSAC'96), PROCEEDINGS, 1996, 20 : 461 - 469
  • [28] Detection of infeasible paths using Presburger arithmetic
    Naoi, Kuniaki
    Takahashi, Naohisa
    Systems and Computers in Japan, 1999, 30 (09) : 74 - 87
  • [29] AN EXCEPTION-HANDLING MECHANISM FOR PARALLEL OBJECT-ORIENTED PROGRAMMING - TOWARD REUSABLE, ROBUST DISTRIBUTED SOFTWARE
    ISSARNY, V
    JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1993, 6 (06): : 29 - 40
  • [30] Improving program correctness with atomic exception handling
    Fetzer, Christof
    Felber, Pascal
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (08) : 1047 - 1072
12345