• DocumentCode
    3602489
  • Title

    Automated Oracle Data Selection Support

  • Author

    Gay, Gregory ; Staats, Matt ; Whalen, Michael ; Heimdahl, Mats P. E.

  • Author_Institution
    Dept. of Comput. Sci. & Eng., Univ. of South Carolina, Columbia, SC, USA
  • Volume
    41
  • Issue
    11
  • fYear
    2015
  • Firstpage
    1119
  • Lastpage
    1137
  • Abstract
    The choice of test oracle-the artifact that determines whether an application under test executes correctly-can significantly impact the effectiveness of the testing process. However, despite the prevalence of tools that support test input selection, little work exists for supporting oracle creation. We propose a method of supporting test oracle creation that automatically selects the oracle data-the set of variables monitored during testing-for expected value test oracles. This approach is based on the use of mutation analysis to rank variables in terms of fault-finding effectiveness, thus automating the selection of the oracle data. Experimental results obtained by employing our method over six industrial systems (while varying test input types and the number of generated mutants) indicate that our method-when paired with test inputs generated either at random or to satisfy specific structural coverage criteria-may be a cost-effective approach for producing small, effective oracle data sets, with fault finding improvements over current industrial best practice of up to 1,435 percent observed (with typical improvements of up to 50 percent).
  • Keywords
    program testing; program verification; automated oracle data selection support; mutation analysis; oracle creation; software testing; specific structural coverage criteria; test oracle; Aerospace electronics; Computer crashes; Electronic mail; Monitoring; Software; Testing; Training; Oracle Data; Oracle Selection; Test Oracles; Testing; Verification; oracle data; oracle selection; test oracles; verification;
  • fLanguage
    English
  • Journal_Title
    Software Engineering, IEEE Transactions on
  • Publisher
    ieee
  • ISSN
    0098-5589
  • Type

    jour

  • DOI
    10.1109/TSE.2015.2436920
  • Filename
    7112189