软件潜在安全性缺陷测试案例的研究及思考

来源 :信息网络安全 | 被引量 : 0次 | 上传用户:jijididixia
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
软件测试是能力成熟度模型集成(capability maturity model integration,CMMI)中验证(verification,Ver)与确认(validation,Val)过程域的重要表现形式,是保障软件可靠性的重要手段。近年来,随着软件规模和复杂程度的不断提高,软件测试技术也不断发展,然而程序设计语言本身固有的特性以及开发人员在编程时没有考虑周全使得许多漏洞无法在编译、运行乃至测试阶段发现,这些缺陷通过输入验证错误、访问验证错误、设计错误、特殊条件错误和竞争条件错误等方式在
其他文献
Oracle数据库管理的数据量非常庞大,从海量数据中搜索特定数据信息是数据库检验的一项重要工作,因此研究高效、准确的Oracle数据库自动搜索方法对公安机关的调查、取证工作有重要意义。文章深入分析了Oracle数据库与自动搜索方法密切相关的三个核心系统表(即USER$、OBJ$、COL$)之间的内在联系;详细介绍了数据库自动搜索方法的设计思想和使用步骤,结论是应用文中设计的Oracle数据库自动搜
根据联合国环境规划署估算,全球每年产生电子垃圾约5000万吨,回收处理的仅占大约10%。近日,联合国的一份报告指出,世界生产的大约70%的电子产品最终变成垃圾并流向中国,中国已经成为世界最大的电子“垃圾场”。  政府不断加大环保方面的措施力度,企业也声称要加强社会责任做绿色企业,是不是意味着环境污染和能源消耗问题的解决指日可待?答案似乎远远不止这么简单。  做有意思的事  2013年6月上线的“香
背景:当高敏C-反应蛋白(hsCRP)成为心血管风险的独立预测因素,总体风险预测模型便纳入使用。目的:探讨和比较包括与不包括hsCRP的心血管风险预测模型。设计:观察性队列研究。
期刊
背景:生物学衰老的个体差异可影响对冠心病的易感性。本研究旨在明确平均白细胞端粒长度是否为冠心病的预测因素。方法:比较西苏格兰冠心病一级预防研究(WOSCOPS)中纳入的484例后
【正】背景:日本人群中高胆固醇血症的循证治疗因缺乏该人群中的直接证据而受到阻碍。本研究旨在评估来自西方国家人群的他汀类药物治疗证据是否也适于日本人群。方法:在此项
随着计算机网络通信技术以及信息产业的高速发展,计算机网络在人们的日常工作、生活及学习中扮演着越来越重要的角色。随着移动互联网络与互联网的不断融合,移动互联网安全问题越来越突出。网络协议作为计算机网络通信的核心框架日渐得到广泛关注。网络协议分析系统有助于排除网络故障,进一步优化网络。鉴于网络协议相关内容的研究意义及实用价值,文章对网络协议进行了较为详尽地分析研究。文章首先简要地介绍了常见的网络协议分
7月26日,易华录公司和赛凡公司联手在北京錄发布BD-VTL光存储虚拟磁带库.此次发布使易华录和赛凡分别在其全系列存储解决方案中再添重量级产品,并以此助力易华录和赛凡客户的
9月17日至19日,在中国科学院面向感知中国的新一代信息技术战略性先导专项支持下,由中科院信工所信息安全国家重点实验室主办、中国电子学会多媒体安全专委会协办的“第十五届
手指静脉识别是一种更优于指纹识别的生物特征识别技术,具有广阔的应用前景。核主成分分析法是一种非线性特征提取方法,克服了线性提取方法未能利用图像中高阶统计信息和多个像素间非线性相关性的缺点。二维核主成分分析法解决了一维操作中出现的矩阵过大导致计算量过大的问题,但却需要更多的系数来表达图像信息,压缩效果远不如一维操作方法。文章基于核主成分分析法,结合线性判决分析法和最大边界准则分析法,对图像的垂直和水
【正】本项研究确定根据血流储备分数(FFR)≥0.75而延期行冠状动脉血运重建的安全性。研究对象为一组连续、未经筛选的中等程度冠状动脉病变的冠心病患者,包括不稳定型心绞痛