Abstract: Integration testing is an important step of object-oriented software testing, and generating testing sequence is an important work of generating integration test case. Based on characters of UML collaboration diagram, this paper transfers collaboration diagram to interprocedural restricted CFG, and presents coverage criteria and algorithms of generating test case based on interprocedual restricted CFG.

Key words: UML Collaboration diagram, IRCFG, Integration testing, Coverage criteria

摘要： 集成测试是面向对象软件测试的一个重要步骤，生成集成测试用例的一个重要内容是测试序列的生成。针对集成测试序列数量容易膨胀的现象，本文根据UML协作图的特点，将协作图转化为过程间受限控制流图，并给出了由Rational Rose开发的规格说明文件生成过程间受限控制流图的算法、与基于过程间受限控制流图的覆盖准则与生成测试序列算法。

关键词: UML协作图, 过程间受限控制流图, 集成测试, 覆盖准则