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>.
事件序列是放在尖括号中的字符串,例如, 或者
one is to look at the sequence of event, look at these sequence in October 29, stock market crashed, two month later, 9% unemployment peaked at 9%.
一种是看看事件发生的时间,看看顺序,10月29号,股票市场崩溃,两个月后,失业率上升到。
应用推荐