FSX: A Tool for Fine-Grained Incremental Unit Test Generation for C/C plus plus Programs

被引:2
作者
Yoshida, Hiroaki [1 ]
Tokumoto, Susumu [2 ]
Prasad, Mukul R. [1 ]
Ghosh, Indradeep [1 ]
Uehara, Tadahiro [2 ]
机构
[1] Fujitsu Labs Amer Inc, Sunnyvale, CA 94085 USA
[2] Fujitsu Labs Ltd, Kawasaki, Kanagawa, Japan
来源
FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING | 2016年
关键词
Automatic test generation; symbolic execution; unit testing;
D O I
10.1145/2950290.2983937
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
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, in previous work, we proposed a novel technique for automated and fine-grained incremental generation of unit tests through minimal augmentation of an existing test suite. In this paper we describe a tool FSX, implementing this technique. We describe the architecture, user-interface, and salient features of FSX, and specific practical use-cases of its technology. We also report on a real, large-scale deployment of FSX as a practical validation of the underlying research contribution and of automated test generation research in general.
引用
收藏
页码:1052 / 1056
页数:5
相关论文
共 33 条
[1]  
[Anonymous], RED TESTC
[2]  
[Anonymous], P 33 INT C SOFTW ENG
[3]  
[Anonymous], 2008, NDSS
[4]  
[Anonymous], SOFTWARE TESTING VER
[5]  
[Anonymous], 1990, Software Testing Techniques
[6]  
[Anonymous], P 19 INT C COMP AID
[7]  
BRYANT RE, 1992, COMPUT SURV, V24, P293, DOI 10.1145/136035.136043
[8]  
Cadar Cristian, 2008, USENIX OSDI
[9]  
De Moura L, 2008, 14 INT C TOOLS ALG C
[10]  
Fraser G., 2011, ESECFSE 2011, P416, DOI [10.1145/2025113.2025179, DOI 10.1145/2025113.2025179]