摘要：近年来，信息技术以日新月异的速度飞速发展，给人们的生活和工作带来了极大的转变，随着计算机的影响范围越来越广，积极加强计算机安全防护势在必行。在这一过程中，相关领域工作人员必须明确计算机软件安全检测中的注意事项，并掌握计算机软件安全检测流程和科学的技术方法，才能够从根本上提升计算机软件安全检测技术的实用性。
关键词：计算机软件；安全检测；技术
一、计算机软件安全检测中的注意事项
（一）检测方案确定。技术人员在设计计算机软件的过程中，必须首先对其特性以及相关设计客观要求进行明确，只有这样才能够构建合理的、过程科学的检测原理和方法，与此同时，检测方案还必须针对不同的计算机应用环境而制定，在对检测方案进行规范的基础上，严格执行检测方法，才能够产生可靠的检测结果[1]。并且，相关工作人员在日常工作中，必须拥有丰富的软件安全检测知识和技术，在大量实践的基础上，总结经验教训，才能够提升安全检测的质量。（二）注重分析工作的开展。值得注意的是，在展开软件安全检测工作的时候，需要经历一个复杂而繁琐的过程，越丰富的软件内容，其结构特点也更加复杂，此时要想提升安全检测质量，必须经历一个大量的分析过程，分析工作难度较高，在这种情况下，必须依据实际检测需求，分析需求级、系统级以及代码级等需求，在产生分析结果以后，还应当对结果的准确性进行分析，此时应科学的选择分析手段。也就是说，在进行计算机软件安全检测的过程中，存在两个必不可少的要素，即科学的检测方案和分析。
二、计算机软件安全检测技术
（一）计算机软件安全检测流程。不同的计算机软件安全检测系统中，都包含了较多的模块，如果拥有较大的软件规模，此时系统架构也将更大。通常情况下，在计算机软件安全检测的过程中，需要经历一系列环节，如系统结构安全检测、模块测试以及软件功能和性能等，而安全检测系统中的各个模块在运行中，负责不同检测项目，最终完成整体的软件性能检测[2]。在对模块化结构进行应用的过程中，更应当进行精细化的检测，扩大检测范围，从而实现对软件中安全风险的全面掌握，对整个软件的安全程度进行评价。在接下来的检测过程中，应从软件使用者的需求入手，有效测试软件的功能，最终完成系统的软件测试。（二）计算机软件安全检测技术方法。第一，形式化安全检测。该方法指的是在测试软件安全性的过程中，需要从软件数学模型的层面出发，并综合应用与之相适应的配套形式语言。目前，有效状态语言、模型语言等是典型的形式语言。第二，模型安全静态检测。在用该技术进行检测的过程中，需要明确软件结构以及软件行为之间的联系，有针对性的对测试模型进行构建，计算机能够有效读取该模型，并利用这一模型展开软件安全性测试，接下来会对模型测试结果以及目标软件测试结果进行对比，掌握二者之间的相似性，从而完成软件安全检测。第三，故障注入式安全检测。近年来，自动化已经成为软件安全检测领域发展中的重要趋势，在展开故障注入式安全检测的过程中，应当首先对故障模型进行构建，并在此基础上对故障树进行构建，在展开测试工作的过程中，需要以人工方式为主，接下来详细分析测试结果，最终对安全性、容错性在模板软件故障中的体现进行充分的掌握[3]。第四，模糊式检测方法。有效结合传统检测和动态检测技术的基础上，就生成了模糊式检测方法。该方法在使用过程中，具有较强的便捷性，同时能够在现实世界中软件的错误模式进行确定，根据安全漏洞状况，发出警告。
结束语
综上所述，计算机软件安全检测工作中，必须严格遵守检测程序，并系统应用科学的检测技术，才能够提升检测工作质量。近年来，计算机软件在应用过程中，屡次出现各种各样的安全问题，这不仅影响各个领域的正常运行，同时也一定程度上威胁着人们的利益。在这种情况下，计算机软件技术人员应提高对软件安全性的重视，并在实践中不断总结经验，创新计算机软件安全检测技术，不断的促进我国计算机软件安全事业的健康发展。
参考文献
[1]陈伽,蔡映雪,胡辉,等.计算机软件安全检测技术及其应用实践研究[J].无线互联科技,2016(6):50-51.
[2]李梅.基于计算机技术发展基础上的计算机软件安全检测技术[J].电脑知识与技术,2016,12(16):58-59.
[3]郑思丽.计算机软件中安全漏洞检测技术及其应用[J].计算机光盘软件与应用,2014(16):170-172.
作者：许满英
相关专题：兰州新闻物流商会捐物 中国中产阶级标准
