论文部分内容阅读
随着软件测试自动化的要求，以及UML在面向对象软件开发领域中的广泛应用，基于UML的面向对象软件测试正日益受到关注。集成测试是面向对象软件测试的一个重要阶段，在基于UML协作图生成面向对象软件的集成测试用例的过程中，一个重要内容是测试序列的生成。针对集成测试序列数量容易膨胀的现象，根据UML协作图的特点，应用过程间受限控制流图（IR—CFG）描述协作图的消息间逻辑控制关系。给出了由Rational Rose开发的规格说明文件生成IRCFG的算法，并介绍了IRCFG的几种覆盖准则与基于IRCFG生成测试序列