安全检测软件工程毕业设计【2018年极具参考价值毕业设计首发】.doc_软件工程毕业设计资源-CSDN文库

127 浏览量 2023-07-12 22:24:56 上传评论收藏 27KB DOC 举报

资源推荐

资源详情

资源评论

2017-2018 年度获奖文档首发！

安全检测软件工程毕业设计【2018 年极具参考价值毕业设计首发】

【注意：本文为 2017-2018 年度最新文档，极具参考价值，如果对您有帮助请打

赏，谢谢！】

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

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

通常计算机软件安全检测的过程中只要有以下几个流程，首先是为了彻底全面

的对计算机软件系统当中可能存在的缺陷予以充分的检测和了解，要对软件设计

过程中最小的模块进行进行全面的测试，之后是要严格按照设计的标准和要求对

组装的系统进行检测，此外还要对与之相关的体系机构进行全面的检查。其次就

是要在做好了上述各项功能工作之后，还要对软件自身的有效性和功能性进行详

细科学的检测，最后一点就是要对整个系统进行全面的检测，测试整个软件在各

种环境下运行的安全性和可靠性。

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

首先是形式化的检测。形式化的安全监测实际上就是根据具体的要求来建立软

件应有的数学模型，之后通过对应的标准化语言对其进行格式化的说明。形式化

的安全监测通常有两种检测方法，一种是模型检测，一种是定量检测。其次就是

在模型基础上的静态安全检测。模型安全监测一方面是通过软件行为和结构构建

的一种方式，这样也就形成了一个可供测试的模型，这种模型在运行的过程中一

方面可以在计算机上实现读取，在工作的过程中，比较常用的模型安全检测方法

有两种，一种是有限状态机检测，一种是马尔科夫链检测、再次就是语法检测。

语法检测实际上就是技术人员通过技术措施对软件在不同的输入条件下所产生的

反应是否相同。四是基于故障注入的软件安全检测。故障注入的安全检测是应用

本内容试读结束，登录后可阅读更多

下载后可阅读完整内容，剩余3页未读，立即下载

内容反馈

黑色的迷迭香

粉丝: 729
资源: 4万+

最新资源

资源上传下载、课程学习等过程中有任何疑问或建议，欢迎提出宝贵意见哦~我们会及时处理！点击此处反馈

feedback-tip