技術(shù)編號(hào)：6632737
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒有賬戶請(qǐng)點(diǎn) 注 冊(cè) ，登陸完成后，請(qǐng)刷新本頁(yè)查看技術(shù)詳細(xì)信息。本發(fā)明涉及一種時(shí)間安全輸入輸出自動(dòng)機(jī)的測(cè)試方法，也涉及利用該測(cè)試方法實(shí)現(xiàn)的測(cè)試系統(tǒng)，屬于軟件測(cè)試。背景技術(shù) 和運(yùn)行環(huán)境的交互行為存在時(shí)間約束的系統(tǒng)稱為實(shí)時(shí)系統(tǒng)。對(duì)于很多實(shí)時(shí)系統(tǒng)而言，系統(tǒng)的功能性錯(cuò)誤或者對(duì)時(shí)間約束的偏移都會(huì)產(chǎn)生災(zāi)難性的后果。為了提高實(shí)時(shí)系統(tǒng)的質(zhì)量，一般采用驗(yàn)證或測(cè)試的方法，其中，測(cè)試是唯一能夠在運(yùn)行時(shí)刻檢驗(yàn)實(shí)時(shí)系統(tǒng)動(dòng)態(tài)行為的方法。從70年代開始，研究人員就已經(jīng)基于各種時(shí)間無(wú)關(guān)形式模型，如有限狀態(tài)機(jī)、擴(kuò)展有限狀態(tài)機(jī)、標(biāo)號(hào)轉(zhuǎn)移系統(tǒng)等等，提出了許...
注意：該技術(shù)已申請(qǐng)專利，請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識(shí)儲(chǔ)備，不適合論文引用。
請(qǐng)注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。