计算机软件安全检测技术应用研究.docVIP

计算机软件安全检测技术应用研究 　　摘 要：现代科技的飞速发展使互联网技术得到更好的运用，各种计算机软件几乎作为人们日常所需的必备品。但由于社会的进步，人们对计算机的需求增多，计算机软件技术越来越科学化、人性化，因此在逐渐改革完善过程中能够准确、迅速并且更加智能的达到用户目的。本文重点分析了计算机软件安全监测技术研究。 　　关键词：计算机；搜索引擎；智能化；技术 　　中图分类号：TP311.53 　　计算机软件随着科学技术和网络技术的发展，已经成为人们工作和生活的好帮手，但计算机软件安全问题逐渐增多。计算机软件的安全检测技术保障了计算机软件的安全，以根据相关指令对计算机软件进行安全测试，并有效识别其中存在的安全隐患。为了保证计算机和网络的安全问题，需要对计算机软件进行有效的安全检测。 　　1 计算机软件安全检测 　　计算机软件的安全性直接影响软件的使用程度，所以，在计算机软件的开发中，需要对计算机软件的安全进行检测。发现计算机软件中存在的问题，并及时对计算机软件做相应的调整，降低软件的危险。并通过使用测试手段，保证计算机软件利用率的最大化。计算机软件安全检测方法并不能够避免计算机软件中的错误和漏洞，而是通过一种检查的方式，掌握计算机软件中的错误漏洞和对软件的防范入侵能力的提高，是一种安全监测的做法。同时，计算机软件安全检测也包含了软件功能是否能够达到预期效果。 　　1.1 软件测试的内容 　　在计算机软件的安全监测当中，其主要检测内容为漏洞与软件功能等方面，通过对计算机内部存在的安全漏洞与隐患进行检测分析，随后将具有风险的因素进行排查。 　　1.2 危害程度 　　计算机软件的安全隐患有时并不会影响到用户的使用，只是软件的一种隐患。但计算机软件的安全隐患如果暴露，会给用户使用的软件带来严重的安全问题，甚至会引发计算机系统的故障。 　　1.3 软件的修复方式 　　软件的安全问题监测出后，需要对软件进行相应的解决措施，例如，修复软件漏洞补丁或将软件升级。对于危险性相对小的软件问题，可以在软件升级中修补缺陷。 　　2 计算机软件的检测方法 　　计算机安全系统可以对信息系统进行保密措施，拥有完整性和实用性，进而保障了计算机软件的安全问题，所以计算机安全是一个非常复杂的系统。在软件运行过程中，操作失误和装置失误，都会引起计算机软件错误。 　　计算机的配置、系统、应用程序、网络设施等都会存在一定的安全问题，其主要分为自身配置问题和软件缺陷问题。 　　自身配置问题是软件的编程和操作时在访问时出现的错误造成的。 　　软件缺陷又分为与软件自身有关的缺陷和无关软件缺陷两种。有关的软件缺陷是软件自身的安全问题，可能是软件自身在变成的过程中存在的系统漏洞，或者是编写程序出现的错误引起；无关软件缺陷的错误是与软件安全无关的其他操作程序在运行过程中由于相互抵制所出现的软件缺陷，缺陷一旦发生，将会严重影响系统的安全性能[1]。 　　3 计算机软件安全检测技术研究 　　3.1 形式化检测法 　　形式化检测法是以模型检查和模型定理为具体的检查方法。此检测法建立起软件模型，再次模型基础上，运用形式化和格式化的语言，构成了一种说明的形式，这种检测方法主要针对模型的语言、有效状态语言和计算机行为语言的三种形式化的语言。 　　3.2 以模型为核心的功能检测方法 　　计算机软件行为以结构建模相结合，组成了一种测试性模型，这种测试性模型具有可读性功能，为计算机监测方法提供方便。以模型为核心的功能检测方法和形式化安全检测方法对比显示，以模型为核心的功能检测方法是将系统模型中的测试数据，进行软件系统测试，获得数据信息后，表明该软件的信息与模型信息一致。 　　3.3 混合检测法 　　混合检测技术是将计算机形式化检测技术和模型检测技术混合的一种检测技术。即拥有形式化检测技术的测试模型检测方法，又包含运行环境的分析，并且克服了静态监测技术和动态检测技术中存在的一定问题[3]。 　　3.4 语法检测法 　　语法检测是使用计算机语法对软件接口的语法进行测试，在不同的条件下输入语法对软件进行测试，会产生不同的反应。这种检测方法一般只检测源程序中存在的安全隐患，再通过对软件接口语言的识别，定义语言的语法，并在语法的基础上产生测试用例，对软件进行安全检测[4]。 　　3.5 模糊式检测 　　传统的测试方法与模型检测方法相融合，将传统检测技术提高。尽管这种检测方法相对简单，但是也能够将大部分程序错误检测出来，并能够做到对错误模式验证。 　　3.6 属性检测法 　　属性检测方法是将软件的属性与其他软件进行共同检测对比，掌握被检测软件对计算机产生的系统安全问题进行分析。使用属性检测方法时，需要对软件的相关条例进行了解，将相关条例作为