Name
Abstract | ||
|---|---|---|
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 computation-expensive, 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. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1109/ICSM.2005.36 | ICSM |
Keywords | Field | DocType |
contract-based mutation,mutation testing,high level contract mutation,testing components,traditional mutation operator,contract mutation operator,test adequacy,fault-based testing method,contract-based mutation technique,component contract,component testing,object oriented programming,test methods,component based software development,software maintenance | Black-box testing,Systems engineering,Test Management Approach,Computer science,Manual testing,Non-regression testing,Regression testing,White-box testing,Test strategy,Reliability engineering,Keyword-driven testing | Conference |
ISSN | ISBN | Citations |
1063-6773 | 0-7695-2368-4 | 8 |
PageRank | References | Authors |
0.53 | 24 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Ying Jiang | 1 | 66 | 8.08 |
| Shanshan Hou | 2 | 236 | 9.79 |
| Jin-Hui Shan | 3 | 44 | 3.14 |
| Lingming Zhang | 4 | 2726 | 154.39 |
| Bing Xie | 5 | 625 | 45.85 |