Based on characters of UML collaboration diagrams,applies IRCFG expressing the logic control relation of messages in collaboration diagrams.

• 针对集成测试序列数量容易膨胀的现象,根据UML协作图的特点,应用过程间受限控制流图(IR-CFG)描述协作图的消息间逻辑控制关系。