技術編號：11918256
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術詳細信息。本發(fā)明涉及一種并發(fā)系統(tǒng)模型的檢測方法，具體屬于軟件檢測技術。背景技術模型檢測是基于對狀態(tài)空間的窮舉搜索，對于并發(fā)系統(tǒng)，其狀態(tài)的數(shù)目往往隨并發(fā)分量的增加而呈指數(shù)增長。因此，當系統(tǒng)的并發(fā)分量較多時，直接對其狀態(tài)空間進行搜索實際上是不可能的，這就是所謂的狀態(tài)爆炸問題。由于軟件涉及無窮數(shù)據(jù)域上的運算，因此狀態(tài)爆炸問題十分突出，已成為模型檢測方法應用于軟件可信評價及驗證的一個具有挑戰(zhàn)性同時又無法回避的難題。目前，研究人員提出了一些方法緩解“狀態(tài)空間爆炸”問題。這些方法基本上都減少了或壓縮了系統(tǒng)狀態(tài)空間，許...
注意：該技術已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權人授權前，僅供技術研究參考不得用于商業(yè)用途。
該專利適合技術人員進行技術研發(fā)參考以及查看自身技術是否侵權，增加技術思路，做技術知識儲備，不適合論文引用。
請注意，此類技術沒有源代碼，用于學習研究技術思路。