软件错误探测技术

来源 :网络安全技术与应用 | 被引量 : 6次 | 上传用户:playallprogram
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
静态代码分析和动态错误注入是检测和验证软件健壮性的两种常用方法,本文讨论了这两种技术功能上的优势和弱点,提出了提高每种类型工具功能的可能性,同时给出了将二者有效结合的一种方式。
其他文献
本文利用几何关系给出地球曲面等效为平坦面的范围 ,并给出GPS卫星在等效平面上的折合高度。最后从GPS信号穿越电离层传播引起的附加延迟时间公式出发 ,用数学方法推出在给定修正精度因子N1和电离层变化因子N2 下DGPS(差分GPS)基准台的最佳服务距离。
本文介绍了应用在海岸电台中的数字微波接力通信系统 ;分析了在海岸电台中数字微波通信系统的构成和采用的技术方案 ;讨论了该系统各部分的组成特点以及系统还需要解决的问题
移动Ad hoc网络具有开放媒质,动态拓扑,分布式合作,受限的网络能力等特点,所以特别容易受到攻击。本文分析了该网络的安全需求及其面临的安全威胁,指出了组建一个Ad hoc网络应遵循的安全策略。
生活中一些怪病奇病,常有不同寻常的心理性病因,找到心结之后对症下“药”,必能妙手回春.下面两则小故事,可见心理治疗的重要性.
毛二可(1934.1.26—),雷达、信息处理技术专家。内蒙古自治区赤峰市人。1956年毕业于北京工业学院。现任北京理工大学信息与电子学院教授。1981年以来主持完成了21项合同,其中
网络监听给以太网安全带来了极大的威胁。一直以来,缺乏很好的网络监听检测方法。本文论述了以太网中网络监听的原理,在此基础上针对不同的网络环境分别提出了基于广播式原理和交换式原理的监听检测有效方法。
2018年我国改革开放40年.中国已经成为世界最大的纺织品生产国、消费国和出口国.对内,我国人口基数大,对纺织服装的需求巨大;对外,仅2017年,全年纺织品服装累计出口18096.1亿
期刊
心肺运动疗法让我受益 学生时代,我最爱跑步。跑步使我成为学校里的名人——从小学3年级开始到中学2年级,每年我都包揽了我们学校小学组和中学组3个长跑项目冠军。然而,到了
由中国丝网印刷行业协会主办、上海贺利氏工业技术材料有限公司协办的“第4届全国花纸印刷行业年会”将于2018年10月15-17日在景德镇举办.rn中国丝网印刷行业协会花纸委员会
期刊
本文首先介绍了软件无线电的基本体系结构以及其中数字中频滤波 (IF)的重要作用 ,具体说明了数字滤波器的实现 ,然后针对软件无线电所处理信号的不同特点着重分析了实现其下