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
Link To Document :
بازگشت