軟件驗證方法、裝置、計算機設(shè)備和存儲介質(zhì)

基本信息

申請?zhí)?/td> CN201910480992.5 申請日 -
公開（公告）號 CN110347588A 公開（公告）日 2019-10-18
申請公布號 CN110347588A 申請公布日 2019-10-18
分類號 G06F11/36 分類 計算；推算；計數(shù);
發(fā)明人 張強;周博 申請（專利權(quán)）人 北京謙川科技有限公司
代理機構(gòu) 北京華進京聯(lián)知識產(chǎn)權(quán)代理有限公司 代理人 黃易
地址 100089 北京市海淀區(qū)海淀西大街36號地下一層303號
法律狀態(tài) -

摘要

摘要 本申請涉及一種軟件驗證方法、裝置、計算機設(shè)備和存儲介質(zhì)。所述方法包括：獲取規(guī)約，其中，所述規(guī)約包括狀態(tài)機規(guī)約和聲明規(guī)約，所述狀態(tài)機規(guī)約和所述聲明規(guī)約按照預先定義的書寫規(guī)則書寫；將所述狀態(tài)機規(guī)約轉(zhuǎn)換為實現(xiàn)代碼；通過驗證器驗證轉(zhuǎn)換后的所述實現(xiàn)代碼是否滿足所述狀態(tài)機規(guī)約的要求；通過驗證器驗證所述狀態(tài)機規(guī)約是否滿足所述聲明規(guī)約的要求；若轉(zhuǎn)換后的所述實現(xiàn)代碼滿足所述狀態(tài)機規(guī)約的要求，且所述狀態(tài)機規(guī)約滿足所述聲明規(guī)約的要求，則通過驗證。采用本方法能夠快速進行軟件驗證，提高軟件驗證效率，同時實現(xiàn)驗證通用性。