EXTENDING MUTATION TESTING TO FIND ENVIRONMENTAL BUGS

被引：7
|
作者：
SPAFFORD, EH
机构：
[1] Software Engineering Research Center, Department of Computer Sciences, Purdue University, Lafayette, Indiana
来源：
SOFTWARE-PRACTICE & EXPERIENCE | 1990年 / 20卷 / 02期
关键词：
Environmental bugs; Mutation analysis; Testing;
D O I：
10.1002/spe.4380200205
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Environmental bugs are bugs caused by limitations of precision or capacity in the environment of a piece of software. These bugs may be difficult to activate and even more difficult to find. This paper reports on an extension to traditional mutation testing that enables testing specifically for environmental bugs involving integer arithmetic. This method is both simple and effective, and provides some insight into other possible extensions of the mutation‐testing methodology that can be used to expose environmental bugs. Copyright © 1990 John Wiley & Sons, Ltd
引用
收藏
页码：181 / 189
页数：9
相关论文
共 50 条
  • [21] Use an arb and a DSO to find elusive bugs in comm software
    Clark, J
    ELECTRONIC DESIGN, 1999, 47 (14) : 59 - +
  • [22] A Replicated Study on Random Test Case Generation and Manual Unit Testing: How Many Bugs Do Professional Developers Find?
    Ramler, Rudolf
    Wolfmair, Klaus
    Kopetzky, Theodorich
    2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 484 - 491
  • [23] Extending the range of bugs that automated program repair can handle
    Al-Bataineh, Omar I.
    Moonen, Leon
    Vidziunas, Linas
    JOURNAL OF SYSTEMS AND SOFTWARE, 2024, 209
  • [24] Detecting C plus plus Compiler Front-End Bugs via Grammar Mutation and Differential Testing
    Tu, Haoxin
    Jiang, He
    Zhou, Zhide
    Tang, Yixuan
    Ren, Zhilei
    Qiao, Lei
    Jiang, Lingxiao
    IEEE TRANSACTIONS ON RELIABILITY, 2023, 72 (01) : 343 - 357
  • [25] Extending networks - Time to find network role for photocopiers
    不详
    COMMUNICATIONS NEWS, 1996, 33 (01): : 47 - 47
  • [26] Extending a configuration model to find communities in complex networks
    Jin, Di
    He, Dongxiao
    Hu, Qinghua
    Baquero, Carlos
    Yang, Bo
    JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, 2013,
  • [27] Millions of monarchs, bunches of beetles - How bugs find strength in numbers
    Robinson, GS
    TLS-THE TIMES LITERARY SUPPLEMENT, 2000, (5079): : 8 - 8
  • [28] ... But what do you do with bugs when you find them?
    不详
    NEW SCIENTIST, 1998, 160 (2162) : 6 - 6
  • [29] Using Automated Performance Modeling to Find Scalability Bugs in Complex Codes
    Calotoiu, Alexandru
    Hoefler, Torsten
    Poke, Marius
    Wolf, Felix
    2013 INTERNATIONAL CONFERENCE FOR HIGH PERFORMANCE COMPUTING, NETWORKING, STORAGE AND ANALYSIS (SC), 2013,
  • [30] Using counter example guided abstraction refinement to find complex bugs
    Bjesse, P
    Kukula, J
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 156 - 161
12345