【摘 要】
：
该文旨在基于白盒测试准则,提出能够在尽量复用测试资源、降低测试成本的前提下有效发现程序中错误的蜕变测试方法。任务关键软件的正确性是信息安全的重要组成部分,对其bug
【基金项目】
：
国家自然科学基金资助项目(61100047)
论文部分内容阅读
该文旨在基于白盒测试准则,提出能够在尽量复用测试资源、降低测试成本的前提下有效发现程序中错误的蜕变测试方法。任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但Oracle问题经常制约到此类软件的测试。蜕变测试(MT)能够有效解决此类问题,但随机性较大。该文针对二元蜕变关系,提出了2种迭代的蜕变测试算法AESIST和AEMIST,在依据此2种方法的测试中,上一轮生成的测试用例可以作为下一轮的原始用例而生成新的测试用例,并且所有的测试用例满足蜕变关系全路径覆盖准则(APCEM)。实验结果表明:2种算法产生的测试用例能够在尽量少地运行程序的情况下有效发现程序中的错误。因此,本文提出的2种迭代蜕变测试算法在程序bug检测方面是高效的。
其他文献
在提倡终身教育社会大环境下,将职业教育确立为终身教育的重要组成部分,使中等职业教育与高一级教育相互衔接沟通,成为当前全世界职业教育共同关注的一个焦点。职业教育发达
<正>未成年人在心理发育和人格形成的过程中缺乏应有的道德引导和培养,很不利于他们形成正确的人生观价值观,对社会上各种消极因素缺乏免疫力,在外界的影响下,极易产生犯罪心
【研究背景】弥漫性轴索损伤(diffuse axonal injury,DAI)是创伤性脑损伤(traumatic brain injury,TBI)中最常见及危害最大的一种病理类型,是指当头部因外力作用时,由于大脑各部位组织存在质量、密度差异而在脑组织内部产生剪切力、牵拉力导致的一种弥漫性的脑白质轴索损伤。DAI可分为原发性损伤和继发性损伤。原发性损伤是指外力作用于头部时脑组织内部产生剪切力、牵
随着制造业发展水平的不断提升,钢铁产品市场逐渐从过去的单品种、大批量需求向多品种、小批量、个性化需求方式转变。钢铁生产过程属于半连续、批量化生产过程,需要保证机组
1914年6月28日,德国的同盟国奥匈帝国借王储斐迪南被塞尔维亚民族主义分子刺杀一事,向背后有俄国、法国、英国支持的塞尔维亚宣战。8月初,
On June 28, 1914, the Austro-Hu
目的对本院贝伐珠单抗超说明书适应症用药情况进行调研。方法调查2010-10~2012-10使用了贝伐珠单抗的375份病例,依据食品药品监督管理局(SFDA)颁布的药品说明书、美国FDA批准
从国际关系理论和思想史的发展来看,有多重涵义的理性主义主要在思想传统和研究范式两方面中扮演不同的角色.本文从这两个角度出发,分析了作为思想传统和作为研究范式的理性
电子病历是信息技术和网络技术在医疗机构应用的产物,也是病历现代化管理的必然要求.病历的社会及法律属性和应用功能对电子病历提出了越来越高的要求,为此,相关专家学者提出
后金融危机时代,全球经济增长疲软,国际产业分工格局和经济力量对比进入重大调整期,随着世界发达经济体货币政策和财政政策拉动经济增长效果乏力,其主要目光逐步转向高新技术
目的探讨循证护理在宫外孕患者保守治疗过程中的应用。方法应用循证护理多渠道寻找证据,进行严格评价,结合妇科的临床实践经验和实际,制定完善的护理方案,对我科2007年7月至2