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

摘要

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