【摘 要】
：
提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和
【机 构】
：
中国科学院,中国科学院,SchoolofInformationTechnology
【基金项目】
：
国家自然科学基金，中国科学院知识创新工程项目
论文部分内容阅读
提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.
其他文献
在我国,大学教师压力大与教学质量低共存。如何解决这一教学悖论,尽管有多个视角,但大学教师职业发展是最重要的视角。大学教师职业发展由于受“学者即良师”观念以及“重科
从区域层面促进教师学习已经成为一种趋势。当前区域性教师学习的促进系统存在体制障碍、能力瓶颈和脱节现象。区域性教师学习的促进系统本质上是一个活动系统,必须回到这个
提出了一种适用于层次移动IPv6（HMIPv6）网络的呼叫准入控制（call admission control，简称CAC）方案，该方案以过载率和系统容量为限制，根据网络中主机的移动特性和呼叫特性，自适应地计