降低软件变异测试复杂性的新方法被引量：3

A Method of Simplifying Complexity of Mutation Testing

下载PDF

导出

摘要基于硬件测试技术中经常使用的故障控制及等价关系的理论,对软件变异测试提出一种新的简化决策条件故障的思想和技术,使得在变异测试中需要注入的故障数得以减少,从而简化软件变异测试过程,缩短了测试时间.由此也可有效降低软件测试复杂性,提高测试效率.实验结果证明了所提出的思想和方法的正确性和有效性. In this paper, a new idea of conditional fault collapsing in software mutation testing is proposed based on the theory of fault dominance and equivalence long being used in hardware testing. The new technique proposed can be used in software mutation testing and can greatly reduce the number of injected faults in software so as to decrease the number of mutants, shorten the testing time in mutation testing. It is shown that the complexity of software testing can be simplified and the effectiveness of testing is improved directly. Experimental results have justified the technique proposed in the paper.

作者徐拾义

机构地区上海大学计算机工程与科学学院上海

出处《上海大学学报（自然科学版）》 CAS CSCD 北大核心 2007年第5期524-531,共8页 Journal of Shanghai University:Natural Science Edition

基金国家自然科学基金资助项目(6047303360173029)

关键词软件测试测试复杂性故障控制故障等价变异测试 software testing test complexity fault dominance fault equivalence

分类号 TP301 [自动化与计算机技术—计算机系统结构]

引文网络
相关文献

参考文献22

1XU S Y. Built-in-self-test for software [C] //Proceedings of the 12th Asian Test Symposium (ATS'03), Xi'an, China. IEEE Computer Science Press, 2003 : 220-224.
2WHITTAKER J A, VOAS J. Toward a more reliable theory of software reliability [J]. Computer, 2000, 12:36-43.
3XU S Y. A new approach to improving the test effectiveness in software testing using fault collapsing [C]// Proceedings of 11 th International Symposium on Pacific Rim Dependable Computing (PRDC06), Riverside, USA. IEEE Computer Science Press, 2006:73-80.
4LYU M. Handbook of software reliability engineering [ M ]. New York: McGraw-Hill, 1996:36-40.
5MUSA J D, IANNINO A, OKUMOTO K. Software reliability measurement prediction application [ M ]. New York: McGraw-Hill, 1987.
6MUSA J D. Software reliability engineering [ M ]. New York: John Wiley & Sons, 1998.
7LIONS J L. Ariane 5 flight 501 failure : report of the inquiry board [R/OL]. Paris, 1996. [2007-03-01]. http://www. esrin. esa. it/htdocs/tide/Press/Press96/arianes5 rep. html.
8VOAS J. PIE: a dynamic failure-based technique [J]. IEEE Trans on Software Eng, 1992, 8(2) :717-727.
9ABRAMOVICI M, BREUER M A, FRIEDMAN A D. Digital systems testing and testable design [ M ]. New York : IEEE Computer Science Press, 1990.
10POMERANZ I, REDDY S M. Properties of maximally dominating faults [C]// Proceedings of the 13th Asian Test Symposium (ATS'04), Kenting, Taiwan, China. IEEE Computer Science Press, 2004 : 106-112.