[發明專利]基于知識庫的覆蓋數據通路邊界情況的測試向量生成方法及系統

有效

• 申請號: 201811620169.1
• 申請日: 2018-12-28
• 公開（公告）號: CN109753714B
• 公開（公告）日: 2023-03-21
• 發明（設計）人: 陳書明;呂昭;張見;王耀華;張廷榮;胡春媚;孫乾
• 申請（專利權）人: 中國人民解放軍國防科技大學
• 主分類號: G06F30/398
• 分類號: G06F30/398
• 代理公司: 湖南兆弘專利事務所(普通合伙) 43008
• 代理人: 譚武藝

1.一種基于知識庫的覆蓋數據通路邊界情況的測試向量生成方法，其特征在于，實施步驟包括：

S1.將數據通路中除時鐘端口、重置端口以外的所有數據端口按照功能屬性劃分為數據傳輸類端口與控制類端口；

S2.建立基于數據類型的邊界值知識庫，向該邊界值知識庫輸入步驟S1中所述每個數據傳輸類端口的數據類型，得到每個數據傳輸類端口的邊界值集合；輸入步驟S1中每個控制類端口的位寬通過約束求解器求得每個控制類端口的合法值域，從而形成控制類端口的合法值域集合；

S3. 分別將步驟S2中數據傳輸類端口的邊界值集合中的每個邊界值與控制類端口的合法值域集合中的每個合法值進行正交組合，得到覆蓋數據通路邊界情況的測試向量。

2.根據權利要求1所述的基于知識庫的覆蓋數據通路邊界情況的測試向量生成方法，其特征在于，所述數據端口為輸入端口。

3.根據權利要求1所述的基于知識庫的覆蓋數據通路邊界情況的測試向量生成方法，其特征在于，所述數據端口為輸出端口。

4.根據權利要求1所述的基于知識庫的覆蓋數據通路邊界情況的測試向量生成方法，其特征在于，所述數據端口的數據類型包括單/雙精度浮點、8/16/32/64位有符號/無符號整數、n位二進制數類型。

5.根據權利要求1所述的基于知識庫的覆蓋數據通路邊界情況的測試向量生成方法，其特征在于，所述約束求解器為基于可滿足性引擎的求解器、基于二叉判決樹引擎的求解器或基于約束邏輯編程系統的約束求解器。

6.一種基于知識庫的覆蓋數據通路邊界情況的測試向量生成系統，包括計算機設備，其特征在于，所述計算機設備被編程以執行權利要求1～5中任意一項所述基于知識庫的覆蓋數據通路邊界情況的測試向量生成方法的步驟；或者所述計算機設備的存儲介質中存儲有被編程以執行權利要求1～5中任意一項所述基于知識庫的覆蓋數據通路邊界情況的測試向量生成方法的計算機程序。

7.一種存儲介質，其特征在于：所述存儲介質中存儲有被編程以執行權利要求1～5中任意一項所述基于知識庫的覆蓋數據通路邊界情況的測試向量生成方法的計算機程序。