[发明专利]用于确定是否顺序显示多个屏幕的系统和方法

权利要求书

1.一种用于确定将要由应用程序顺序显示的多个屏幕是否满足制定的规范的系统，其中所述多个屏幕中的每一个是具有树结构的数据，所述系统包括：

规范存储部件，用于存储用来规定将要由第一屏幕满足的规范的第一模式信息，用来规定将要由第二屏幕满足的规范的第二模式信息，以及使应用程序进行的显示从第一屏幕改变为第二屏幕的事件；

提取部件，用于根据第一模式信息和所述事件，从应用程序中提取部分程序，所述部分程序在显示满足第一模式信息的任何屏幕期间响应于事件的出现而被执行；

生成部件，用于根据所述部分程序生成中间程序，所述中间程序用于从满足第一模式信息的一组屏幕计算在显示这个满足的组中的屏幕期间出现了所述事件的条件下要显示的一组屏幕；以及

确定部件，用于在第一屏幕满足第一模式信息、并且通过向第一模式信息应用中间程序而获得的一组屏幕满足第二模式信息的条件下，确定所述多个屏幕满足制定的规范。

2.如权利要求1所述的系统，其中，对于应用程序中包括的每个条件分支指令而言，所述提取部件根据第一模式信息中规定的屏幕的状态以及所述事件，确定哪一分支目标被执行，并且提取在依照所述确定要执行的分支目标上的指令序列以及所述部分程序。

3.如权利要求1所述的系统，其中，所述生成部件对所述部分程序执行静态单赋值变换、即SSA变换，以便唯一地规定对所述部分程序中的每一变量的赋值，并且生成多个指令，所述多个指令具有与通过将部分程序作为中间程序执行而获得的结果相同的执行结果。

4.如权利要求3所述的系统，其中：

所述具有树结构的数据在开始标签和结束标签之间还包括另一个开始标签和结束标签，

所述提取部件从第一屏幕中选择介于某一个开始标签和结束标签之间的数据，并且提取用于修改所选数据的树操作指令序列以及所述部分程序，并且

所述生成部件把所述树操作指令序列变换为用于生成复制数据、修改复制数据、并且用修改后的复制数据替换第一屏幕中被复制的数据的指令序列，所述复制数据是通过从第一屏幕中复制介于所述某一个开始标签和结束标签之间的数据而获得的。

5.如权利要求4所述的系统，其中：

所述多个屏幕中的每一个是依照超文本标记语言、即HTML描述的网页，

所述应用程序是依照JavaScript描述的修改程序，并且修改此网页上的显示，

所述提取部件提取用于从HTML文档中提取文档对象的指令、以及用于根据修改程序修改所提取的文档对象的指令，作为树操作指令序列，并且

所述生成部件把所述树操作指令序列变换为用于通过复制从HTML文档提取的文档对象而生成复制数据、修改复制数据、并且用修改后的复制数据替换从HTML文档中提取的文档对象的指令序列。

6.如权利要求1所述的系统，其中：

所述规范存储部件存储多个用于规定将要由所述多个屏幕满足的规范的模式信息，以及使显示从所述多个屏幕中的每一个改变为所述多个屏幕中其它屏幕中的每一个的事件，

对于所述多个屏幕中的每一个，所述提取部件根据对应于此屏幕的模式信息和能够在显示此屏幕期间生成的事件来提取部分程序，所述部分程序在显示此屏幕期间响应于事件的出现而被执行，

对于所述多个模式信息中的每一个，所述生成部件根据将要在显示此屏幕期间执行的部分程序，生成中间程序，所述中间程序用于从满足此模式信息的一组屏幕计算在显示这个满足的组中的屏幕期间出现所述事件的条件下要显示的一组屏幕，并且

在初始屏幕的第一屏幕满足第一模式信息、并且通过向每一个模式信息应用中间程序而获得的一组屏幕满足用于规定紧接着满足此模式信息的屏幕显示的屏幕的规范的模式信息的条件下，所述确定部件确定所述多个屏幕满足制定的规范。

7.一种用于借助于信息处理设备来确定将要由应用程序顺序显示的多个屏幕是否满足制定的规范的方法，其中所述多个屏幕中的每一个是具有树结构的数据，

所述信息处理设备包括规范存储部件，用于存储用来规定将要由第一屏幕满足的规范的第一模式信息，用来规定将要由第二屏幕满足的规范的第二模式信息，以及使应用程序进行的显示从第一屏幕改变为第二屏幕的事件，并且

所述方法包括如下步骤：

根据第一模式信息和所述事件，从应用程序中提取部分程序，所述部分程序在显示满足第一模式信息的任何屏幕期间响应于事件的出现而被执行；

根据所述部分程序，生成中间程序，所述中间程序用于从满足第一模式信息的一组屏幕计算在显示这个满足的组中的屏幕期间出现了所述事件的条件下要显示的一组屏幕；并且

在第一屏幕满足第一模式信息、并且通过向第一模式信息应用中间程序而获得的一组屏幕满足第二模式信息的条件下，确定所述多个屏幕满足制定的规范。