一種符號執(zhí)行方法、單元測試方法、電子設備及存儲介質(zhì)

基本信息

申請?zhí)?/td> CN202210169478.1 申請日 -
公開（公告）號 CN114238154B 公開（公告）日 2022-05-06
申請公布號 CN114238154B 申請公布日 2022-05-06
分類號 G06F11/36（2006.01）ICN 103116540 A,2013.05.22;CN 106502912 A,2017.03.15;US 2019384697 A1,2019.12.19;CN 104503901 A,2015.04.08;CN 106022350 A,2016.10.12;CN 111367786 A,2020.07.03;CN 111400165 A,2020.07.10;CN 108710575 A,2018.10.26;CN 114036072 A,2022.02.11;CN 110515856 A,2019.11.29;CN 112231225 A,2021.01.15 蘇亭.基于覆蓋準則的軟件測試用例自動化生成方法的研究與實現(xiàn).《中國博士學位論文全文數(shù)據(jù)庫 基于覆蓋準則的軟件測試用例自動化生成方法的研究與實現(xiàn)》.2016,（第8期）,;Senastian Poeplau等.Symbolic execution with SymCC:Don"t intepret,compile!.《The proceedings of the 29th USENIX Security Symposium》.2020,;佚名.Day92-94:閱讀LLVM官方文檔.《https://github.com/Vancir/365-days-get-xuanwulab-job/blob/master/weeks/week14.md》.2020,;甘水滔等.一種基于程序功能標簽切片的制導符號執(zhí)行分析方法.《軟件學報》.2019,第30卷（第11期）,;于恒彪.符號化驗證關鍵技術研究.《中國博士學位論文全文數(shù)據(jù)庫 信息科技輯》.2021,（第1期）, 分類 計算；推算；計數(shù);
發(fā)明人 任飛;楊智霖;謝輝 申請（專利權(quán)）人 湖南泛聯(lián)新安信息科技有限公司
代理機構(gòu) 長沙市護航專利代理事務所（特殊普通合伙） 代理人 莫曉齊
地址 410005湖南省長沙市開福區(qū)伍家?guī)X街道棲鳳路486號凱樂微谷商務中心1棟1710、1711房
法律狀態(tài) -

摘要

摘要 本發(fā)明公開了一種符號執(zhí)行方法、單元測試方法、電子設備及存儲介質(zhì)，該方法包括：遍歷待分析程序的所有指令，建立程序分支表；對待分析程序的程序路徑建立路徑分支表；確認程序分支表中的所有分支未被訪問，在當前路徑下分析指令，收集已訪問的分支記錄，并將已訪問的分支記錄更新到路徑分支表；對所有的路徑按照路徑分支表中已經(jīng)訪問的分支數(shù)進行排序；確認當前路徑已覆蓋到新的分支，保留當前路徑并將當前路徑覆蓋的分支和測試用例緩存；輸出緩存的測試用例數(shù)據(jù)。該符號執(zhí)行方法，通過采用覆蓋率優(yōu)先的路徑搜索策略，對循環(huán)進行特殊的處理，使得在符號執(zhí)行的過程中不至于陷入到某一段代碼一直無法跳出導致超時，保證了符號執(zhí)行的可行性。