基于UML活动图的测试用例自动生成方法研究

摘要

基于UML活动图对系统测试的方法进行研究.针对活动图半形式化特性,给出了活动图的形式化描述及测试覆盖准则的定义.重点分析并发活动的顺序及排列,引入人机动态交互的方法在测试场景生成算法上加以约束,避免了测试场景集数量爆炸,使自动化生成测试用例可行性有一定提高.最后,讨论了从测试场景到测试用例的方法,从而为UML活动图的自动化测试提供了系统的、有效的、可行的方法.