可信软件基础研究

本书系国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题，从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性进行了深入研究，取得了重要成果和进展。

这是一本深入探讨软件可信性问题的著作，涵盖了国家自然科学基金重大研究计划“可信软件基础研究”的出版成果。本书以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”、“可信软件的构造与验证”、“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题，从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性进行了深入研究，取得了重要成果和进展。 本书首先介绍了项目的概况，包括项目介绍、项目布局和取得的重大进展。接着，详细阐述了国内外研究情况，包括国内外研究现状、发展趋势和领域发展态势。在重大研究成果方面，本书详细介绍了可信网络交易软件系统试验环境与示范应用、多维在线跨语言Calling Network建模及其在可信国家电子税务软件中的实证应用、面向车联网的可信网络应用软件系统试验环境与示范应用、航天嵌入式软件可信性保障集成环境和示范验证与应用、可信软件理论、方法集成与综合实验平台等方面的内容。 在展望部分，本书指出了国内存在的不足和战略需求，并提出了深入研究的设想和建议。最后，本书提供了索引，方便读者查阅。 书评方面，虽然有一篇书评表示从头到尾自嗨，实