一種基于符號執(zhí)行的測試用例生成方法

一種基于符號執(zhí)行的測試用例生成方法系統(tǒng)已經(jīng)變得越來越復雜，在軟件開發(fā)過程中對系統(tǒng)進行測試變得越來越重要。測試是基于需求、設計、開發(fā)和部署的軟過程中的一項重要活動。在測試中，我們需要找到盡可能多的錯陷，以確保軟件系統(tǒng)的質量和可靠性。與此同時，測試過程也需TestCase成部分，它能夠幫助測更好的檢測軟件系統(tǒng)的缺陷。符號執(zhí)行是一種近年來比較流行的例生成方法，在軟件測試中扮演了重要的角色。符號執(zhí)行是一種完整路徑覆蓋的方法，它能夠產(chǎn)生高覆蓋率的測試用例，檢測到缺陷，減少測試人員數(shù)量和測試時間。因此，符號執(zhí)行成為軟件種基于符號執(zhí)行的測試用例生成方法，該方法可以有效蓋測試對象，并且可以檢測隱藏的缺陷。本文將主要介紹符號執(zhí)行。是一種程序靜態(tài)分析技術，其本質是將程序中的變量視為變量而非實際變量來處理。符號執(zhí)行將程序視為輸入和路徑受限制數(shù)。在程序中，符號值代替實際值，程序執(zhí)行能夠表現(xiàn)出不同的路符號執(zhí)行通過對程序中所有路徑的符號變量建立符號化條件，并解些條件來確認程序中所有可能的執(zhí)行路徑。因此，符號執(zhí)行可以為執(zhí)行路徑生成一個具有一定輸入條件的測試用例，并且這些測試用的核心任務是將程序中的變量替換為符號變量。符號變量件。對符號變量的修改可以生成多個可行的解，因此符號執(zhí)行是徑覆蓋技術，它基于給定的符號輸入自動執(zhí)行程序，并跟蹤中的所有分支和路徑，以生成每個路徑上的符號約束條件的解。當執(zhí)行找到路徑上的每個符號變量解時，即可生成一條有效的測試用需要尋找測試基準程序的每個可能執(zhí)行路徑上的所有約束些約束條件包括邏輯條件，數(shù)據(jù)約束條件和內存約束條件。符過程的主要任務是基于給定符號輸入執(zhí)行程序，并跟蹤程的每個分支路徑。在符號執(zhí)行過程中，程序中的每一行都將評估序的運行，符號執(zhí)行系統(tǒng)將遇到各種情況，例如函數(shù)調用，指針訪問等。針對這些情況，符號執(zhí)行系統(tǒng)需要進行特殊處理，以獲器收集每個路徑上的約束條件并將其組合成路徑約束。路束是程序路徑的約束條件集合，表示程序需要滿足在這條路徑上運所有約束條件。符號執(zhí)行生成的路徑約束集合是導致程序的每個執(zhí)器將路徑約束集合轉換成可以運行在測試目標中的執(zhí)行路每個約束條件都對應著一個符號變量的值，測試用例生成時需要將約束條件轉換為實際的測試輸入并且運行程序，最終生成有效的測例生成方法執(zhí)行的測試用例生成方法需要通過執(zhí)行符號化的程序來獲LEE徑確認指令，并將目標二進制文件中的實際變量替換為符號及其他有關的測試用例數(shù)據(jù)。在測試該程序之前，我們需要確保所成的測試用例都是有效的。在生成測試用例時，我們可以使用基于代碼覆蓋率和路徑覆蓋率的測試用例選擇來解決誤報或漏報缺陷的問題。減少測試用例的數(shù)量，我們可以使用一些策略和方法來減小測試用結果試用例生成工具。在實驗中，我們使用了兩種度量方式：代碼覆蓋率和路徑覆蓋率，以驗證我們的測試用例的有效性。實驗結果表明，執(zhí)行的測試用例生成方法可以生成高覆蓋率的測試用例，并且一種基于符號執(zhí)行的測試用例生成方法，該方法可以自成高覆蓋率的測試用例，檢測到隱藏的缺陷，并減少測試人員間。在實驗中，我們發(fā)現(xiàn)