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

定　價(jià)：￥38.00

作　者：	路輝編著
出版社：	機(jī)械工業(yè)出版社
叢編項(xiàng)：
標(biāo)　簽：	人工智能

購買這本書可以去

ISBN：	9787111341147	出版時(shí)間：	2011-07-01	包裝：	平裝
開本：	16開	頁數(shù)：	175	字?jǐn)?shù)：

內(nèi)容簡介

　　自動(dòng)測試系統(tǒng)作為設(shè)備可靠運(yùn)行的必要保證，在航空、航天、汽車、船舶等領(lǐng)域得到了廣泛應(yīng)用。測試描述語言作為自動(dòng)測試系統(tǒng)的核心，是體現(xiàn)一個(gè)國家自動(dòng)測試技術(shù)發(fā)展水平的關(guān)鍵，是各行各業(yè)關(guān)心的熱點(diǎn)。作者根據(jù)多年從事自動(dòng)測試系統(tǒng)研發(fā)以及測試描述語言研制的經(jīng)驗(yàn)，將目前國內(nèi)外典型的測試描述語言加以整理和介紹，同時(shí)針對各種語言的基本結(jié)構(gòu)和關(guān)鍵技術(shù)進(jìn)行了系統(tǒng)分析，以模型化為主線提出了個(gè)人的一些設(shè)計(jì)思想和理念。最后對多年來科研工作凝練的基于被測設(shè)備模型的測試描述語言進(jìn)行歸納和介紹，并結(jié)合實(shí)際工程項(xiàng)目給出了該語言的應(yīng)用實(shí)例及代碼?！蹲詣?dòng)測試系統(tǒng)測試描述語言》可供電子類、自動(dòng)化類專業(yè)的本科生、研究生和相關(guān)領(lǐng)域的技術(shù)人員閱讀參考，同時(shí)為從事自動(dòng)測試系統(tǒng)及標(biāo)準(zhǔn)化工作的研制單位提供翔實(shí)資料。作者在對各部分內(nèi)容進(jìn)行分析的過程中，盡量地介紹了自己的思想和看法，同時(shí)融入了個(gè)人及相關(guān)人員的研究成果，不僅在測試描述語言研制方面提供技術(shù)支持，同時(shí)也為我國自動(dòng)測試系統(tǒng)的標(biāo)準(zhǔn)化工作提供借鑒。

作者簡介

暫缺《自動(dòng)測試系統(tǒng)測試描述語言》作者簡介

圖書目錄

序
前言
第1章緒論
    1.1 自動(dòng)測試系統(tǒng)
    1.2 自動(dòng)測試描述語言
    1.3 小結(jié)
    參考文獻(xiàn)
第2章 GOAL
    2.1 GOAL概述
    2.2 語法結(jié)構(gòu)
    2.3 GOAL的其他特性
    2.4 實(shí)例
    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的特點(diǎn)
    6.8 TLBUM的目標(biāo)代碼
    6.9 TLBUM保留字
    6.10 TLBUM實(shí)例
    6.11 TLBUM擴(kuò)展機(jī)制
    6.12 小結(jié)
    參考文獻(xiàn)
附錄中外文名詞對照