Kung 等人 [20] 运用对象状态图(Object State Diagram，OSD) 对类程序进行建模表示，并通过构造测试树(Test Tree)生成测试用例；D.
基于12个网页-相关网页
图2是JSF生命周期的第五个阶段的一个对象状态图，包括时间有效性验证和处理。
Figure 2 is an object state diagram of the six phases of the JSF lifecycle, including validation and event handling.
介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。
Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.
图15.2展示了这个对象的状态图。
应用推荐