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任一項所述的方法。