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

第一篇 航天器自動(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)