Using Semantic Metrics to Predict Mutation Equivalence

被引：2

作者：

Ayad, Amani ^{[1
]}

Marsit, Imen ^{[2
]}

Omri, Nazih Mohamed ^{[2
]}

Loh, JiMeng ^{[1
]}

Mili, Ali ^{[1
]}

机构：

[1] New Jersey Inst Technol, Newark, NJ 07102 USA

[2] Univ Monastir, Iloilo 5000, Philippines

来源：

SOFTWARE TECHNOLOGIES, ICSOFT 2018 | 2019年 / 1077卷

基金：

美国国家科学基金会;

关键词：

Redundancy; Mutant equivalence; Mutant survival ratio; Software metrics;

D O I：

10.1007/978-3-030-29157-0_1

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Equivalent mutants are a major nuisance in mutation testing because they introduce a significant amount of bias. But weeding them out is difficult because it requires a detailed analysis of the source code of the base program and the mutant. In this paper we argue that for most applications, it is not necessary to identify equivalent mutants individually; rather it suffices to estimate their number. Also, we explore how we can estimate their number by a cursory/automatable analysis of the base program and the mutant generation policy.

引用

页码：3 / 27

页数：25

共 50 条

[1] SEMANTIC METRICS: METRICS BASED ON SEMANTIC ASPECTS OF SOFTWARE
Stein, Cara
Etzkorn, Letha
Gholston, Sampson
Farrington, Phillip
Utley, Dawn
Cox, Glenn
Fortune, Julie
[J]. APPLIED ARTIFICIAL INTELLIGENCE, 2009, 23 (01) : 44 - 77
[2] The equivalence on classical metrics
Wei-ping Yin
An Wang
[J]. Science in China Series A: Mathematics, 2007, 50 : 183 - 200
[3] The equivalence on classical metrics
Wei-ping Yin & An WANG School of Mathematical Sciences
[J]. Science China Mathematics, 2007, (02) : 183 - 200
[4] The equivalence on classical metrics
Yin, Wei-ping
Wang, An
[J]. SCIENCE IN CHINA SERIES A-MATHEMATICS, 2007, 50 (02): : 183 - 200
[5] Semantic metrics
Intelligence, Agents, Multimedia Group, Electronics and Computer Science, University of Southampton, Southampton SO17 1BJ, United Kingdom
[J]. Int. J. Metadata Semant. Ontol., 2007, 4 (242-258):
[6] Semantic metrics
Hu, Bo
Kalfoglou, Yannis
Alani, Harith
Dupplaw, David
Lewis, Paul
Shadbolt, Nigel
[J]. MANAGING KNOWLEDGE IN A WORLD OF NETWORKS, PROCEEDINGS, 2006, 4248 : 166 - 181
[7] Equivalence of two optical quality metrics to predict the visual acuity of multifocal pseudophakic patients
Armengol, Jesus
Garzon, Nuria
Vega, Fidel
Altemir, Irene
Millan, Maria S.
[J]. BIOMEDICAL OPTICS EXPRESS, 2020, 11 (05): : 2818 - 2829
[8] METRICS OF INDEXED JOURNALS REPRESENTED USING SEMANTIC TECHNOLOGIES
Morocho-Yunga, Juan
[J]. 10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), 2017, : 8724 - 8728
[9] Using Structural and Semantic Metrics to Improve Class Cohesion
De Lucia, Andrea
Oliveto, Rocco
Vorraro, Luigi
[J]. 2008 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE MAINTENANCE, 2008, : 27 - 36
[10] Metrics and Equivalence in Conservation Banking
Grimm, Marie
[J]. LAND, 2021, 10 (06)

← 1 2 3 4 5 →