论文部分内容阅读
本文提出了一个基于UML顺序图产生测试序列的方法。根据UML顺序图中消息控制条件,使用函数间约束的控制流图(IRCFG)描述出UML顺序图中的消息事件序列。首先,分析UML顺序图的消息控制条件,构造与其相等价的IRCFG图;然后,根据测试覆盖准则采用类似完全IRCFG路径覆盖方法来产生测试序列。在文中还通过一个实例说明该方法的实现过程,进一步阐述该方法的可行性。