軟件驗(yàn)證方法、裝置、計(jì)算機(jī)設(shè)備和存儲(chǔ)介質(zhì)

基本信息

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

摘要

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