An empirical study to quantify the characteristics of Java programs that may influence symbolic execution from a unit testing perspective
详细信息 查看全文
- 作者：Marcelo M. Eler ; a ; marceloeler@usp.br" class="auth_mail" title="E-mail the corresponding author ; marceloeler@gmail.com" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Andre T. Endob ; andreendo@utfpr.edu.br" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae ; Vinicius H.S. Durellic ; d ; durelli@icmc.usp.br" class="auth_mail" title="E-mail the corresponding authorAuthor Vitae
- 关键词：Software testing ; Symbolic execution ; Test data generation
- 刊名：Journal of Systems and Software
- 出版年：2016
- 出版时间：November 2016
- 年：2016
- 卷：121
- 期：Complete
- 页码：281-297
- 全文大小：1394 K
文摘
- •
We analyze two benchmarks: SF100 (100 projects) and R47 (47 projects).
- •
We show the distributions of issues on generating test data using symbolic execution.
- •
We show that few methods have potential for path explosion.
- •
We show that dependency and exception-dependent paths are very frequent.
- •
We show that the constraints complexity is mainly affected by object types.