午夜毛片免费看,老师老少妇黄色网站,久久本道综合久久伊人,伊人黄片子

一種單元測試用例生成方法、設(shè)備及介質(zhì)與流程

文檔序號:39526785發(fā)布日期:2024-09-27 17:03閱讀:來源:國知局

技術(shù)特征:

1.一種單元測試用例生成方法,其特征在于,所述方法包括:

2.根據(jù)權(quán)利要求1所述的一種單元測試用例生成方法,其特征在于,所述對所述中間表示進行代碼分析與邊界分析,以得到待測試單元,具體包括:

3.根據(jù)權(quán)利要求2所述的一種單元測試用例生成方法,其特征在于,所述將輸入變量替換為符號值,通過所述符號值對所述待測試單元對應(yīng)的不同路徑分別進行路徑約束條件的采集,具體包括:

4.根據(jù)權(quán)利要求1所述的一種單元測試用例生成方法,其特征在于,所述基于采集的所述路徑約束條件,得到測試用例信息,基于所述測試用例信息確定出相應(yīng)的測試框架,生成參考測試用例,具體包括:

5.根據(jù)權(quán)利要求1所述的一種單元測試用例生成方法,其特征在于,所述執(zhí)行所述參考測試用例,在測試覆蓋率滿足預(yù)置覆蓋率閾值的情況下,確定所述參考測試用例為所需測試用例,具體包括:

6.根據(jù)權(quán)利要求1所述的一種單元測試用例生成方法,其特征在于,所述基于所述測試用例信息確定出相應(yīng)的測試框架,生成參考測試用例之后,所述方法還包括:

7.根據(jù)權(quán)利要求6所述的一種單元測試用例生成方法,其特征在于,所述將所述參考測試用例對應(yīng)的執(zhí)行路徑進行向量化處理,具體包括:

8.根據(jù)權(quán)利要求1所述的一種單元測試用例生成方法,其特征在于,所述通過編譯器llvm對獲取到的源代碼進行解析,生成中間表示,具體包括:

9.一種單元測試用例生成設(shè)備,其特征在于,該設(shè)備包括用于存儲計算機程序指令的存儲器和用于執(zhí)行程序指令的處理器,其中,當該計算機程序指令被該處理器執(zhí)行時,觸發(fā)該設(shè)備執(zhí)行權(quán)利要求1-8中的任一項所述的方法。

10.一種非易失性計算機存儲介質(zhì),存儲有計算機可執(zhí)行指令,其特征在于,所述計算機可執(zhí)行指令能夠執(zhí)行權(quán)利要求1-8任一項所述的方法。


技術(shù)總結(jié)
本申請實施例公開了一種單元測試用例生成方法、設(shè)備及介質(zhì),屬于計算機軟件技術(shù)領(lǐng)域,解決手動編寫單元測試效率低下的問題,包括,通過編譯器LLVM對獲取到的源代碼進行解析,生成中間表示;對中間表示進行代碼分析與邊界分析,以得到待測試單元;將輸入變量替換為符號值,通過符號值對待測試單元對應(yīng)的不同路徑分別進行路徑約束條件的采集;基于采集的路徑約束條件,得到測試用例信息,基于測試用例信息確定出相應(yīng)的測試框架,生成參考測試用例;執(zhí)行參考測試用例,在測試覆蓋率滿足預(yù)置覆蓋率閾值的情況下,確定參考測試用例為所需測試用例。

技術(shù)研發(fā)人員:劉敏,姜凱,趙鑫鑫,薛海軍
受保護的技術(shù)使用者:山東浪潮科學(xué)研究院有限公司
技術(shù)研發(fā)日:
技術(shù)公布日:2024/9/26
當前第2頁1 2 
網(wǎng)友詢問留言 已有0條留言
  • 還沒有人留言評論。精彩留言會獲得點贊!
1