The Fundamental Research for Trustworthy Software(可信软件基础研究)

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

Chapter 1 Project Overview 1.1 Introduction 1.1.1 Overall Scientific Objectives 1.1.2 Key Scientific Issues 1.2 Project Layout 1.2.1 Project Deployment 1.2.2 Comprehensive Integration 1.2.3 Interdisciplinary Efforts 1.3 Significant Progress Chapter 2 Research in China and Abroad 2.1 Research Status 2.2 Research Trends 2.3 Research Focuses Chapter 3 Major Research Achievements 3.1 Test Environment and Demonstration Applications for Trustworthy Online Transaction Software Systems 3.1.1 Major Innovations 3.1.2 Research Level and Outstanding Contributions 3.2 Modeling of the Multidimensional Online Cross-Language Calling Network and Its Empirical Application in Trustworthy National Electronic Tax Software 3.2.1 Major Innovations 3.2.2 Research Level and Outstanding Contributions 3.3 Test Environment and Demonstration Applications for IoV-Oriented Trustworthy Online Application Software Systems 3.3.1 Major Innovations 3.3.2 Research Level and Outstanding Contributions 3.4 Trustworthiness Guarantee Integrated Environment of Aerospace Embedded Software and Its Demonstration Applications and Verification 3.4.1 Major Innovations 3.4.2 Research Level and Outstanding Contributions 3.5 Trustworthy Software Theory, Method Integration, and Comprehensive Test Platform 3.5.1 Major Innovations 3.5.2 Research Level and Outstanding Contributions Chapter 4 Outlook 4.1 Chinas Research Inadequacies and Strategic Needs 4.1.1 Research Inadequacies 4.1.2 Strategic Needs 4.2 Conceptions and Suggestions for Further Research 4.2.1 Conceptions for Further Research 4.2.2 Suggestions for Further Research References Index