【摘 要】
：
提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和
【机 构】
：
中国科学院,中国科学院,SchoolofInformationTechnology
【基金项目】
：
国家自然科学基金，中国科学院知识创新工程项目
论文部分内容阅读
提出了基于蜕变测试方法的集成测试环境MTest,进而为检验蜕变测试方法的能力和效率,以稀疏矩阵乘法程序为例设计了一组实验.该实验基于变异分析技术,分别以mutation score和错误发现率为度量指标,定量地分析和对比了特殊用例测试,以特殊测试用例和随机测试用例为源测试用例的蜕变测试这3种方法的测试能力和效率.该实验可在MTest测试环境下自动完成.实验结果表明,蜕变测试与特殊用例测试之间是互补的,而且就蜕变测试的源测试用例而言,随机测试用例在测试能力和效率上优于特殊测试用例.
其他文献
<正> 随着经济体制改革的逐步深化,对外开放对内搞活经济政策的落实,企业面临着前所未有的大好形势。激烈的竞争给企业带来了搏击腾飞的活力,而竞争中优胜劣汰的规律也给企业
在我国,大学教师压力大与教学质量低共存。如何解决这一教学悖论,尽管有多个视角,但大学教师职业发展是最重要的视角。大学教师职业发展由于受“学者即良师”观念以及“重科
无声的春雨狄向弘亮晶晶的雨丝绵绵的雾，把冬青叶洗得油绿拴亮，把花骨朵吻得瓣颤颜泽，给水边翠竹洒满珍珠，给渠旁柔柳点上碧绿。偶而，一缕清风拂来，似乎有意将雨丝切断，把雨雾赶走，但
从区域层面促进教师学习已经成为一种趋势。当前区域性教师学习的促进系统存在体制障碍、能力瓶颈和脱节现象。区域性教师学习的促进系统本质上是一个活动系统,必须回到这个
她热爱教育,坚守教育梦想;她热爱工作,以锲而不舍的精神雕塑学生的心灵;她热爱学生,善于通过点点滴滴的小事,春风化雨般地塑造学生的品格,引燃学生的生命激情和学习热情,被历
提出了一种适用于层次移动IPv6（HMIPv6）网络的呼叫准入控制（call admission control，简称CAC）方案，该方案以过载率和系统容量为限制，根据网络中主机的移动特性和呼叫特性，自适应地计
颈椎病反复发作是何因？编辑同志：两年前我国颈部疼痛到医院就诊，医生说是患了颈椎病。经一段时间的综合治疗后，症状基本消失，但时间不长又再次疼痛，以后便时好时坏。请问，颈椎病为何
MP4产品分为两类．PMP和PMC。前者基于Linux操作系统开发。在应用软件和硬件配置上没有统一的标准，制造商可以自行调配；而后者则是围绕微软的“Windows Portable Media Center”
劝君廉洁保健康黄然，耀中据报载，巴西医生马丁斯经过１０年研究，得出令人吃惊的结论：卷入腐败行为的人容易得癌症、心肌梗塞、过敏症、脑溢血、心脏病等。腐败会导致死亡，对珍惜生命却