基于代数式规范的变异测试方法的设计与实现

软件测试是软件工程中保证软件产品质量的重要组成部分。变异测试是一种衡量测试用例集完备性的测试策略,也被用于生成完备的测试用例集。为了提出一种基于代数式规范的新的变异测试方法,为此设计了12类针对代数式规范的变异操作符,对5个代数式规范进行了实验,并进行了结果分析。结果表明基于代数式规范的变异测试方法相比基于代码的传统变异测试方法,生成更少的变异体,也大幅度提升了变异测试的效率。

对基于XML网络组件交互的变异测试

本文提出一种变异分析技术来测试基于XML的网络异构组件交互的语义正确性。文中网络软件交互用交互规格说明模型ISM描述,测试用例为组件间传递的XML消息。