[发明专利]标识与软件产品相关联的隐含假设

说明书

本文描述了一种用于标识与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的应用开发环境提供的测试工具的一个实现。