Theoretical Analysis on Fault Localization Formulas by Coincidental Correctness

doi:10.3969/j.issn.0372-2112.2018.06.013

您当前的位置：

首页 >

文章列表页 >

Theoretical Analysis on Fault Localization Formulas by Coincidental Correctness

更新时间：2025-07-08

- Theoretical Analysis on Fault Localization Formulas by Coincidental Correctness
- Acta Electronica Sinica Vol. 46, Issue 6, Pages: 1365-1370(2018)
- 作者机构：
  
  1. 河南工业大学信息科学与工程学院,河南,郑州,450001
  2. 中国矿业大学计算机科学与技术学院,江苏,徐州,221116
  3. 粮食信息处理与控制教育部重点实验室,河南,郑州,450001
  4. 河南工业大学信息科学与工程学院,河南,郑州,450001
  5. 中国矿业大学计算机科学与技术学院,江苏,徐州,221116
  6. 粮食信息处理与控制教育部重点实验室,河南,郑州,450001
- 作者简介：
- 基金信息：
  
  National Natural Science Foundation of China (No.61602154, No.61673384, No.61502497, No.61601170, No.61772173, No.U1404617);Key Laboratory of Food Information Processing and Control, Ministry of Education (No.KFJJ-2016-105);Key Scientific Research Programs of colleges and universities of Henan Province (No.16A520005);High-level Talents Fund of Henan University of Technology (No.2015BS006);Fundamental Research Funds for Provincial Colleges and Universities of Henan Province, Henan University of Technology (No.2016QNJH28);Supported by Technology Research and Development Program Fund of Henan Province (No.172102210216);Public Welfare Research Project of Food Industry (No.201413001);Science Technology Innovation Team of Universities in Henan Province (No.16IRTSTHN026)
- DOI：10.3969/j.issn.0372-2112.2018.06.013
  CLC： TP311
- Published Online：25 June 2018，
  
  Published：2018
- 稿件说明：
移动端阅览
Theoretical Analysis on Fault Localization Formulas by Coincidental Correctness[J]. Acta Electronica Sinica, 2018, 46(6): 1365-1370.
DOI：

Theoretical Analysis on Fault Localization Formulas by Coincidental Correctness[J]. Acta Electronica Sinica, 2018, 46(6): 1365-1370. DOI： 10.3969/j.issn.0372-2112.2018.06.013.

摘要

软件错误定位效率可能受诸多因素影响，如测试用例优先级排序、测试用例构成、测试用例覆盖率及偶然正确性测试用例等.主要关注偶然正确性对怀疑度计算公式错误定位效率的影响.为此，提出一个基于函数单调性的理论分析框架来证明30个经典怀疑度计算公式受偶然正确性影响的程度.偶然正确性对怀疑度计算公式影响是有益的理论探索.

Abstract

The efficiency of software fault localization may be affected by many factors

such as the prioritization of test case

the structure of test case

the coverage of test case and coincidental correctness test case etc.This paper focuses on the impact of the efficiency of calculation formula by coincidental correctness test cases.For this

we put forward a theoretical analysis framework based on function monotonicity to prove the validity of 30 classical calculation formulas by coincidental correctness.It is a useful theoretical exploration that the efficiency of calculation formula is affected by coincidental correctness.

关键词

Keywords

references

Views

673

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Identifying Coincidental Correctness for Effective Fault Localization

Software Fault Localization Based on Redundant Coverage Information Reduction

Multiple-Fault Localization Based on Chameleon Clustering

Technique of Software Fault Localization Based on Weakest Pre-condition

Related Author

QIAN Jun-yan

XUE Meng

WANG Xing-ya

JIANG Shu-juan

CAO He-ling

ZHENG Li-wei

CHEN Xiang

YUE Lei

Related Institution

Guangxi Key Laboratory of Trusted Software Guilin University of Electronic Technology Guilin Guangxi China

Guangxi Key Laboratory of Trusted Software, Guilin University of Electronic Technology

School of Computer Science and Technology， Nantong University

School of Computer Science， Beijing Information Science and Technology University

College of Computer Science and Technology, Heilongjiang Institute of Technology

⁰