[发明专利]用于软件测试的系统和方法

说明书

本发明提供一种计算机代码的基于隐喻的语言模糊测试。基于隐喻的语言模糊测试可以将代码段分解为表示代码段的隐喻。隐喻可以根据隐喻的任何元素的确定的逻辑扰动而进行变异。隐喻的变异可以作为代码段的替代的变异。相比代码段，可分析变异的隐喻以揭示性能差异。这些性能差异可关联隐喻的变异，使得代码段的对应变异可以通过外推法关联。此外，变异可存储和重新使用在其他的隐喻。此外，相较于直接变异在多个计算机语言的代码段，采用隐喻作为根语言替代可帮助生成减量的变异。

本申请案系主张于2013年7月17日向美国所提出申请之美国临时专利申请案第61/847,514号「语言架构、分析器和/或运行时间的模糊测试」的优先权，于此并入该专利申请案所揭露之内容以供参考。

技术领域

总的来说，本发明是有关一种软件测试，尤其是有关一种测试下软件的元素的表示的扰动的分析。

背景技术

通过简短的背景，代码测试通常可以被用来确定测试下代码或代码段的方面的特点。例如，代码测试的一个用途是确定测试下代码的潜在安全问题。另例如，代码测试可以检查崩溃(crashes)、失败宣称(failing assertions)、存储器泄漏或其他缺陷。代码测试可以采取多种形式。这些代码测试形式可以包括数据传入测试下代码的人工扰动。例如，测试下代码访问变数并期望16位值被传入测试下代码，变数的人工扰动可以提供测试下代码8位或32位值。测试下代码上的数据变数扰动的结果可以进行监测，以确定是否测试下代码以预期的或意外的方式响应扰动数据变数。测试下代码的行为洞察可以提供测试下代码的改善以考虑提供给输入至测试下代码的扰动的类型。值得注意的是，数据变数的人工扰动可以是费力的和缓慢的。因此，已开发自动化数据输入扰动技术并作为可以被称为“模糊化技术”的一类，其中输入变数可被干扰或“模糊化”。

本发明是针对可避免或至少减少以上所指出的一个或多个问题的影响的各种方法。

发明内容

本发明提供一种系统，包括：处理器；以及存储器，存储可执行指令，当通过该处理器执行时帮助操作的性能，包括：接收在第一计算机语言的代码段；将该代码段分解为构成代码元素；确定对应于该构成代码元素的隐喻元素；根据该隐喻元素确定对应于该代码段的在第二计算机语言的表示隐喻的隐喻数据；以及帮助访问该隐喻数据。

本发明还提供一种方法，包括：通过包含处理器的系统，接收在第一语言的代码段；通过该系统，识别该代码段的特征；通过该系统，确定对应于该代码段的该特征的隐喻元素；通过该系统，根据该隐喻元素，在第二语言生成表示该代码段的隐喻；和通过该系统，帮助访问该隐喻。

本发明还提供一种非暂态计算机可读介质，具有指令存储其上，响应于执行，使包括处理器的系统执行操作，包括：接收在第一语言的代码段；识别该代码段的功能态样；确定对应于该代码段的该功能态样的隐喻元素；根据该隐喻元素，在与该第一语言不同的第二语言生成表示该代码段的隐喻；和致使访问该隐喻。

附图说明

本发明可参考以下结合附加图式的说明而理解，该附图中，同样的附图标记表示同样的组件，且其中：

图1是根据本申请通过帮助访问相关代码段的隐喻信息而帮助代码段分析的系统。

图2是根据本申请通过帮助访问相关代码段的包括范围和相关性信息的隐喻信息而帮助代码段分析的系统。

图3是根据本申请通过帮助访问相关代码段和模糊化代码段的隐喻信息而帮助代码段分析的系统。

图4是根据本申请通过帮助访问在选择的输出语言的模糊化代码段而帮助代码段分析的系统。

图5是根据本申请根据模糊化代码段通过便利访问模糊化语言分析便利代码段分析的系统。

图6是根据本申请根据模糊化代码段通过便利访问模糊化语言和模糊化数据分析便利代码段分析的系统。