Contract-based mutation for testing components | |
Jiang, Ying ; Hou, Shan-Shan ; Shan, Jin-Hui ; Zhang, Lu ; Xie, Bing | |
2005 | |
英文摘要 | Testing plays an important role in the maintenance of Component Based Software Development. Test adequacy for component testing is one of the hardest issues for component testing. To tackle this problem, it is a natural idea to apply mutation testing, which is a fault-based testing method used for measuring test adequacy, for component contracts, whose aim is to improve the testability of the component. Though powerful, mutation testing is usually very computationexpensive, as many mutants need to be produced and executed in mutation testing. In this paper, we propose a contract-based mutation technique for testing components. Based on the discordance between contracts and specification, our approach employs a set of high level contract mutation operators. The experimental results show that these operators can greatly reduce the number of mutants compared with traditional mutation operators. At the same time, the contract-based mutation using our contract mutation operators can provide almost the same ability as that of using traditional mutation operators. Moreover, effective test suite can be produced to reduce the maintenance effort. ? 2005 IEEE.; EI; 2 |
语种 | 英语 |
DOI标识 | 10.1109/ICSM.2005.36 |
内容类型 | 其他 |
源URL | [http://ir.pku.edu.cn/handle/20.500.11897/295092] |
专题 | 信息科学技术学院 |
推荐引用方式 GB/T 7714 | Jiang, Ying,Hou, Shan-Shan,Shan, Jin-Hui,et al. Contract-based mutation for testing components. 2005-01-01. |
个性服务 |
查看访问统计 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论