技術(shù)編號(hào)：11142234
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒有賬戶請(qǐng)點(diǎn) 注 冊 ，登陸完成后，請(qǐng)刷新本頁查看技術(shù)詳細(xì)信息。本發(fā)明涉及一種用于進(jìn)行軟件檢測的測試用例生成系統(tǒng)及記錄了測試用例的記錄介質(zhì)。背景技術(shù)伴隨著搭載于系統(tǒng)的軟件的規(guī)模增大，正在變得難以對(duì)軟件的規(guī)范、所有的代碼通過審查來確認(rèn)，或?qū)嵤y試。此外，并行動(dòng)作的軟件中，有時(shí)會(huì)因?yàn)樘幚淼臅r(shí)機(jī)而發(fā)生不良情況，這樣的不良情況難以通過測試發(fā)現(xiàn)。作為針對(duì)這樣的問題的處理，存在有應(yīng)用作為形式化驗(yàn)證技術(shù)之一的即模型檢測的方法。在模型檢測中，作為檢測對(duì)象的設(shè)計(jì)，具體地是使用形式化描述語言表示軟件規(guī)范、源代碼(以下，這些稱為“驗(yàn)證模型”)。此外，使用具有時(shí)間的概念和算符的邏輯...
注意：該技術(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ù)思路。