自動測試系統(tǒng)測試描述語言

序
前言
第1章 緒論
    1.1 自動測試系統(tǒng)
    1.2 自動測試描述語言
    1.3 小結(jié)
    參考文獻(xiàn)
第2章 GOAL
    2.1 GOAL概述
    2.2 語法結(jié)構(gòu)
    2.3 GOAL的其他特性
    2.4 實例
    2.5 GOAL全集
    2.6 小結(jié)
    參考文獻(xiàn)
第3章 ATLAS
    3.1 ATLAS及測試程序簡介
    3.2 完整的ATLAS測試程序
    3.3 ATLAS關(guān)鍵詞和級別
    3.4 ATLAS測試程序結(jié)構(gòu)分析
    3.5 ATLAS基本語句
    3.6 小結(jié)
    參考文獻(xiàn)
第4章 STD61
    4.1 基于STD的信號模型
    4.2 信號模型語言
    4.3 基本信號組件層
    4.4 測試信號框架層
    4.5 測試程序語言層
    4.6 小結(jié)
    參考文獻(xiàn)
第5章 ATML
    5.1 引言
    5.2 體系結(jié)構(gòu)
    5.3 優(yōu)勢及應(yīng)用
    5.4 公共資源
    5.5 信號資源
    5.6 UUT資源
    5.7 儀器資源
    5.8 測試適配器資源
    5.9 ICA資源
    5.10 TPS資源
    5.11 測試結(jié)果
    5.12 小結(jié)
    參考文獻(xiàn)
第6章 基于被測設(shè)備模型的測試語言
    6.1 引言
    6.2 測試系統(tǒng)模型化
    6.3 測試流程的基本操作語義
    6.4 測試方案描述語言
    6.5 基于UUT的測試描述語言
    6.6 TLBUM的語言規(guī)范
    6.7 TLBUM的特點
    6.8 TLBUM的目標(biāo)代碼
    6.9 TLBUM保留字
    6.10 TLBUM實例
    6.11 TLBUM擴展機制
    6.12 小結(jié)
    參考文獻(xiàn)
附錄 中外文名詞對照