航天器自動化測試語言及系統(tǒng)

內容概要

本書是作者及其研究團隊從事航天器自動化測試與測試語言研究的成果總結和提高，從航天器自動化測試系統(tǒng)的體系結構、測試語言模型、信息化關鍵技術與應用示范等方面，闡述了航天器自動化測試與測試語言的主要理論和技術。本書共分五篇。第一篇介紹航天器自動化測試及自動化測試系統(tǒng)，并討論新一代網(wǎng)絡化航天器自動化測試系統(tǒng)的應用需求與技術需求，從而引出航天器測試語言研究的必要性。第二篇綜述航天器測試語言及其發(fā)展，介紹測試語言研究發(fā)展的脈絡、重點與趨勢。第三篇介紹用于預先研究的網(wǎng)絡化航天器測試語言catol及其原型系統(tǒng)框架。第四篇討論catol的支撐環(huán)境及其航天器測試資源管理方法。第五篇就網(wǎng)絡化航天器自動化測試與測試語言的發(fā)展方向進行了分析和展望。
本書可供國防科研機構和高等院校計算機、航空航天、電子、通信等相關專業(yè)科研人員、教師和研究生閱讀，也可作為相關領域科研工作者的參考書籍。

書籍目錄

第一篇 航天器自動化測試系統(tǒng)
 第1章 航天器自動化測試
 1.1 航天器測試
 1.2 航天器自動化測試系統(tǒng)
 1.3 航天器自動化測試系統(tǒng)的發(fā)展
 第2章 基于先進計算和網(wǎng)絡技術的航天器自動化測試系統(tǒng)
 2.1 abbet
 2.2 中間件技術
 2.3 soa技術
 2.4 新一代網(wǎng)絡化航天器自動化測試系統(tǒng)框架
 參考文獻
第二篇 航天器測試語言及其發(fā)展
 第3章 面向測試過程的國外航天器測試語言研究
 3.1 etol
 3.2 stol
 3.3 tcl／tk
 第4章 面向測試人員的國外航天器測試語言研究
 4.1 goal背景
 4.2 goal目標和特征
 4.3 goal語言結構
 4.4 goal語句
 第5章 面向測試信號的國外航天器測試語言研究
 5.1 atlas
 5.2 atlas 2000
 第6章 航天器測試語言研究總結與展望
 6.1 語言比較與特色總結
 6.2 我國航天器測試語言發(fā)?展望
 參考文獻
第三篇 航天器測試語言系統(tǒng)框架
 第7章 catol語言模型
 7.1 catol的總體結構和特征
 7.2 航天器測試流程語言定義
 第8章 catol編輯環(huán)境
 第9章 catol執(zhí)行環(huán)境
 第10章 catol總結分析環(huán)境
第四篇 航天器測試語言支撐環(huán)境及其應用
 第11章 基本測試過程服務模型及應用
 第12章 測試數(shù)據(jù)服務模型及應用
 第13章 測試設備資源模型及應用
 第14章 航天器測試文檔模型及應用
 第15章 航天器自動化測試本體
第五篇 航天器自動化測試與測試語言的發(fā)展方向
 第16章 航天器自動化測試與測試語言的發(fā)展方向
 參考文獻

章節(jié)摘錄

版權頁：插圖：

編輯推薦

《航天器自動化測試語言及系統(tǒng)》是由國防工業(yè)出版社出版的。

圖書封面

評論、評分、閱讀與下載

---

    航天器自動化測試語言及系統(tǒng) PDF格式下載

---