摘要
组件和基于组件的软件工程已成为软件工程领域的热点,其中有很多工作致力于研究如何构筑组件,却忽略了组件的测试工作.组件化程序设计方法对软件测试技术提出了新的问题和挑战.本文中,笔者首先介绍传统的接口变异测试方法,在此基础上,通过引入作用于接口描述语言的变异算子,提出了面向组件的接口变异测试方法以及基于这种方法的测试充分性度量准则MC和IM.该方法很好地解决了在组件测试中,源代码不可知的问题.然后以MC和IM为依据,给出了一种使用MC和IM进行测试的测试方法论.
Currently component and component based software e ngineering are gain i ng substantial interest in software engineering community. Although there are ma ny published articles addressing the issues in building component, very few of t hem address the problems and challenges in testing component. There are new issu es and challenges in testing of component. This paper discusses the traditional interface mutation. On the basis of traditional interface mutation, a new interf ace mutation for component is presented. With the new interface mutation, the di fficulty caused by component's unavailable source code is solved. And test adequ acy criteria based on interface mutation for component have been identified. A t esting methodology that uses these criteria has been identified, too.
出处
《浙江大学学报（工学版）》
EI
CAS
CSCD
北大核心
2003年第2期129-133,共5页
Journal of Zhejiang University：Engineering Science
基金
国家自然科学基金资助项目(60073027).
关键词
组件
软件测试
程序变异
接口变异
测试充分性准则
变异算子
测试方法论
component
software testing
program mutation
interface mutation
te st adequacy criterion
mutation operator
testing methodology
