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