[发明专利]用于面向屏幕的数据流分析的方法和系统

说明书

本发明涉及一种用于面向屏幕的数据流分析的方法和系统。提供一种用于执行计算机代码的数据流分析的方法，包括：提供具有多个用户接口屏幕的计算机程序的计算机代码；将所述计算机代码分为多个部分，使得所述多个部分的每一个包括用于导致加载和/或使用所述多个用户接口屏幕之一的代码；执行变量使用分析以便检测在所述多个部分的每一个中计算和/或使用哪些变量；基于所述变量使用分析，构造定义所述多个部分之间的依赖性的数据依赖模型；以及针对所述多个部分中的至少一个并使用所述数据依赖模型，标识被载入所述多个用户接口屏幕之一并且未在相应部分和依赖于所述相应部分的一组部分中使用的至少一个不必要变量。

技术领域

本发明在其某些实施例中涉及数据流分析，更具体地说但不仅限于涉及面向屏幕的数据流分析。

背景技术

术语静态分析涉及计算机代码，通常指分析不依赖于应用的运行时执行的计算机程序的指令。在一种称为数据流分析的静态分析中，确定程序的控制和数据流的程序表示图，并且收集有关程序中不同点处的可能变量值的信息，其中该图用于确定应用的分配给特定变量的数据可能流向的那些部分。

现代的编译器和集成开发环境在包括优化、重构和验证的各种任务中，广泛使用程序分析。更有用和更复杂的任务需要程序分析算法产生的内部程序表示包含数据流信息。分析算法使用的程序表示影响分析的能力和效率。

智能移动设备的日益流行产生新的以GUI为中心的编程范式。基于信息的移动应用的主要控制由应用屏幕和它们之间的转变来定义。

其它背景技术包括M.Weiser(Program slicing(程序切片)。IEEETrans.Software Engineering，SE-10(4)，1984年)，其在此引入作为参考。

发明内容

根据本发明的某些实施例，提供一种用于执行计算机代码的数据流分析的方法，包括：提供具有多个用户接口屏幕的计算机程序的计算机代码；将所述计算机代码分为多个部分，使得所述多个部分的每一个包括用于导致加载和/或使用所述多个用户接口屏幕之一的代码；执行变量使用分析以便检测在所述多个部分的每一个中计算和/或使用哪些变量；基于所述变量使用分析，构造定义所述多个部分之间的依赖性的数据依赖模型；以及针对所述多个部分中的至少一个并使用所述数据依赖模型，标识被载入所述多个用户接口屏幕之一并且未在相应部分和依赖于所述相应部分的一组部分中使用的至少一个不必要变量。

可选地，所述方法还包括从所述计算机代码中删除所述至少一个不必要变量。

可选地，通过访问远程服务器获得所述至少一个不必要变量。

可选地，所述计算机程序是移动应用，并且在运行所述移动应用的移动设备的显示器上单独呈现所述多个用户接口屏幕的每一个。

可选地，使用调整的数据流等式(data-flow equations)执行所述标识。

可选地，使用程序切片方法执行所述标识。

一种计算机可读介质，其包括适于执行所述方法的计算机可执行指令。

根据本发明的某些实施例，提供一种用于执行计算机代码的数据流分析的系统，包括：切片模块，其将具有多个用户接口屏幕的计算机程序的计算机代码分为多个部分，使得所述多个部分的每一个包括用于导致加载和/或使用所述多个用户接口屏幕之一的代码；变量使用模块，其执行分析以便检测在所述多个部分的每一个中计算和/或使用哪些变量；表示模块，其基于所述变量构造所述多个部分之间的数据依赖模型；以及分析模块，其使用所述数据依赖模型并针对所述多个部分中的至少一个，标识被载入所述多个用户接口屏幕之一并且未在相应部分和依赖于所述相应部分的一组部分中使用的至少一个不必要变量。

可选地，所述系统还包括优化模块，其用于根据所述分析，从所述计算机代码中删除所述至少一个不必要变量。