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

定　價(jià)：￥48.00

作　者：	馬世龍，余丹著
出版社：	國(guó)防工業(yè)出版社
叢編項(xiàng)：
標(biāo)　簽：	航天

購(gòu)買這本書(shū)可以去

ISBN：	9787118070958	出版時(shí)間：	2011-02-01	包裝：	平裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：	254	字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

暫缺《航天器自動(dòng)化測(cè)試語(yǔ)言及系統(tǒng)》作者簡(jiǎn)介

圖書(shū)目錄

第一篇航天器自動(dòng)化測(cè)試系統(tǒng)
第1章航天器自動(dòng)化測(cè)試
1.1 航天器測(cè)試
1.1.1 航天器測(cè)試技術(shù)發(fā)展的三個(gè)階段
1.1.2 航天器測(cè)試技術(shù)發(fā)展現(xiàn)狀
1.1.3 航天器自動(dòng)化測(cè)試技術(shù)
1.2 航天器自動(dòng)化測(cè)試系統(tǒng)
1.2.1 航天器自動(dòng)化測(cè)試分析
1.2.2 航天器自動(dòng)化測(cè)試系統(tǒng)層次結(jié)構(gòu)
1.2.3 航天器自動(dòng)化測(cè)試系統(tǒng)總體架構(gòu)
1.2.4 航天器自動(dòng)化測(cè)試系統(tǒng)數(shù)據(jù)流
1.2.5 航天器自動(dòng)化測(cè)試系統(tǒng)運(yùn)行結(jié)構(gòu)
1.2.6 航天器自動(dòng)化測(cè)試系統(tǒng)的功能
1.3 航天器自動(dòng)化測(cè)試系統(tǒng)的發(fā)展
1.3.1 航天器測(cè)試模式的轉(zhuǎn)變
1.3.2 多航天器批產(chǎn)測(cè)試機(jī)制
第2章基于先進(jìn)計(jì)算和網(wǎng)絡(luò)技術(shù)的航天器自動(dòng)化測(cè)試系統(tǒng)
2.1 ABBET
2.1.1 ABBET概述
2.1.2 ABBET層次結(jié)構(gòu)圖
2.1.3 ABBET框架
2.1.4 ABBET體系結(jié)構(gòu)
2.2 中間件技術(shù)
2.2.1 中間件技術(shù)概述
2.2.2 中間件結(jié)構(gòu)
2.3 SOA技術(shù)
2.3.1 SOA技術(shù)概述
2.3.2 SOA模型
2.4 新一代網(wǎng)絡(luò)化航天器自動(dòng)化測(cè)試系統(tǒng)框架
參考文獻(xiàn)
第二篇航天器測(cè)試語(yǔ)言及其發(fā)展
第3章面向測(cè)試過(guò)程的國(guó)外航天器測(cè)試語(yǔ)言研究
3.1 ETOL
3.1.1 背景
3.1.2 功能
3.1.3 語(yǔ)言結(jié)構(gòu)
3.1.4 語(yǔ)句
3.2 STOL
3.2.1 分布式語(yǔ)言解析器
3.2.2 程序解釋器
3.2.3 語(yǔ)言結(jié)構(gòu)
3.2.4 程序文件執(zhí)行
3.2.5 流程環(huán)境
3.3 TCL／TK
3.3.1 背景
3.3.2 測(cè)試語(yǔ)句
第4章面向測(cè)試人員的國(guó)外航天器測(cè)試語(yǔ)言研究
4.1 GOAL背景
4.2 GOAL目標(biāo)和特征
4.3 GOAL語(yǔ)言結(jié)構(gòu)
4.4 GOAL語(yǔ)句
4.4.1 聲明語(yǔ)句
4.4.2 過(guò)程語(yǔ)句
4.4.3 系統(tǒng)語(yǔ)句
第5章面向測(cè)試信號(hào)的國(guó)外航天器測(cè)試語(yǔ)言研究
第6章航天器測(cè)試語(yǔ)言研究總結(jié)與展望
參考文獻(xiàn)
第三篇航天器測(cè)試語(yǔ)言系統(tǒng)框架
第7章 CATOL語(yǔ)言模型
第8章 CATOL編輯環(huán)境
第9章 CATOL執(zhí)行環(huán)境
第10章 CATOL總結(jié)分析環(huán)境
參考文獻(xiàn)
第四篇航天器測(cè)試語(yǔ)言支撐環(huán)境及其應(yīng)用
第11章基本測(cè)試過(guò)程服務(wù)模型及應(yīng)用
第12章測(cè)試數(shù)據(jù)服務(wù)模型及應(yīng)用
第13章測(cè)試設(shè)備資源模型及應(yīng)用
第14章航天器測(cè)試文檔模型及應(yīng)用
第15章航天器自動(dòng)化測(cè)試本體
參考文獻(xiàn)
第五篇航天器自動(dòng)化測(cè)試與測(cè)試語(yǔ)言的發(fā)展方向
第16章航天器自動(dòng)化測(cè)試與測(cè)試語(yǔ)言的發(fā)展方向
參考文獻(xiàn)