DocumentCode
231278
Title
Rule-Based Test Input Generation from Bytecode
Author
Weifeng Xu ; Tao Ding ; Dianxiang Xu
Author_Institution
Dept. of Comput. & Inf. Sci., Gannon Univ., Erie, PA, USA
fYear
2014
fDate
June 30 2014-July 2 2014
Firstpage
108
Lastpage
117
Abstract
Search-based test generators, such as those using genetic algorithms and alternative variable methods, can automatically generate test inputs. They typically rely on fitness functions to calculate fitness scores for guiding the search process. This paper presents a novel rule-based testing (RBT) approach to automated generation of test inputs from Java byte code without using fitness functions. It extracts tagged paths from the control flow graph of given byte code, analyzes and monitors the predicates in the tagged paths at runtime, and generates test inputs using predefined rules. Our case studies show that RBT has outperformed the test input generators using genetic algorithms and alternative variable methods.
Keywords
Java; computational linguistics; flow graphs; logic programming; program testing; Java byte code; RBT approach; alternative variable methods; automated test input generation; control flow graph; fitness function; fitness scores; genetic algorithms; rule-based test input generation; rule-based testing approach; runtime predicate analysis; runtime predicate monitoring; search process; search-based test generators; tagged path extraction; Engines; Generators; Inference algorithms; Input variables; Java; Monitoring; Testing; Software testing; bytecode; fitness function; searchbased testing; test input generation;
fLanguage
English
Publisher
ieee
Conference_Titel
Software Security and Reliability (SERE), 2014 Eighth International Conference on
Conference_Location
San Francisco, CA
Print_ISBN
978-1-4799-4296-1
Type
conf
DOI
10.1109/SERE.2014.24
Filename
6895421
Link To Document