Testing Program Segments to Detect Runtime Exceptions in Java']Java

被引:0
|
作者
Rao, Lei [1 ]
Liu, Shaoying [1 ]
Liu, Ai [1 ]
机构
[1] Hiroshima Univ, Grad Sch Adv Sci & Engn, Hiroshima 7398511, Japan
关键词
Fault Detection; Program Slicing; Software Testing; Runtime Exceptions;
D O I
10.1007/978-3-031-29476-1_8
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Runtime exceptions are difficult to be detected by static analysis tools and their occurrences in runtime often cause software systems to crash or unexcepted termination. Therefore, it is necessary to detect the existence of runtime exceptions in the program before it is executed. In this paper, we describe a novel program segment testing technique for detecting potential occurrences of runtime exceptions during the program construction process. Our testing technique is characterized by three steps. The first step is to determine the target program segment in which potential runtime exceptions may occur during the program execution. The second step is to form an appropriate environment to test the program segment by determining the values of the variables. The final step is to carry out the testing and determine whether the runtime exceptions will occur and will be handled properly during the system execution. This paper also presents a case study to demonstrate that the technique is effective.
引用
收藏
页码:93 / 105
页数:13
相关论文
共 50 条
  • [21] Slicing Java']Java programs that throw and catch exceptions
    Allen, M
    Horwitz, S
    ACM SIGPLAN NOTICES, 2003, 38 (10) : 284 - 294
  • [22] A static study of Java']Java exceptions using JESP
    Ryder, BG
    Smith, D
    Kremer, U
    Gordon, M
    Shah, N
    COMPILER CONSTRUCTION, PROCEEDINGS, 2000, 1781 : 67 - 81
  • [23] Towards a Context Dependent Java']Java Exceptions Hierarchy
    Kechagia, Maria
    Sharma, Tushar
    Spinellis, Diomidis
    PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), 2017, : 347 - 349
  • [24] Modular Transformation of Java']Java Exceptions Modulo Errors
    Rubbens, Robert
    Lathouwers, Sophie
    Huisman, Marieke
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, FMICS 2021, 2021, 12863 : 67 - 84
  • [25] Monitors and exceptions: how to implement Java']Java efficiently
    Krall, A
    Probst, M
    CONCURRENCY-PRACTICE AND EXPERIENCE, 1998, 10 (11-13): : 837 - 850
  • [26] Inductive Proof Outlines for Exceptions in Multithreaded Java']Java
    Abraham, Erika
    de Boer, Frank S.
    de Roever, Willem-Paul
    Steffen, Martin
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 159 (281-297) : 281 - 297
  • [27] Control flow analysis in the presence of exceptions for Java']Java
    Yahyaoui, H
    Tawbi, N
    Rodrigue, JF
    CCECE 2003: CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, VOLS 1-3, PROCEEDINGS: TOWARD A CARING AND HUMANE TECHNOLOGY, 2003, : 1363 - 1368
  • [28] Checking and Correcting Behaviors of Java']Java Programs at Runtime with Java']Java-MOP
    Chen, Feng
    d'Amorim, Marcelo
    Rosu, Grigore
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, 144 (04) : 3 - 20
  • [29] Enhancing Java']Java Runtime Environment for Smart Cards Against Runtime Attacks
    Akram, Raja Naeem
    Markantonakis, Konstantinos
    Mayes, Keith
    COMPUTER SECURITY - ESORICS 2015, PT II, 2015, 9327 : 541 - 560
  • [30] Students' misconceptions of java exceptions
    Rashkovits, Rami
    Lavy, Ilana
    Lecture Notes in Business Information Processing, 2012, 129 LNBIP : 1 - 21