The efficiency of critical slicing in fault localization

被引:10
|
作者
Al-Khanjari, ZA
Woodward, MR
Ramadhan, H
Kutti, NS
机构
[1] Sultan Qaboos Univ, Comp Sci Dept, Al Khoud 123, Oman
[2] Univ Liverpool, Dept Comp Sci, Liverpool L69 7ZF, Merseyside, England
关键词
mutation testing; strong and weak mutations; dead; live and equivalent mutants; static and dynamic slicing; critical slicing; mutation operator; statement deletion (Sdl); Mothra Mutation Testing System; Fortran-77;
D O I
10.1007/s11219-005-6214-x
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
In software testing, developing effective debugging strategies is important to guarantee the reliability of software under testing. A heuristic technique is to cause failure and therefore expose faults. Based on this approach mutation testing has been found very useful technique in detecting faults. However, it suffers from two problems with successfully testing programs: (1) requires extensive computing resources and (2) puts heavy demand on human resources. Later, empirical observations suggest that critical slicing based on Statement Deletion (Sdl) mutation operator has been found the most effective technique in reducing effort and the required computing resources in locating the program faults. The second problem of mutation testing may be solved by automating the program testing with the help of software tools. Our study focuses on determining the effectiveness of the critical slicing technique with the help of the Mothra Mutation Testing System in detecting program faults. This paper presents the results showing the performance of Mothra Mutation Testing System through conducting critical slicing testing on a selected suite of programs.
引用
收藏
页码:129 / 153
页数:25
相关论文
共 50 条
  • [41] Fault density, fault types, and spectra-based fault localization
    DiGiuseppe, Nicholas
    Jones, James A.
    EMPIRICAL SOFTWARE ENGINEERING, 2015, 20 (04) : 928 - 967
  • [42] Fault density, fault types, and spectra-based fault localization
    Nicholas DiGiuseppe
    James A. Jones
    Empirical Software Engineering, 2015, 20 : 928 - 967
  • [43] Fault Classification Oriented Spectrum Based Fault Localization
    Liu, Xiujing
    Liu, Yong
    Li, Zheng
    Zhao, Ruilian
    2017 IEEE 41ST ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2017, : 256 - 261
  • [44] Lightweight Fault Localization Combining with Fault-Context
    Wang, Yong
    Huang, Zhiqiu
    Li, Yong
    Fang, BingWu
    2016 INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, TESTING AND EVOLUTION (SATE 2016), 2016, : 96 - 101
  • [45] A fault localization approach based on fault propagation context
    Yan, Yue
    Jiang, Shujuan
    Zhang, Yanmei
    Zhang, Shenggang
    Zhang, Cheng
    INFORMATION AND SOFTWARE TECHNOLOGY, 2023, 160
  • [46] SBFL fault localization considering fault-proneness
    Torkashvan, Reza
    Parsa, Saeed
    Branch, Babak Vaziri
    JOURNAL OF SYSTEMS AND SOFTWARE, 2025, 223
  • [47] New laser slicing technology named KABRA process enables high speed and high efficiency SiC slicing
    Hirata, Kazuya
    LASER-BASED MICRO- AND NANOPROCESSING XII, 2018, 10520
  • [48] Accelerating Transient Fault Injection Campaigns by using Dynamic HDL Slicing
    Bagbaba, Ahmet Cagri
    Jenihhin, Maksim
    Raik, Jaan
    Sauer, Christian
    2019 IEEE NORDIC CIRCUITS AND SYSTEMS CONFERENCE (NORCAS) - NORCHIP AND INTERNATIONAL SYMPOSIUM OF SYSTEM-ON-CHIP (SOC), 2019,
  • [49] Improving Fault Localization through Fault Propagation Analysis
    Fang, Zhimin
    Li, Danni
    Chen, Shifei
    Chen, Rong
    PROCEEDINGS OF THE 2016 2ND INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND INDUSTRIAL ENGINEERING (AIIE 2016), 2016, 133 : 405 - 409
  • [50] Fault Localization on Verification Witnesses
    Beyer, Dirk
    Kettl, Matthias
    Lemberger, Thomas
    MODEL CHECKING SOFTWARE, SPIN 2024, 2025, 14624 : 204 - 223