【摘 要】
：
针对现有的协议模糊测试技术测试时存在报文重复交互、输入盲目等问题,本文提出一种基于协议状态迁移遍历的模糊测试优化方法。方法将协议状态迁移遍历问题转化为中国邮路问
【机 构】
：
中国人民解放军陆军工程大学指挥控制工程学院,浙江警察学院计算机与信息技术系
【基金项目】
：
国家重点研发计划（No.2017YFB0802900）
论文部分内容阅读
针对现有的协议模糊测试技术测试时存在报文重复交互、输入盲目等问题,本文提出一种基于协议状态迁移遍历的模糊测试优化方法。方法将协议状态迁移遍历问题转化为中国邮路问题,求解遍历所有协议状态迁移的最短路径,并依据该最短路径对各个状态迁移进行测试。在测试过程中,通过分析协议实体在执行测试用例后的响应报文,动态地调整后续的报文输入,进而避免无效交互,同时利用UIO序列判断协议实体状态是否发生异常迁移,及时检测协议逻辑漏洞。实验结果表明,本文的模糊测试优化方法可以显著提高测试效率与漏洞挖掘能力。
其他文献
随着科技不断发展,桥梁施工环境不断变化,施工难度越来越大,机械化程度越来越高,不同环境下机械设备选型以及配合极大程度地影响了施工进度以及施工成本。本文根据新建蒙西华
现阶段，随着中国经济体制改革工作的不断深化，国有企业为了谋取进一步发展对自身经营机制进行主动转变，混合所有制经济就诞生了。混合所有制经济的发展推动了国有资本的丰富积累
运用景观分类生态原则和群落生态学原则 ,建立了武夷山风景区景观二级分类系统。其中 ,一级景观包括马尾松林、杉木林、经济林、竹林、阔叶林、茶园、农田、河流、居住地和裸
本文主要谈论泛函分析与数学分析的某些递进关系,即泛函分析与数学分析有怎样的关系与联系？泛函分析是怎样建立在数学分析基础之上？为什么泛函分析从某些观点看是数学分析的抽
当前,随着我国新课程教学改革工作的发展,初中物理教学生活化的策略逐渐成为初中物理教学的主要内容之一。物理教师需要结合实际教学情况,优化教学方案,积极探究生活化教学策
随着水泵工业的蓬勃发展,科研部门、生产厂家都在建造试验台以了解水泵性能,由于闭式台具有占地面积小,能对水泵进行特殊试验,因而被广泛采用。汽蚀筒是闭式试验台管路系统
独立学院章程是保障独立学院有序运行的"根本大法",是独立学院及其内部各方主体的最高行为准则,有独立学院大宪章之美誉。但实践中,独立学院章程的"宪法地位"并未得到重视,章
美国教育行政准司法化是美国教育法制化的实质所在,是教育社会机构及其群体和全体社会成员个体作为法定的教育准司法主体,能动自主地发动和保持教育法律法规适用行动并做出合
2017年12月17日至2018年1月2日成都市发生一次重污染过程,利用中国生态环境部提供的成都市6个站点逐时环境监测资料,以及对应时次高空及地面气象观测资料,分析了本次污染过程
为了解决光子晶体波导出射端光场控制,同时解决二维三角晶格光子晶体波导出射光辐射困难的问题。利用二维三角晶格光子晶体设计了一种新型光子晶体波导出射口结构。在二维三