计算机软件安全检测技术的方法

　　计算机软件安全检测的流程

　　通常计算机软件安全检测的过程中只要有以下几个流程，首先是为了彻底全面的对计算机软件系统当中可能存在的缺陷予以充分的检测和了解，要对软件设计过程中最小的模块进行进行全面的测试，之后是要严格按照设计的标准和要求对组装的系统进行检测，此外还要对与之相关的体系机构进行全面的检查。其次就是要在做好了上述各项功能工作之后，还要对软件自身的有效性和功能性进行详细科学的检测，最后一点就是要对整个系统进行全面的检测，测试整个软件在各种环境下运行的安全性和可靠性。

　　当前计算机软件安全检测的只要方法

　　首先是形式化的检测。形式化的安全监测实际上就是根据具体的要求来建立软件应有的数学模型，之后通过对应的标准化语言对其进行格式化的说明。形式化的安全监测通常有两种检测方法，一种是模型检测，一种是定量检测。其次就是在模型基础上的静态安全检测。模型安全监测一方面是通过软件行为和结构构建的一种方式，这样也就形成了一个可供测试的模型，这种模型在运行的过程中一方面可以在计算机上实现读取，在工作的过程中，比较常用的模型安全检测方法有两种，一种是有限状态机检测，一种是马尔科夫链检测、再次就是语法检测。语法检测实际上就是技术人员通过技术措施对软件在不同的输入条件下所产生的反应是否相同。四是基于故障注入的软件安全检测。故障注入的安全检测是应用故障分析树与故障数的最小割集来检测的。五是模糊测试和基于属性的测试。基于白盒的模糊测试较传统的模糊测试技术有很大进步，白盒模糊检测方法有效地结合了传统的模糊测试技术和动态测试用例检测技术的优点。六是混合检测技术。能有效地改善静态技术和动态技术检测存在的一些缺陷，从而更好地对计算机软件的安全进行检测。七是基于Web服务的检测技术。它是一种基于识别内容的分布式Web服务器技术。具有语言中立、互动操作性强等优点，能够将复杂的安全检测分解为子安全类型进行处理，以使其可以更有效地应对复杂的安全检测的需要。

　　软件维护的主要类型

　　改正性维护

　　改正性维护是指改正在系统开发阶段已发生而系统测试阶段尚未发现的错误。这方面的维护工作量要占整个维护工作量的17%～21%。所发现的错误有的不太重要，不影响系统的正常运行，其维护工作可随时进行：而有的错误非常重要，甚至影响整个系统的正常运行，其维护工作必须制定计划，进行修改，并且要进行复查和控制。

　　适应性维护

　　适应性维护是指使用软件适应信息技术变化和管理需求变化而进行的修改。这方面的维护工作量占整个维护工作量的18%～25%。由于计算机硬件价格的不断下降，各类系统软件屡出不穷，人们常常为改善系统硬件环境和运行环境而产生系统更新换代的需求；企业的外部市场环境和管理需求的不断变化也使得各级管理人员不断提出新的信息需求。这些因素都将导致适应性维护工作的产生。进行这方面的维护工作也要像系统开发一样，有计划、有步骤地进行。

　　提高软件的可维护性方法

　　建立明确的软件质量目标

　　如果要一个可维护性的程序满足可理解的、可靠的、可测试的、可修改的、可移植的、效率高的和可使用的7个全部的要求，要付出很大的代价，甚至是不显示的。但是可理解性和可测试性以及可理解性和可修改性是相互促进的，而效率和可移植性以及效率和可修改性是相互抵触的。因此，要明确软件所追求的质量目标。

　　使用先进的软件开发技术和工具

　　利用先进的软件开发技术能够大大提高软件质量和减少软件费用，并且稳定性好，容易修改、容易理解，易于测试和调试，因此可维护性好。

　　建立明确的质量保证

　　最有效的方法就是质量保证检查，在软件开发的各个阶段以及软件维护中得到了广泛的应用。