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

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