Paper Info
Title
FSX: fine-grained incremental unit test generation for C/C++ programs.
Abstract
Automated unit test generation bears the promise of significantly reducing test cost and hence improving software quality. However, the maintenance cost of the automatically generated tests presents a significant barrier to adoption of this technology. To address this challenge, we propose a novel technique for automated and fine-grained incremental generation of unit tests through minimal augmentation of an existing test suite. The technique uses iterative, incremental refinement of test-drivers and symbolic execution, guided by a diagnostics engine. The diagnostics engine works off a novel precise and efficient byte-level dynamic dependence analysis built using Reduced Ordered Binary Decision Diagrams (ROBDDs). We present a tool FSX implementing this technique and evaluate it under two practical use-cases of incremental unit test generation, on five revisions of the open-source software iPerf, as well as on 3 large subjects, comprising more than 60 thousand lines of code, from in-house commercial network products. The evaluation shows that FSX can generate high-quality unit tests on large industrial software while minimizing the maintenance cost of the overall test-suite.
Year
DOI
Venue
2016
10.1145/2931037.2931055
ISSTA
Field
DocType
Citations 
Test suite,Test harness,Computer science,Unit testing,Dependence analysis,Real-time computing,Software,Symbolic execution,Software quality,Reliability engineering,Source lines of code
Conference
4
PageRank 
References 
Authors
0.39
30
5
Name
Order
Citations
PageRank
Hiroaki Yoshida1776.69
Susumu Tokumoto282.55
Mukul R. Prasad370835.18
Indradeep Ghosh440743.54
Tadahiro Uehara51159.66