[發明專利]用于基于模型的軟件分析的系統和方法

在審

• 申請號: 201780043890.6
• 申請日: 2017-05-15
• 公開（公告）號: CN110383238A
• 公開（公告）日: 2019-10-25
• 發明（設計）人: 約翰·史蒂文;克里斯·施密特;喬丹·泰勒·塞耶
• 申請（專利權）人: 新思科技有限公司
• 主分類號: G06F8/20
• 分類號: G06F8/20;G06F11/36;G06F16/23
• 代理公司: 北京品源專利代理有限公司 11332
• 代理人: 王小衡;王天鵬

1.一種方法，包括：

由一個或多個處理裝置制定指示出軟件應用的多個屬性之間的關系的基于圖表的請求查詢，其中所述請求查詢請求關于所述多個屬性的指導屬性的指導；

由所述一個或多個處理裝置將所述請求查詢提交給知識庫；并且

由所述一個或多個處理裝置響應于所述請求查詢從所述知識庫接收基于所述指導屬性的并且通過操縱所述請求查詢而生成的基于圖表的響應式查詢。

2.根據權利要求1所述的方法，其中，所述響應式查詢包括關于所述多個屬性中的屬性的轉換。

3.根據權利要求2所述的方法，其中，所述轉換包括對軟件應用的源代碼的內聯替換或通過引用新函數的對軟件應用的函數的替換。

4.根據權利要求1所述的方法，其中，所述指導屬性是所述多個屬性的可選屬性，所述方法還包括：

基于關于所述可選屬性的可選關系存在于所述軟件應用中的確定，將關于所述可選屬性的可選關系包括在所述請求查詢內。

5.根據權利要求1所述的方法，其中，所述請求查詢包括位于第一概念域中的指導屬性與位于第二概念域中的所述多個屬性的附加屬性之間的關系。

6.根據權利要求1所述的方法，還包括：

分析指示出來自信息存儲庫的漏洞的事件；并且

基于所述漏洞來選擇所述指導屬性。

7.根據權利要求6所述的方法，還包括：

將所述響應式查詢添加到所述信息存儲庫。

8.一種系統，包括：

存儲器，其被配置為存儲被配置為執行以下操作的模塊，所述操作包括：

制定指示出軟件應用的多個屬性之間的關系的基于圖表的請求查詢，其中所述請求查詢請求關于所述多個屬性的指導屬性的指導，

將所述請求查詢提交給知識庫，并且

響應于所述請求查詢從所述知識庫接收基于所述指導屬性的并且通過操縱所述請求查詢而生成的基于圖表的響應式查詢；以及

一個或多個處理器，其被配置為處理所述模塊。

9.根據權利要求8所述的系統，其中，所述響應式查詢包括關于所述多個屬性中的屬性的轉換。

10.根據權利要求9所述的系統，其中，所述轉換包括對軟件應用的源代碼的內聯替換或通過引用新函數的對軟件應用的函數的替換。

11.根據權利要求8所述的系統，其中，所述指導屬性是所述多個屬性的可選屬性，所述操作還包括：

基于關于所述可選屬性的可選關系存在于所述軟件應用中的確定，將關于所述可選屬性的可選關系包括在所述請求查詢內。

12.根據權利要求8所述的方法，其中，所述請求查詢包括位于第一概念域中的指導屬性與位于第二概念域中的所述多個屬性的附加屬性之間的關系。

13.根據權利要求8所述的系統，所述操作還包括：

分析指示來自信息存儲庫的漏洞的事件；并且

基于所述漏洞來選擇所述指導屬性。

14.根據權利要求13所述的系統，所述操作還包括：

將所述響應式查詢添加到所述信息存儲庫。

15.一種計算機可讀存儲裝置，其上存儲有指令，由計算裝置執行所述指令使得所述計算裝置執行包括以下操作：

制定指示出軟件應用的多個屬性之間的關系的基于圖表的請求查詢，其中所述請求查詢請求關于所述多個屬性的指導屬性的指導；

將所述請求查詢提交給知識庫；并且

響應于所述請求查詢從所述知識庫接收基于所述指導屬性的并且通過操縱所述請求查詢而生成的基于圖表的響應式查詢。