Differentiators and detectors

Ali Mili

doi:10.1016/j.ipl.2021.106111

Differentiators and detectors

Ali Mili

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

4 Scopus citations

Abstract

Given two programs, say P and Q, a differentiator is a test suite T such that execution of P and Q on T produces different outcomes; this concept is used in mutation testing, where it is important to highlight semantic differences between non-equivalent mutants. Given a specification R and a program P, a detector is a test suite T such that execution of P on T disproves the correctness of P with respect to R; this concept is clearly useful in program testing. In this note I elaborate on previous research to refine and characterize these concepts.

Original language	English (US)
Article number	106111
Journal	Information Processing Letters
Volume	169
DOIs	https://doi.org/10.1016/j.ipl.2021.106111
State	Published - Aug 2021

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Signal Processing
Information Systems
Computer Science Applications

Keywords

Failure detector
Mutation testing
Program correctness
Test differentiator

Access to Document

10.1016/j.ipl.2021.106111

Cite this

@article{bc58a6e2237849aaa123cc9743ec2da7,

title = "Differentiators and detectors",

abstract = "Given two programs, say P and Q, a differentiator is a test suite T such that execution of P and Q on T produces different outcomes; this concept is used in mutation testing, where it is important to highlight semantic differences between non-equivalent mutants. Given a specification R and a program P, a detector is a test suite T such that execution of P on T disproves the correctness of P with respect to R; this concept is clearly useful in program testing. In this note I elaborate on previous research to refine and characterize these concepts.",

keywords = "Failure detector, Mutation testing, Program correctness, Test differentiator",

author = "Ali Mili",

note = "Publisher Copyright: {\textcopyright} 2021 Elsevier B.V.",

year = "2021",

month = aug,

doi = "10.1016/j.ipl.2021.106111",

language = "English (US)",

volume = "169",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - Differentiators and detectors

AU - Mili, Ali

PY - 2021/8

Y1 - 2021/8

N2 - Given two programs, say P and Q, a differentiator is a test suite T such that execution of P and Q on T produces different outcomes; this concept is used in mutation testing, where it is important to highlight semantic differences between non-equivalent mutants. Given a specification R and a program P, a detector is a test suite T such that execution of P on T disproves the correctness of P with respect to R; this concept is clearly useful in program testing. In this note I elaborate on previous research to refine and characterize these concepts.

AB - Given two programs, say P and Q, a differentiator is a test suite T such that execution of P and Q on T produces different outcomes; this concept is used in mutation testing, where it is important to highlight semantic differences between non-equivalent mutants. Given a specification R and a program P, a detector is a test suite T such that execution of P on T disproves the correctness of P with respect to R; this concept is clearly useful in program testing. In this note I elaborate on previous research to refine and characterize these concepts.

KW - Failure detector

KW - Mutation testing

KW - Program correctness

KW - Test differentiator

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

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

U2 - 10.1016/j.ipl.2021.106111

DO - 10.1016/j.ipl.2021.106111

M3 - Article

AN - SCOPUS:85101842638

SN - 0020-0190

VL - 169

JO - Information Processing Letters

JF - Information Processing Letters

M1 - 106111

ER -

Differentiators and detectors

Abstract

All Science Journal Classification (ASJC) codes

Keywords

Access to Document

Other files and links

Fingerprint

Cite this