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 条
  • [1] Testing ThumbPod: Softcore bugs are hard to find
    Schaumont, P
    Sakiyama, K
    Fan, Y
    Hwang, D
    Yang, S
    Hodjat, A
    Lai, B
    Verbauwhede, I
    EIGHTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2003, : 77 - 82
  • [2] Mutation-based Testing of Format String Bugs
    Shahriar, Hossain
    Zulkernine, Mohammad
    11TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2008, : 229 - 238
  • [3] Control Oriented Mutation Testing for Detection of Potential Software Bugs
    Bashir, Muhammad Bilal
    Nadeem, Aamer
    10TH INTERNATIONAL CONFERENCE ON FRONTIERS OF INFORMATION TECHNOLOGY (FIT 2012), 2012, : 35 - 40
  • [4] Find More Bugs with QuickCheck!
    Hughes, John
    Norell, Ulf
    Smallbone, Nicholas
    Arts, Thomas
    2016 IEEE/ACM 11TH INTERNATIONAL WORKSHOP IN AUTOMATION OF SOFTWARE TEST (AST), 2016, : 71 - 77
  • [5] Manifesting Bugs in Machine Learning Code: An Explorative Study with Mutation Testing
    Cheng, Dawei
    Cao, Chun
    Xu, Chang
    Ma, Xiaoxing
    2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2018), 2018, : 313 - 324
  • [6] Mantra: Mutation Testing of Hardware Design Code Based on Real Bugs
    Wu, Jiang
    Lei, Yan
    Zhang, Zhuo
    Meng, Xiankai
    Yang, Deheng
    Li, Pan
    He, Jiayu
    Mao, Xiaoguang
    2023 60TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC, 2023,
  • [7] Find Bugs in Static Bug Finders
    Wang, Junjie
    Huang, Yuchao
    Wang, Song
    Wang, Qing
    30TH IEEE/ACM INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC 2022), 2022, : 516 - 527
  • [8] A TRAP FOR HARD-TO-FIND BUGS
    JAGADEESH, JM
    COMPUTER, 1993, 26 (11) : 66 - 68
  • [9] An easier way to find program bugs
    Lewis, B
    DR DOBBS JOURNAL, 2005, 30 (06): : 16 - +
  • [10] Using static analysis to find bugs
    Ayewah, Nathaniel
    Pugh, William
    Hovemeyer, David
    Morgenthaler, J. David
    Penix, John
    IEEE SOFTWARE, 2008, 25 (05) : 22 - 29
12345