What to expect of predicates: An empirical analysis of predicates in real world programs
详细信息 查看全文
- 作者：Vinicius H.S. Durelli ; a ; d ; vinicius.durelli@gmail.com" class="auth_mail" title="E-mail the corresponding author ; durelli@icmc.usp.br" class="auth_mail" title="E-mail the corresponding author ; Jeff Offuttb ; offutt@gmu.edu" class="auth_mail" title="E-mail the corresponding author ; Nan Lib ; nli1@gmu.edu" class="auth_mail" title="E-mail the corresponding author ; Marcio E. Delamaroa ; delamaro@icmc.usp.br" class="auth_mail" title="E-mail the corresponding author ; Jin Guoc ; jguo_scce@home.swjtu.edu.cn" class="auth_mail" title="E-mail the corresponding author ; Zengshu Shic ; shizengshu@126.com" class="auth_mail" title="E-mail the corresponding author ; Xinge Aic ; axg1967@sina.com" class="auth_mail" title="E-mail the corresponding author
- 关键词：Logic-based test criteria ; Active clause coverage (ACC) criteria ; Modified condition-decision coverage (MCDC) test criterion
- 刊名：Journal of Systems and Software
- 出版年：2016
- 出版时间：March 2016
- 年：2016
- 卷：113
- 期：Complete
- 页码：324-336
- 全文大小：506 K
文摘
- class="listitem" id="list_celist0003">
- class="label">•
We analyzed 63 open source, non-safety-critical Java programs ranging from 423 to 629,114 lines of code, with a total of 400,811 predicates.
- class="label">•
We also analyzed three railway safety-critical programs implemented in C/C++ whose sizes range from 42,380 to 65,887 lines of code, with a total of 24,546 predicates.
- class="label">•
99% of the predicates within Java programs contain at most three clauses and approximately 95.17% of the predicates in the safety-critical programs have up to three clauses.
- class="label">•
Since both safety-critical and non-safety critical programs have very few predicates containing more than a few clauses, ACC is only needed on a small fraction of all the predicates.