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
fDate :
June 30 2014-July 2 2014
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;
Conference_Titel :
Software Security and Reliability (SERE), 2014 Eighth International Conference on
Conference_Location :
San Francisco, CA
Print_ISBN :
978-1-4799-4296-1
DOI :
10.1109/SERE.2014.24