Theoretical analysis on fault localizaton formulas by coincidental correctness

He Ling Cao; Shu Juan Jiang; Xiao Bo Jin; Wei Dong Yang; Meng Xue

doi:10.3969/j.issn.0372-2112.2018.06.013

Theoretical analysis on fault localizaton formulas by coincidental correctness

Translated title of the contribution: Theoretical Analysis on Fault Localization Formulas by Coincidental Correctness

He Ling Cao, Shu Juan Jiang^*, Xiao Bo Jin, Wei Dong Yang, Meng Xue

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

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.

Translated title of the contribution	Theoretical Analysis on Fault Localization Formulas by Coincidental Correctness
Original language	Chinese (Traditional)
Pages (from-to)	1365-1370
Number of pages	6
Journal	Tien Tzu Hsueh Pao/Acta Electronica Sinica
Volume	46
Issue number	6
DOIs	https://doi.org/10.3969/j.issn.0372-2112.2018.06.013
Publication status	Published - 1 Jun 2018
Externally published	Yes

Keywords

Coincidental correctness
Fault localization
Software debugging
Theoretical analysis

Access to Document

10.3969/j.issn.0372-2112.2018.06.013

Cite this

@article{9aa07fba5ea54666968e93900da7c935,

title = "Theoretical analysis on fault localizaton formulas by coincidental correctness",

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 = "Coincidental correctness, Fault localization, Software debugging, Theoretical analysis",

author = "Cao, {He Ling} and Jiang, {Shu Juan} and Jin, {Xiao Bo} and Yang, {Wei Dong} and Meng Xue",

year = "2018",

month = jun,

day = "1",

doi = "10.3969/j.issn.0372-2112.2018.06.013",

language = "繁体中文",

volume = "46",

pages = "1365--1370",

journal = "Tien Tzu Hsueh Pao/Acta Electronica Sinica",

issn = "0372-2112",

number = "6",

}

TY - JOUR

T1 - Theoretical analysis on fault localizaton formulas by coincidental correctness

AU - Cao, He Ling

AU - Jiang, Shu Juan

AU - Jin, Xiao Bo

AU - Yang, Wei Dong

AU - Xue, Meng

PY - 2018/6/1

Y1 - 2018/6/1

N2 - 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.

AB - 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.

KW - Coincidental correctness

KW - Fault localization

KW - Software debugging

KW - Theoretical analysis

UR - http://www.scopus.com/inward/record.url?scp=85054695896&partnerID=8YFLogxK

U2 - 10.3969/j.issn.0372-2112.2018.06.013

DO - 10.3969/j.issn.0372-2112.2018.06.013

M3 - 文章

AN - SCOPUS:85054695896

SN - 0372-2112

VL - 46

SP - 1365

EP - 1370

JO - Tien Tzu Hsueh Pao/Acta Electronica Sinica

JF - Tien Tzu Hsueh Pao/Acta Electronica Sinica

IS - 6

ER -

Theoretical analysis on fault localizaton formulas by coincidental correctness

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this