工业控制系统的软件可信属性验证（2）

最新推荐文章于 2022-10-17 19:57:20 发布

想要毕业的研究生

最新推荐文章于 2022-10-17 19:57:20 发布

阅读量667

点赞数

分类专栏：工控可信验证

本文链接：https://blog.csdn.net/qq_28212051/article/details/79738868

版权

本文探讨了可信软件的分析技术，包括软件的可用性、可靠性、安全性、可维护性和完整性的度量方法。重点介绍了故障诊断、安全测试、静态分析、动态分析等技术，以及验证和确认在软件开发中的作用。文章提到了一些新兴的分析工具和理论，如分离逻辑、代数符号计算和基于满足性判定的并发软件验证策略。

摘要由CSDN通过智能技术生成

细分的领域属于可信软件，可信软件的分析与测试是一系列的有软件分析计算支撑起来的新技术。这篇文章主要介绍的是可信软件的分析技术，本文定义的软件可信属性与可信计算组织定义的有一些出入，但是方法是相通的。

可信软件分析与测试研究进展

广义地讲，软件可信属性包含的特征属性有可用性（availability）、可靠性（reliability）、安全性（security）、可维护性（maintainability）、完整性（integrity）等。

目前提高软件可用性的技术途径有软件系统的可靠性和可维护性理论和方法、故障诊断与测试技术、系统恢复技术等[software reliability engineering,M]。目前，提高软件可靠性的技术途径有避错法和容错法等，该文献对这两种方法作了详细的阐述。

对于失效安全性测试（safety），常用的测试方法有基于故障树的测试和基于最小割集的测试[software security testing]，目前都取得了较好的效果。

对于保密安全（security）性测试，目前主要有静态分析、形式化方法、故障注入、语法测试、模糊测试、基于模型的测试、基于属性的测试等测试方法。在文献[software security testing][web application security assessment by fault injection and behavior monitoring][risk analysis in software design]中分别对这些测试方法的特点作了一一介绍，并且分析了各种方法的优缺点与适用范围，指出了软件安全性测试技术未来的发展方向。</