面向组件的接口变异测试方法

摘要：

组件和基于组件的软件工程已成为软件工程领域的热点,其中有很多工作致力于研究如何构筑组件,却忽略了组件的测试工作.组件化程序设计方法对软件测试技术提出了新的问题和挑战.本文中,笔者首先介绍传统的接口变异测试方法,在此基础上,通过引入作用于接口描述语言的变异算子,提出了面向组件的接口变异测试方法以及基于这种方法的测试充分性度量准则MC和IM.该方法很好地解决了在组件测试中,源代码不可知的问题.然后以MC和IM为依据,给出了一种使用MC和IM进行测试的测试方法论.

关键词：组件、软件测试、程序变异、接口变异、测试充分性准则、变异算子、测试方法论

所属期刊栏目：37

分类号：TP312.56(计算技术、计算机技术)

资助基金：国家自然科学基金60073027

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：129-133