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

第一篇 航天器自動(dòng)化測試系統(tǒng)
第1章 航天器自動(dòng)化測試
1.1 航天器測試
1.1.1 航天器測試技術(shù)發(fā)展的三個(gè)階段
1.1.2 航天器測試技術(shù)發(fā)展現(xiàn)狀
1.1.3 航天器自動(dòng)化測試技術(shù)
1.2 航天器自動(dòng)化測試系統(tǒng)
1.2.1 航天器自動(dòng)化測試分析
1.2.2 航天器自動(dòng)化測試系統(tǒng)層次結(jié)構(gòu)
1.2.3 航天器自動(dòng)化測試系統(tǒng)總體架構(gòu)
1.2.4 航天器自動(dòng)化測試系統(tǒng)數(shù)據(jù)流
1.2.5 航天器自動(dòng)化測試系統(tǒng)運(yùn)行結(jié)構(gòu)
1.2.6 航天器自動(dòng)化測試系統(tǒng)的功能
1.3 航天器自動(dòng)化測試系統(tǒng)的發(fā)展
1.3.1 航天器測試模式的轉(zhuǎn)變
1.3.2 多航天器批產(chǎn)測試機(jī)制
第2章 基于先進(jìn)計(jì)算和網(wǎng)絡(luò)技術(shù)的航天器自動(dòng)化測試系統(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)化測試系統(tǒng)框架
參考文獻(xiàn)
第二篇 航天器測試語言及其發(fā)展
第3章 面向測試過程的國外航天器測試語言研究
3.1 ETOL
3.1.1 背景
3.1.2 功能
3.1.3 語言結(jié)構(gòu)
3.1.4 語句
3.2 STOL
3.2.1 分布式語言解析器
3.2.2 程序解釋器
3.2.3 語言結(jié)構(gòu)
3.2.4 程序文件執(zhí)行
3.2.5 流程環(huán)境
3.3 TCL／TK
3.3.1 背景
3.3.2 測試語句
第4章 面向測試人員的國外航天器測試語言研究
4.1 GOAL背景
4.2 GOAL目標(biāo)和特征
4.3 GOAL語言結(jié)構(gòu)
4.4 GOAL語句
4.4.1 聲明語句
4.4.2 過程語句
4.4.3 系統(tǒng)語句
第5章 面向測試信號的國外航天器測試語言研究
第6章 航天器測試語言研究總結(jié)與展望
參考文獻(xiàn)
第三篇 航天器測試語言系統(tǒng)框架
第7章 CATOL語言模型
第8章 CATOL編輯環(huán)境
第9章 CATOL執(zhí)行環(huán)境
第10章 CATOL總結(jié)分析環(huán)境
參考文獻(xià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)化測試本體
參考文獻(xiàn)
第五篇 航天器自動(dòng)化測試與測試語言的發(fā)展方向
第16章 航天器自動(dòng)化測試與測試語言的發(fā)展方向
參考文獻(xiàn)