论文部分内容阅读
研究以统一建模语言UML分析设计模型进行系统测试的方法。为了从UML设计模型中的活动图生成测试场景,给出了UML活动图的形式化定义和基路径方法。由于活动图中并发活动单入单出的性质,对并发活动进行压缩,用基路径方法找出其中的基路径,然后替换并发活动生成完整的测试场景。为了避免场景数量爆炸,文中对活动图的循环和并发进行了约束。最后讨论了从测试场景生成测试用例的方法,并通过一个实例说明了应用本方法的可行性和有效性。