技術(shù)編號(hào)：12718819
提示：您尚未登錄，請(qǐng)點(diǎn) 登 陸 后下載，如果您還沒(méi)有賬戶請(qǐng)點(diǎn) 注 冊(cè) ，登陸完成后，請(qǐng)刷新本頁(yè)查看技術(shù)詳細(xì)信息。本發(fā)明涉及一種計(jì)算機(jī)技術(shù)領(lǐng)域，尤其是模型檢測(cè)領(lǐng)域中的線性時(shí)態(tài)邏輯的規(guī)范挖掘技術(shù)，具體涉及一種線性時(shí)態(tài)邏輯規(guī)范的通用并行挖掘方法。背景技術(shù)與其他工程產(chǎn)品不同的是，軟件產(chǎn)品在其整個(gè)生命周期中會(huì)不斷地變化演進(jìn)。而在對(duì)軟件進(jìn)行維護(hù)、更新的過(guò)程中，為保持系統(tǒng)原有功能的正確性，維護(hù)人員通常需要付出極大的努力。據(jù)統(tǒng)計(jì)，軟件的維護(hù)成本占據(jù)了軟件開發(fā)成本的90％。因此，研究如何降低軟件維護(hù)成本具有十分現(xiàn)實(shí)的意義。而軟件維護(hù)成本之中的絕大部分，都源于對(duì)遺留源代碼理解吸收所產(chǎn)生的成本。有研究表明，為理解原有代碼付出的...
注意：該技術(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ù)沒(méi)有源代碼，用于學(xué)習(xí)研究技術(shù)思路。