《可信的網路套用軟體系統試驗驗證環境預先研究》是依託北京航空航天大學，由胡春明擔任項目負責人的重大研究計畫。
基本介紹
- 中文名：可信的網路套用軟體系統試驗驗證環境預先研究
- 依託單位：北京航空航天大學
- 項目負責人：胡春明
- 項目類別：重大研究計畫
- 批准號：91018004
- 申請代碼：F0203
- 負責人職稱：副教授
- 研究期限：2011-01-01 至 2011-12-31
- 支持經費：50（萬元）
項目摘要
隨著網際網路技術和套用規模發展，網路化軟體逐漸向集中運營服務模式演進，如何實現網路化軟體的可信屬性描述、軟體可信集成、環境行為可信監控與運行可信保障已經成為網路化軟體可信運行所面臨的核心科學問題。本項目將圍繞可信的網路套用軟體系統試驗驗證環境項目的集成性研究需求，面向電子商務、雲計算等新興網際網路套用模式，以核高基、中國雲等國家重大科技與工程任務為載體，充分借鑑和吸收基金委可信基礎軟體已有研究成果，開展網路化軟體可信性建模與度量方法、網路化軟體的可信集成機制、網路化軟體試驗驗證環境的可信追溯和可信確保技術等的預先研究，最終形成可信的網路套用軟體系統試驗驗證環境實施方案與技術原型，通過Web Hosting等典型電子商務場景進行初步套用驗證，為下一階段本重大研究計畫研製開發可信的網路套用軟體系統的試驗驗證環境的實際成效奠定基礎。
