【摘 要】
：
变异分析是研究软件测试的一种有效手段,在蜕变测试的研究中也经常采用这种方法。测试数据杀死变异需要满足一定的条件,但在蜕变测试中,测试用例满足变异测试中的条件不一定
【机 构】
：
解放军理工大学指挥信息系统学院,全军军事训练软件测评中心
【基金项目】
：
国家863计划项目(2009AA01Z402);江苏省自然科学基金资助项目(BK2012059,BK2012060);解放军理工大学预研基金资助项目(20110202,20110210)
论文部分内容阅读
变异分析是研究软件测试的一种有效手段,在蜕变测试的研究中也经常采用这种方法。测试数据杀死变异需要满足一定的条件,但在蜕变测试中,测试用例满足变异测试中的条件不一定能够杀死变异,需要比一般的变异测试更严格的测试数据才能杀死变异。从变异测试中杀死变异的三类条件出发,探究蜕变测试数据杀死变异的条件。通过三角形实验分析蜕变测试用例满足的条件以及测试结果,总结蜕变测试用例杀死变异的规律,提出蜕变测试用例杀死变异的一种充分性条件。
其他文献
随着人类物质文化生活水平的不断提高,人们的闲暇时间不断增多,“无聊”这一情绪体验在各类人群中出现的频率也越来越高,特别是在高校大学生身上表现的尤为突出。面对充裕的
紫薯是一种高营养的蔬菜,富含多种生物活性物质,营养丰富,越来越成为国内外研究的热点之一。但由于紫薯水分含量高,易发生霉变,腐烂,病害损失严重,不易长期贮藏。紫薯现可以
项目管理起源于第二次世界大战后期的美国,经过几十年各国学者的研究与实践,至今形成了较为完善的项目管理网络。我国的项目管理起步较晚,在国内的实践应用欠佳,引入成熟的项
“趣”作为我国古代文论的审美范畴,是在宋代确立成型的。宋人大量以“趣”评诗,并在广泛以“趣”评诗的同时,宋代诗论家们对趣予以进一步的理论阐释和提升,使它作为文学的审
电子产品的不断更新换代产生了大量的电子废弃物,这些废弃物中含有大量的有害有毒物质,如处理不当将会对环境造成极大危害,同时,这些电子废弃物又有较高的回收利用价值,因此
<正>蓝茜是个四川姑娘,目前在北京一家专门做公益咨询的社会企业工作。她留着短发,硬朗直率。和我以往采访的那些不羁的折腾青年不同,蓝茜认真读大学,在学校和校外都能找到自
针对地铁列车准点节能优化,在惰行控制基础上,引入多目标差分进化算法(DE),寻求满足安全运行的列车准点节能控制工况序列。首先建立了基于多目标的列车运行控制模型,在应用差
加快牡丹产业化发展,是维护国家粮油安全、培育新经济增长点和满足人们消费需求的现实需要。同时,菏泽也具有适宜种植环境、较强研发力量和良好产业基础等加快牡丹产业化发展
中国传统法律文化中的孝体现了人道主义精神,适应了中国古代传统社会政治统治的需要。但传统法律文化中的孝既有其积极的一面,也有其消极的一面。在当今老龄化的背景下,在建
列车超限监测报警系统利用激光监测传感器的“监测区”测量功能,根据场地、空间等实际需求,可悬空调节监测超限列车有效区域。该系统由激光监测传感器、激光监测信号处理控制