[發明專利]標識與軟件產品相關聯的隱含假設

有效

• 申請號: 201480012437.5
• 申請日: 2014-03-04
• 公開（公告）號: CN105264491B
• 公開（公告）日: 2019-07-02
• 發明（設計）人: R·王;Y·周;S·陳;S·卡迪爾;Y·格爾維奇
• 申請（專利權）人: 微軟技術許可有限責任公司
• 主分類號: G06F8/73
• 分類號: G06F8/73
• 代理公司: 上海專利商標事務所有限公司 31100
• 代理人: 陳斌

本文描述了一種用于標識與SDK及其伴隨的文檔資料(如開發者指南)相關聯的隱含假設的框架。隱含假設是在文檔資料中未被明確表述但在構建應用時在輔助應用開發者方面有用的信息。該框架還描述了一種基于標識出的隱含假設標識一個或多個弱點模式的系統性方法。應用開發者可對正被開發的應用運行測試，以確保它不具有匹配某一弱點模式的任何缺陷。

背景

應用開發者可構建依賴于軟件開發工具包(SDK)的應用。應用開發者在構建應用時查閱開發者指南(本文簡稱“指南”)。該指南提供了關于對SDK的推薦用法的信息。該指南通常以特設的方式被產生，例如基于對應用開發者的信息需求的非正式評價。

應用開發者可在他或她無法遵循指南中提供的指示時產生有錯誤的應用。這是可以預料的。在其他情況中，開發者可能精確地遵循指南的指示，卻仍然產生有錯誤的應用。

概述

本文描述了一種包括分析模塊和測試套件產生模塊的軟件開發環境。分析模塊分析軟件產品(如SDK)連同描述該軟件產品的推薦用法的文檔資料(如開發者指南)。該分析可被用于標識與該軟件產品和該文檔資料相關聯的至少一個隱含假設。隱含假設對應于這樣的信息：(a)將在構建滿足聲稱的目標的應用時對應用開發者有用；以及(b)在文檔資料中未被明確表述。在一個情況中，聲稱的目標是與執行認證和/或授權操作的軟件產品相關聯的與安全性有關的目標。

測試套件產生模塊產生由一個或多個弱點模式組成的測試套件。每個弱點模式對應于由所述分析模塊標識出的一個隱含假設。應用開發者可對照每個弱點模式來測試他的或她的應用。這將揭露出應用是否遭受到與該弱點模式相關聯的弱點。應用開發者然后可用合適的方式修改該應用來去除該弱點(如果認為合適)。

總而言之，本文所述的功能提供了一種標識開發者指南和/或SDK的實現中所缺少的有用信息的合理且結構化的方式。這促進了設計過程以及產生了更為穩健的應用。

上面的方法可以顯現在各種類型的系統、組件，方法、計算機可讀存儲介質、數據結構、制品等等中。

提供本概述以便以簡化形式介紹一些概念；這些概念將在以下的詳細描述中進一步描述。本概述并不旨在標識所要求保護主題的關鍵特征或必要特征，也不旨在用于限制所要求保護主題的范圍。

附圖簡述

圖1示出軟件產品(如SDK)和可伴隨該軟件產品的文檔資料(如開發者指南)。

圖2示出應用可在其中被運行的說明性環境。這些應用中的至少一些可依賴于遠程服務器提供的服務。

圖3提供了可能由于應用開發者缺乏關于與SDK相關聯的隱含假設的知識而引起的弱點的示例。

圖4示出用于分析SDK及其伴隨的指南的SDK開發環境。該圖還示出用于在開發應用的過程中使用SDK開發環境提供的結果的應用開發環境。

圖5是提供圖4中所描繪的功能的概覽的過程。

圖6示出了分析模塊的一個實現。該分析模塊是圖4的SDK開發環境的組件。

圖7示出SDK可在其中被使用的說明性環境。(圖6的)分析模塊對可將圖7中所示的實體考慮在內的模型起作用。

圖8以高級形式示出圖6的分析模塊的一個實現。

圖9是描述圖6的分析模塊的操作的一個方式的過程。

圖10是描述圖6的分析模塊的操作的進一步說明性細節的過程。

圖11是描述圖6的分析模塊的操作的進一步說明性細節的過程。

圖12示出由圖4的應用開發環境提供的測試工具的一個實現。