By judging the event sequence when running a program and the event constrains described by E-CSPE, we can test the correctness of a CORBA distributed object program.
通过判断程序执行时所产生的事件序列和E -CSPE描述的事件约束，可以检测被测CORBA分布式对象程序的正确性。
The event sequence is a string enclosed in angle brackets, such as or <Shift-Button-3>.
事件序列是放在尖括号中的字符串，例如，或者
The event sequence is a string enclosed in angle brackets, such as or <Shift-Button-3>.
事件序列是放在尖括号中的字符串，例如，或者
应用推荐