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

內(nèi)容概要

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

書籍目錄

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

章節(jié)摘錄

版權(quán)頁：插圖：

編輯推薦

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

圖書封面

評論、評分、閱讀與下載

---

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

---