太空飛行器自動化測試語言及系統

內容簡介

本書是作者及其研究團隊從事太空飛行器自動化測試與測試語言研究的成果總結和提高，從太空飛行器自動化測試系統的體系結構、測試語言模型、信息化關鍵技術與套用示範等方面，闡述了太空飛行器自動化測試與測試語言的主要理論和技術。

本書共分五篇。第一篇介紹太空飛行器自動化測試及自動化測試系統，並討論新一代網路化太空飛行器自動化測試系統的套用需求與技術需求，從而引出太空飛行器測試語言研究的必要性。第二篇綜述太空飛行器測試語言及其發展，介紹測試語言研究發展的脈絡、重點與趨勢。第三篇介紹用於預先研究的網路化太空飛行器測試語言catol及其原型系統框架。第四篇討論catol的支撐環境及其太空飛行器測試資源管理方法。第五篇就網路化太空飛行器自動化測試與測試語言的發展方向進行了分析和展望。

本書可供國防科研機構和高等院校計算機、航空航天、電子、通信等相關專業科研人員、教師和研究生閱讀，也可作為相關領域科研工作者的參考書籍。

圖書目錄

第一篇太空飛行器自動化測試系統

第1章太空飛行器自動化測試

1.1 太空飛行器測試

1.2 太空飛行器自動化測試系統

1.3 太空飛行器自動化測試系統的發展

第2章基於先進計算和網路技術的太空飛行器自動化測試系統

2.1 abbet

2.2 中間件技術

2.3 soa技術

2.4 新一代網路化太空飛行器自動化測試系統框架

參考文獻

第二篇太空飛行器測試語言及其發展

第3章面向測試過程的國外太空飛行器測試語言研究

3.1 etol

3.2 stol

太空飛行器自動化測試語言及系統

基本介紹

內容簡介

圖書目錄

熱門詞條