3.1.7　基于自定義形式化測(cè)試描述語(yǔ)言

除了對(duì)上述已有的形式化方法的研究外，在自定義語(yǔ)言的研究方面，國(guó)內(nèi)外也已取得眾多研究成果。由于腳本技術(shù)的引入是實(shí)現(xiàn)測(cè)試自動(dòng)化的重要支撐，因此這些基于自定義語(yǔ)言的形式化方法，大多是針對(duì)特定測(cè)試系統(tǒng)或工具的專用腳本語(yǔ)言。常用測(cè)試腳本技術(shù)如表3-2所示。

表3-2　常用測(cè)試腳本技術(shù)總結(jié)

美國(guó)噴氣推進(jìn)實(shí)驗(yàn)室采用擴(kuò)展的Tcl/Tk作為測(cè)試腳本語(yǔ)言，通過(guò)腳本可以模擬整個(gè)飛行器壽命內(nèi)的大部分功能，通過(guò)上層圖形化的開發(fā)環(huán)境加載測(cè)試腳本，下載到網(wǎng)絡(luò)節(jié)點(diǎn)（子系統(tǒng)），各測(cè)試腳本在各自的節(jié)點(diǎn)上通過(guò)腳本解釋器完成相應(yīng)功能的仿真測(cè)試。但這個(gè)環(huán)境的實(shí)時(shí)性較差，無(wú)法控制時(shí)間特性，只能進(jìn)行功能模擬，而且是一個(gè)分布式系統(tǒng)，是一個(gè)半自動(dòng)的測(cè)試環(huán)境。國(guó)內(nèi)華中科技大學(xué)開發(fā)了一種面向Internet的簡(jiǎn)單網(wǎng)絡(luò)協(xié)議設(shè)計(jì)與測(cè)試平臺(tái)（SNPDTP），該平臺(tái)開發(fā)了自己的測(cè)試腳本語(yǔ)言（C-Script），該腳本語(yǔ)言采用簡(jiǎn)化了的C語(yǔ)言語(yǔ)法，并對(duì)一些特性進(jìn)行了修改，如加入時(shí)間驅(qū)動(dòng)機(jī)制和對(duì)網(wǎng)絡(luò)的協(xié)議的描述支持。因此于該系統(tǒng)是針對(duì)網(wǎng)絡(luò)協(xié)議的設(shè)計(jì)與測(cè)試而開發(fā)的，因此沒(méi)有考慮嵌入式軟件所需要的實(shí)時(shí)特性和測(cè)試反饋的處理，僅僅是用軟件的方式模擬網(wǎng)絡(luò)環(huán)境的實(shí)現(xiàn)，但它的設(shè)計(jì)思想是可以借鑒的。此外，測(cè)試領(lǐng)域還存在針對(duì)非實(shí)時(shí)軟件的測(cè)試描述語(yǔ)言TestTalk，該語(yǔ)言采用對(duì)測(cè)試描述的各個(gè)組成部分進(jìn)行分離的方式，形成編程語(yǔ)言形式的測(cè)試腳本，再通過(guò)解釋器的解釋執(zhí)行，達(dá)到驅(qū)動(dòng)測(cè)試的目的。但該方法僅針對(duì)非實(shí)時(shí)軟件的測(cè)試，沒(méi)有引入實(shí)時(shí)軟件測(cè)試中對(duì)時(shí)間特性（如并發(fā)、同步、優(yōu)先級(jí)等）的描述要求，用戶難以快速掌握，因此該方法不適合實(shí)時(shí)嵌入式軟件測(cè)試的描述。