• DocumentCode
    625535
  • Title

    Evolving Readable String Test Inputs Using a Natural Language Model to Reduce Human Oracle Cost

  • Author

    Afshan, Sheeva ; McMinn, Phil ; Stevenson, Mark

  • Author_Institution
    Univ. of Sheffield, Sheffield, UK
  • fYear
    2013
  • fDate
    18-22 March 2013
  • Firstpage
    352
  • Lastpage
    361
  • Abstract
    The frequent non-availability of an automated oracle means that, in practice, checking software behaviour is frequently a painstakingly manual task. Despite the high cost of human oracle involvement, there has been little research investigating how to make the role easier and less time-consuming. One source of human oracle cost is the inherent unreadability of machine-generated test inputs. In particular, automatically generated string inputs tend to be arbitrary sequences of characters that are awkward to read. This makes test cases hard to comprehend and time-consuming to check. In this paper we present an approach in which a natural language model is incorporated into a search-based input data generation process with the aim of improving the human readability of generated strings. We further present a human study of test inputs generated using the technique on 17 open source Java case studies. For 10 of the case studies, the participants recorded significantly faster times when evaluating inputs produced using the language model, with medium to large effect sizes 60% of the time. In addition, the study found that accuracy of test input evaluation was also significantly improved for 3 of the case studies.
  • Keywords
    Java; natural languages; program verification; public domain software; automated oracle; human oracle cost; human oracle involvement; human readability; machine-generated test input; natural language model; open source Java case studies; readable string test input; search-based input data generation process; software behaviour checking; string input; test case; test input evaluation; Computational modeling; Data models; Generators; Java; Natural languages; Software; Testing; Crowd-Sourced Human Study; Language Model; Search-Based Testing; Strings;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Software Testing, Verification and Validation (ICST), 2013 IEEE Sixth International Conference on
  • Conference_Location
    Luembourg
  • Print_ISBN
    978-1-4673-5961-0
  • Type

    conf

  • DOI
    10.1109/ICST.2013.11
  • Filename
    6569747