【摘 要】
：
任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但oracle问题经常制约到此类软件的测试.蜕变测试(MT)能够有效解决此类问题,但随机性较大.本文针对二
【机 构】
：
中国信息安全测评中心,北京,100085
【出 处】
：
第六届信息安全漏洞分析与风险评估大会
论文部分内容阅读
任务关键软件的正确性是信息安全的重要组成部分,对其bug的测试至关重要,但oracle问题经常制约到此类软件的测试.蜕变测试(MT)能够有效解决此类问题,但随机性较大.本文针对二元蜕变关系,提出了两种迭代的蜕变测试算法AESIST和AEMIST,基于它们生成的测试用例集满足蜕变关系全路径覆盖准则(APCEM).实验结果表明,两种算法产生的测试用例能够更加有效地发现软件中的bug.
其他文献
Shellcode是软件漏洞攻击过程中的一个关键要素,也是检测漏洞攻击的基础.根据shellcode的API函数和系统调用对栈帧的影响,定义了EBP异常、Ret异常和长度异常.接着,提出了一种
公路桥面伸缩缝长期以来较难处理。间隙小时(20mm左右)槽口下面垫以棕绳,上面用沥青填充,较难防水,沥青高出路面成台阶。亦有在30mm间隙时,两端用铸铁构件由螺栓与桥面板联
随着工业控制系统的广泛应用,越来越多的研究者开始针对工控系统,特别是具有控制功能的工控网络协议的安全性展开研究.由于工控网络协议具有专用性和面向控制的特点,无法直接
英吉利海峡隧道从英国一侧的两个平行隧道将采用两台外径8.3m的盾构掘进。盾构由美国鲁宾斯公司和英国马克哈姆公司联合设计,设计的考虑重点是保证盾构工作的可靠性,所有的
目前研究人员证明,一种包含30种营养素在内的“营养鸡尾酒”。可大大延缓衰老进程,从而延长寿命。由于衰老是一个受到多种因素影响的过程,科学家研究的这种混合配方结合了多
郑厅长:我与牛副主任去乡下了。我们对于这次农林科长会议,要求中心在冬耕灭螟。所有禾兜和田塍上的草均一律除光过年,特别注意山沟里水田,铁路马路侧的小田和草均要除之务
恶意攻击者往往利用漏洞完成系统或软件的入侵,为解决漏洞曝光所导致的安全问题,安全研究员通常通过漏洞补丁开发的方式对系统组件或应用程序进行安全加固.而迫于补丁生成的
一、概述延安东路越江隧道采用网格式盾构施工,盾构开挖必然会有土体损失Vs,Vs=V-Vo,V为施工开挖掉的土体体积,Vo为隧道所占的体积,土体损失使隧道周围的土层位移,使地表产
[摘要] 文章从KBE概念讲起，论述了KBE和一般专家系统的区别，剖析了KBE系统的核心关键技术，并对近年来该领域的研究应用情况做了一定的介绍 [关键词] 工程设计 KBE 知识获取 知识推理 1.认识KBE 1.1 KBE的概念 KBE(Knowledge~Based Engineering)的概念产生于20世纪70年代中期,1977 年美国斯坦福大学的 Feigenbaum 教授在
本文介绍“雷达参数测量”网络课程的性质地位和建设的必要性,重点阐述课程各模块的规划设计及功能,说明网络课程的建设及试用情况,最后给出教学效果评价,提出网络课程建设中