Empirical Evaluation of Test Coverage for Functional Programs | |
Cheng, Yufeng ; Wang, Meng ; Xiong, Yingfei ; Hao, Dan ; Zhang, Lu | |
2016 | |
关键词 | MUTATION |
英文摘要 | The correlation between test coverage and test effectiveness is important to justify the use of coverage in practice. Existing results on imperative programs mostly show that test coverage predicates effectiveness. However, since functional programs are usually structurally different from imperative ones, it is unclear whether the same result may be derived and coverage can be used as a prediction of effectiveness on functional programs. In this paper we report the first empirical study on the correlation between test coverage and test effectiveness on functional programs. We consider four types of coverage: as input coverages, statement/branch coverage and expression coverage, and as oracle coverages, count of assertions and checked coverage. We also consider two types of effectiveness: raw effectiveness and normalized effectiveness. Our results are twofold. (1) In general the findings on imperative programs still hold on functional programs, warranting the use of coverage in practice. (2) On specific coverage criteria, the results may be unexpected or different from the imperative ones, calling for further studies on functional programs.; EI; CPCI-S(ISTP); chengyf@pku.edu.cn; M.W.Wang@kent.ac.uk; xiongyf@pku.edu.cn; haodan@pku.edu.cn; zhanglucs@pku.edu.cn; 255-265 |
语种 | 英语 |
出处 | 9th IEEE International Conference on Software Testing, Verification and Validation (ICST) |
DOI标识 | 10.1109/ICST.2016.8 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/449287] |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Cheng, Yufeng,Wang, Meng,Xiong, Yingfei,et al. Empirical Evaluation of Test Coverage for Functional Programs. 2016-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论