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
来源
STRUCTURED OBJECT-ORIENTED FORMAL LANGUAGE AND METHOD, SOFL+MSVL 2022 | 2023年 / 13854卷
关键词
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
相关论文
共 24 条
  • [1] AGRAWAL H, 1990, SIGPLAN NOTICES, V25, P246, DOI 10.1145/93548.93576
  • [2] [Anonymous], 1999, P 2 C COMPUTER SCI E
  • [3] Beizer B., 1995, BLACK BOX TESTING TE
  • [4] Borjesson E., 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation (ICST 2012), P350, DOI 10.1109/ICST.2012.115
  • [5] Candea George, 2019, Computing and Software Science: State of the Art and Perspectives. Lecture Notes in Computer Science (LNCS 10000), P505, DOI 10.1007/978-3-319-91908-9_24
  • [6] Dadeau F., 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), P298, DOI 10.1109/ICSTW.2011.30
  • [7] Jamil MA, 2016, INT CONF INFORM COMM, P177, DOI [10.1109/ICT4M.2016.045, 10.1109/ICT4M.2016.40]
  • [8] Jones J.A., 2005, P IEEEACM 20 INT C A, P273, DOI [10.1145/1101908.1101949, DOI 10.1145/1101908.1101949]
  • [9] OBJECT-ORIENTED INTEGRATION TESTING
    JORGENSEN, PC
    ERICKSON, C
    [J]. COMMUNICATIONS OF THE ACM, 1994, 37 (09) : 30 - 38
  • [10] Kim H, 2008, 10TH INTERNATIONAL CONFERENCE ON ADVANCED COMMUNICATION TECHNOLOGY, VOLS I-III, P255