蜕变测试和断言检查的比较与实验研究

来源 :软件学报 | 被引量 : 0次 | 上传用户:samzy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在软件测试中,测试预言是一种用于检查程序在测试中是否正常运行的机制.然而在某些实际情况下,还无法制定测试预言或者难以有效地应用测试预言.针对此类测试预言问题,蜕变测试于近年应运而生,但蜕变测试的效率问题还没有被充分地加以研究.作者用控制实验的方法研究了使用蜕变测试的成本及效率,进而将蜕变测试和常用的断言检查两种方法的错误检测率和时间成本进行了比较和分析.实验结果表明,相比于断言检查方法,蜕变测试具有检测到更多错误的潜力.通过分析蜕变测试的效率和性能与断言测试相比,蜕变测试的错误检测率更高效而效率有待提高,
其他文献
何为胸部体层摄影胸部拍片在X线检查中约占50%。但普通X线片为骨骼、组织器官相互重叠的平面像,这些密度不同、影像各异的轮廓混淆在一起,往往不能分清正常组织与病变组织,不能确定病
我国对外直接投资起步较晚,但从90年代初开始有了长足的发展.从国内经济增长、资源供给、市场供求、技术因素等方面看,我国企业"走出去",对外进行直接投资具有坚实的理论基础
摘 要:近年来,信息技术和教育教学之间的融合成为现代教学改革的趋势,手绘课程也不例外,现在和手绘有关的相关专业,部分的手绘被电脑绘图所取代,尤其是现在各大电脑绘图软件的兴起,强大的绘图软件有的时候还可以以假乱真,但是如果学生们过于依赖电脑软件绘图,对于手绘课程不重视,也不能达到社会培养的要求。文章针对手绘课程教学的改革,基于现代信息技术对手绘课程教学进行现代化改革探究。  关键词:手绘课程;教学改
集邮利于心理健康李彦春,冯维礼邮票是人们所熟知的,它是一种微型艺术邮品。其多彩的图案,丰富的信息,能使人得到美的享受。如果把各种邮票集中在一起,组成一个丰富多彩的「邮票大
由于磁盘系统的机械运动本质,磁盘系统I/O往往会成为计算机系统的性能瓶颈.为了有效地提高系统性能,收集和分析应用系统的磁盘I/O特征信息将成为性能优化工作的重要基础。与以往I/O
拼贴是一种由来已久的艺术创作形式。基于后现代主义的抽象主义和超现实主义画派思想延伸出来的拼贴技法已经发展出众多形式。拼贴在日常中有很多用途,可以运用在平面设计、
期刊
摘 要:“长安画派”崛起于20世纪60年代,成名于一次全国习作展。伴随“长安画派”的繁荣,作为其作品重要组成部分之一的花鸟画也崭露头角。“长安画派”唯一一位以花鸟画创作为主的画家——康师尧,其对花鸟画所作的研究,不仅为社会主义新时代花鸟画创新提供了全新思路,而且影响了20世纪整个西北花鸟画坛的发展。  关键词:康师尧;长安画派;花鸟画  一、主体特征  康师尧是“长安画派”中唯一科班出身的画家,有
产褥期俗称“坐月子”。在此期间产妇需要足量且营养价值较高的饮食,以尽快地补充妊娠和分娩时的消耗,确保乳汁分泌。然而,一些传统观念使“月子”里的产妇饮食有诸多误区:鸡蛋吃