[發明專利]一種驗證黑盒測試用例設計完整性的方法

在審

• 申請號: 201811623652.5
• 申請日: 2018-12-28
• 公開（公告）號: CN109739759A
• 公開（公告）日: 2019-05-10
• 發明（設計）人: 陳敏穎;李朝歷;徐展
• 申請（專利權）人: 中核控制系統工程有限公司
• 主分類號: G06F11/36
• 分類號: G06F11/36
• 代理公司: 核工業專利中心 11007
• 代理人: 張雅丁

本發明涉及計算機技術領域，具體公開了一種驗證黑盒測試用例設計完整性的方法，包括以下步驟：步驟1：根據上層文件創建套件并參數化；步驟2：根據需求初始化參數并生成測試輸入輸出庫；步驟3：創建庫的匹配關系算法，并建立輸入輸出映射關系表；步驟4：利用測試工具生成的測試套件將映射關系表實例化為測試用例；步驟5：執行測試，并統計覆蓋率。本發明可借助自動化測試工具，采用動態測試的方法通過覆蓋率實時統計的方式不斷優化并自動生成與執行黑盒測試用例，從而實現了黑盒測試執行對測試機的全覆蓋，優化了黑盒測試用例的選取和黑盒測試全生命周期過程控制。

技術領域

本發明屬于計算機技術領域，具體涉及一種驗證黑盒測試用例設計完整性的方法。

背景技術

黑盒測試作為動態測試的組成部分、已成為繼實現之后暴露缺陷的一種方法。黑盒測試階段對所編寫的測試用例要求為測試用例要實現對需求的全覆蓋，因此，黑盒測試不能保證對測試機的全覆蓋。

容錯系統存在一部分無效等價類會造成系統錯誤、一部分無效等價類會造成系統故障的可能，因此測試的完整性要考慮其代碼的實現方式及工作機理。由于白盒測試的覆蓋率僅針對代碼本身，因此對于容錯系統而言，針對需求采用常規的設計方法設計并執行黑盒測試用例有可能會造成測試機缺陷的遺漏。

動態測試可借助工具基本實現自動化，包括測試套件的生成、測試執行及測試報告的生成。采用測試工具實現自動化測試結果的可信度在各行業都已有充分的認可，如在核電、航空、金融等領域已經出臺了一系列的工具鑒定標準，對測試的自動化也在包括上述領域的很多領域廣為使用，我國對自動化測試工具自行研制的大量投入及引進國外自動化測試工具的政策支持，第三方的認證許可等，這些為自動化測試工具實現測試自動化結果的可信度提供了有力保障。而現有的白盒測試工具對測試用例的設計沒有實現自動化，只能自動生成測試套件。

發明內容

本發明的目的在于提供一種驗證黑盒測試用例設計完整性的方法，能夠驗證黑盒測試對測試機是否實現全覆蓋。

本發明的技術方案如下：

一種驗證黑盒測試用例設計完整性的方法，包括以下步驟：

步驟1：根據上層文件創建套件并參數化；

步驟2：根據需求初始化參數并生成測試輸入輸出庫；

步驟3：創建庫的匹配關系算法，并建立輸入輸出映射關系表；

步驟4：利用測試工具生成的測試套件將映射關系表實例化為測試用例；

步驟5：執行測試，并統計覆蓋率。

步驟1中，套件創建的依據是需求的上層文件，套件的存在形式是代碼、設備或其它最終能被某種認可的實例化裝置；

參數化是套件取值的實參、可以被賦值，與需求相對應；將套件的賦值設為一個參數，且這個參數可以根據需求進行賦值；參數的賦值滿足是套件自動生成需求的所有輸入輸出域。

步驟2中，結合需求給已創建套件的參數進行賦值，將其實例化；

運行套件，自動生成滿足需求的輸入輸出庫，組建對應需求的輸入輸出空間；

對需求的跟蹤通過建立需求跟蹤矩陣，基于需求管理工具實現。

步驟3中，庫的匹配關系算法是程序用以實現根據輸入庫識別輸出庫的方法，用以建立輸入輸出庫之間的相互對應關系，實現的方式為采用字典匹配算法表達式實現，根據測試套件與庫映射表的對應關系建立測試機與輸入輸出庫的對應關系。

步驟4中，測試套件由白盒測試工具根據待測試的代碼自動生成，自動生成的測試套件采用輸入輸出庫將其進行實例化，輸入輸出庫根據映射關系表進行選擇；被實例化的測試套件生成可以被自動化測試工具執行的測試用例。