[发明专利]具有调试能力的可编程序控制器

权利要求书

1、一种程序控制器，它执行有限状态应用程序，且便于所述程序的调试，其特征在于，所述有限状态应用程序包括一个或多个程序循环，每个程序循环仿真一个状态图，并有一个或多个语句组，每个语句组在被控制器执行时是一程序状态，仅当一个或多个条件或操作导致每个程序状态发生时，该程序状态是激活的，所述程序控制器包括：

(a)导致至少一个所述程序循环变为激活而执行的使能器件和对任何一时间使任何激活的程序循环内的仅一个所述语句组变为激活而执行的使能器件，

(b)记录每个所述程序状态的发生以便以后显示的记录器件，

(c)为以后的显示而记录导致每个所述程序状态发生的一个或多个所述条件或操作的记录器件。

2、根据权利要求1的程序控制器，其特征在于，在每个激活的程序循环中，同时只能有一个状态是激活的，且该激活状态是由一个值存入一变量中而标志的，该值表示了该激活态字组，所述变量被用来指示状态活动性。

3、根据权利要求1或2的程序控制器，其特征在于，所述使能器件包括至少一个变量，每个变量都与一个所述激活程序循环相关，用于存储激活字组的开始标识符，所述变量有一个指示包括了该激活字组的激活程序循环的标识符。

4、根据权利要求2的程序控制器，其特征在于，还包括一存储器，用来存储与所述至少一个激活程序循环相关的每一个所述变量，以利于多个所述激活程序循环完成多任务，并控制所述激活程序循环的执行顺序。

5、根据权利要求1或2的程序控制器，其特征在于，所述为记录所述每个程序状态的所述发生以供以后显示的记录器件至少包括一个第二变量，每个第二变量用于记录一个标识程序状态的改变的标识符。

6、根据权利要求5的程序控制器，其特征在于，使一程序状态发生的所述条件或操作由所述第二变量所标识，该第二变量存储一语句识别符执行导致在程序状态改变的条件或操作。

7、根据权利要求5的程序控制器，其特征在于，所述第二变量标识了包括有所述语句的激活程序循环。

8、根据权利要求5的程序控制器，其特征在于，还包括存储所述第二变量的存储器件，该存储器件包括一跟踪表。

9、根据权利要求1或2的程序控制器，其特征在于，所述有限状态应用程序还包括复合语句，所述复合语句由一条件部分和一动作部分组成，条件部分由一个或多个简单条件评价语句组成，每个评价给出某些系统条件是真还是假，并且由条件部分决定包括在动作部分中的动作是否应被完成。

10、根据权利要求9的程序控制器，其特征在于，在所述有限状态应用程序中为语句设置语法规则，从而，当导致每个所述程序状态发生的一个或多个条件或操作的记录中，记录了对有限状态应用程序中做出改变复合语句的状态活动的条件部分成立的决定的位置时，这种信息限定了所有的必要信息，以使在读出有限状态应用程序的上下文时唯一地确定在哪一个程序状态的哪一个语句的哪一个条件部分的哪一项产生了状态活动的哪一种转变。

11、根据权利要求9或10的程序控制器，其特征在于，导致每个所述程序状态发生的所述一个或多个条件或操作的记录中记录了对在有限状态应用程序中简单条件评价语句的位置，在所述位置，做出复合语句的条件部分成立的决定。

12、根据权利要求1的程序控制器，其特征在于，导致每个所述程序状态发生的所述一个或多个条件或操作的记录包括了发生状态活动的转变时间。

13、根据权利要求1或2的程序控制器，其特征在于，自动提供调试功能，这样，这些功能可以为所述程序控制器所使用，同时做为一个系统服务去执行所述有限状态应用程序而不必使用者干预，所述调试功能在所述程序控制器的执行期间被起动。

14、根据权利要求13的程序控制器，其特征在于，所述程序控制器有一装置把一激活的程序状态转到BREAKSTATE，该装置使一予定的调试功能发生，使所述有限状态应用程序停住，从而，调试和试验过程可以被启动。

15、根据权利要求13的程序控制器，其特征在于，所述程序控制器有一装置把一可选择的条件HALT语句插入一程序状态，当该HALT语句被执行时，发生一予定的调试功能，停止处理包含程序状态的程序循环，但不影响处理任何其他程序循环。