...响，构建了包含来自状态图和类图信息的带OCL约束的顺序图；针对集成测试序列数目轻易膨胀的现象，用过程间受限控制流图（IRCFG）描述顺序图的消息间逻辑控制关系；并先容了IRCFG的几种覆盖准则与基于IRCFG天生测试序列的方法，采用范畴-划分方法天生测试数据。
基于16个网页-相关网页
函数间约束的控制流图(Interprocedural Restricted Controlflow Graph)
根据UML顺序图中消息控制条件，使用函数间约束的控制流图（IRCFG）描述出UML顺序图中的消息事件序列。
基于14个网页-相关网页