技術(shù)編號(hào)：6372263
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒有賬戶請(qǐng)點(diǎn) 注 冊(cè) ，登陸完成后，請(qǐng)刷新本頁(yè)查看技術(shù)詳細(xì)信息。本發(fā)明屬于軟件測(cè)試和驗(yàn)證領(lǐng)域，特別涉及一種針對(duì)層次式時(shí)間自動(dòng)機(jī)模型的平展算法，即將層次式時(shí)間自動(dòng)機(jī)劃歸為傳統(tǒng)的時(shí)間自動(dòng)機(jī)模型，主要用于解決現(xiàn)有軟件模型檢測(cè)工具不能直接檢驗(yàn)層次式自動(dòng)機(jī)模型正確性問題。背景技術(shù)模型檢測(cè)技術(shù)是形式化驗(yàn)證軟件正確性的重要方法之一，該方法的主要輸入部分包括軟件系統(tǒng)模型和規(guī)約，通過工具軟件對(duì)系統(tǒng)的狀態(tài)進(jìn)行窮盡搜索，從而可以驗(yàn)證所設(shè)計(jì)的系統(tǒng)模型是否滿足規(guī)約要求，當(dāng)發(fā)現(xiàn)系統(tǒng)存在不滿足規(guī)約的狀態(tài)時(shí)，能夠給出從初始狀態(tài)到達(dá)該非法狀態(tài)的路徑，從...
注意：該技術(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ù)思路。