浅议计算机软件安全检测技术

《浅议计算机软件安全检测技术》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、浅议计算机软件安全检测技术　　摘要：电子信息技术的飞速发展，使我国已经走向信息化道路。但是在电子计算机技术的发展过程中，计算机软件的安全也受到了人们的高度重视。组我诶计算机软件安全的基础，软件安全检测技术能够针对相关指标来检测软件安全情况，能够对潜在的安全隐患进行识别等。因此，本文主要针对计算机软件安全检测的注意事项，提出了计算机软件安全检测的流程与方法，以此有助于我国计算机软件安全得到积极的保障。　　关键词：计算机软件安全检测技术检测流程与方式　　中图分类号：TP393.08文献标识码：A文章编号：1007-9416（2016）05-00

2、00-00　　作为一种科学的技术与手段，计算机软件安全检测技术能够针对软件开发与运用过程中的问题进行检测，然后对其进行修改。所以，计算机软件安全检测技术对计算机发展起着重要的作用。所以，笔者主要针对这一内容进行研究与分析，并提出了合理的建议，从而能够促进我国计算机软件得到积极的发展。　　1计算机软件安全检测应注意的问题5　　作为一种动态的检测过程，计算机软件安全检测应该注意几个问题。首先，应该对检测方案进行合理的选择，尽量选择科学、有效的安全检测方案。并且应该事先了解与掌握计算机软件的要求与属性，在此基础上针对测试的具体情况，对合理的检测手

3、段加以利用，然后还要制定相应的安全检测方案，从而能够使安全检测方案具有有效性。其次，应该积极检测计算机软件的安全性，不仅要发挥计算机软件安全测试人员的积极作用，还需要掌握此软件特点与使用方式人员的帮助，只要相关技术人员能够进行密切配合，能够使计算机软件的安全性得到一定的保证[1]。最后，在检测计算机软件安全性的过程中，应该从全面分析的角度出发，对代码级、需求级与系统级进行仔细分析，然后针对实际需求，不同的层级应该借助不同的技术手段，才能使分析结果的正确性得到充分地保证。因此，只有在计算机软件安全的检测过程中，注意以上问题的解决，能够使计算机

4、软件安全得到积极的保障。　　2计算机软件安全检测流程与方式　　2.1检测流程5　　一般情况下，计算机软件安全的检测，对于规模较大的计算机软件来说，包含了很多子系统，而且这些子系统之中也有很多不同的模块。通常情况下，计算机软件安全的检测，主要通过模块检测，然后进行组装系统，借助系统结构的安全检验，再进行软件功能与性能的检测，最后实施系统测试等。作为子系统中的最小单位的测试，模块检测是要保证测试覆盖范围的全面性与细节性，能够将小模块中的风险积极发现。各个模块的测试完成以后，还要针对软件程序的要求，组装所有模块，使之成为完整的系统，与此同时还要检

5、测组装完毕的系统结构安全。另外，如果上述检测内容都合格的情况下，还要测试系统软件的功能与性能，以此能够实现系统软件功能与性能能够符合用户的需求等。最后，所有检测完成以后，应该对整个软件精心系统测试。这样的层层把关，能够积极保证用户软件的安全性[2]。　　2.2检测方式　　2.2.1安全静态检测手段　　所谓安全检测方式，主要以模型为基础，借助软件行为，结构建模等形式，使测试模型得以形成，这一模型能够实现机器对其的可读性。这一检测方式与其他检测方式相比，能够在模型生成过程中进行系统化的测试，借助这种测试形式能够体现出待测系统的行为与期望的模型具

6、有一致性。通常情况下，这种检测方式主要有有限状态机遇马尔科夫链等方式。　　2.2.2语法检测　　所谓语法检测，主要是借助语法的作用，检测生成功能接口的软件。这种检测形式主要是为了研究反映，也就是在不同的输入情况下，计算机软件出现不同类型的反映。借助语法检测方式，通常是要识别计算机软件接口处语言，定义语言语法等，而且还要以语法为基础，将检测用例生产出来，还能同时进行安全检测等[3]。　　2.2.3形式化检测　　形式化的安全检测，主要是考虑到计算机软件主要是以数学模型为基础，而且还要以形式规格语言的支持为基础，能够提供出形式化的规格说明。当前常

7、见的形式规格语言主要有三种类型，主要是行为语言、模型语言以及有效状态语言等，而检测方式主要有定理证明、以模型检查为基础的正式安全检测手段等。　　2.2.4以故障注入为基础的安全检测5　　对于这种检测的方式来说，通过实践经验证明，具有一定的优势，可以实现安全检测自动化程度的提升，作为计算机软件安全检测的重要手段。所谓故障注入式检测，就是基于故障模型的选定，将故障树构建起来，然后借助人为的反复测试，或者根据软件反馈的信息等，能够使检测故障容错性与安全性的有效信息得以呈现出来。　　2.2.5安全属性式检测　　这种检测方式与其他检测方式相比，可以全

8、面分析安全漏洞的扩展与交互发展。通过借助安全属性式的检测手段来测试，首先应该对计算机软件的安全编程规则进行合理确定，然后再让它当做安全检测的安全属性；再借助得到的安全属性，检测系