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 条
  • [41] The Runtime Performance of invokedynamic: An Evaluation with a Java']Java Library
    Ortin, Francisco
    Conde, Patricia
    Fernandez-Lanvin, Daniel
    Izquierdo, Raul
    IEEE SOFTWARE, 2014, 31 (04) : 81 - 89
  • [42] A classification of unanticipated runtime software changes in Java']Java
    Gustavsson, J
    INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, PROCEEDINGS, 2003, : 4 - 12
  • [43] Runtime locality optimizations of distributed Java']Java applications
    Huetter, Christian
    Moschny, Thomas
    PROCEEDINGS OF THE 16TH EUROMICRO CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING, 2008, : 149 - 156
  • [44] Coordinating Exceptions of Java']Java Systems: Implementation and Formal Verification
    Hanazumi, Simone
    de Melo, Ana C. V.
    2012 EIGHTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC 2012), 2012, : 108 - 113
  • [45] Data flow analysis of Java']Java programs in the presence of exceptions
    Shelekhov, VI
    Kuksenko, SV
    PERSPECTIVES OF SYSTEM INFORMATICS, 2000, 1755 : 389 - 395
  • [46] Toward an SGX-Friendly Java']Java Runtime
    Wu, Mingyu
    Li, Zhe
    Chen, Haibo
    Zang, Binyu
    Wang, Shaojun
    Yu, Lei
    Li, Sanhong
    Song, Haitao
    IEEE TRANSACTIONS ON COMPUTERS, 2024, 73 (01) : 44 - 57
  • [47] Java']Java runtime systems: Characterization and architectural implications
    Radhakrishnan, R
    Vijaykrishnan, N
    John, LK
    Sivasubramaniam, A
    Rubio, J
    Sabarinathan, J
    IEEE TRANSACTIONS ON COMPUTERS, 2001, 50 (02) : 131 - 146
  • [48] An overview of the runtime verification tool Java']Java PathExplorer
    Havelund, K
    Rosu, G
    FORMAL METHODS IN SYSTEM DESIGN, 2004, 24 (02) : 189 - 215
  • [49] Adaptable Runtime Monitoring for the Java']Java Virtual Machine
    Rosa, Andrea
    Zheng, Yudi
    Sun, Haiyang
    Javed, Omar
    Binder, Walter
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 531 - 546
  • [50] Safe locking for multi-threaded Java']Java with exceptions
    Johnsen, Einar Broch
    Thi Mai Thuong Tran
    Owe, Olaf
    Steffen, Martin
    JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING, 2012, 81 (03): : 257 - 283