作者：可信软件基础研究项目组
页数：101
出版社：浙江大学出版社
出版日期：2022
ISBN：9787308227599
电子书格式：pdf/epub/txt
内容简介
本书为“中国基础研究报告”丛书《可信软件基础研究》英文版，基于国家自然科学基金重大研究计划“可信软件基础研究”的研究成果写作完成。该重大研究计划以国家关键应用领域中软件可信性问题为主攻目标，针对“软件可信性度量与建模”“可信软件的构造与验证”“可信软件的演化和控制”和“可信环境的构造与评估”等科学问题，从基础理论体系、方法与平台架构、典型应用示范等三方面对软件可信性进行了深入研究，获得了重要成果和进展。
作者简介
可信软件基础研究项目组指导专家组组长为何积丰。何积丰，计算机软件专家，中国科学院院士，华东师范大学软件学院院长、教授、博士生导师。主要从事计算机软件理论及应用研究。
目录
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
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
