UML顺序图驱动的动态行为测试

摘要

提出了一个模型驱动的测试方法,基于UML顺序图模型生成测试用例,并利用模型指导对程序的插装以收集运行时行为信息,执行测试后可以通过分析预期执行轨迹和运行时执行轨迹的一致性来确定顺序图描述的系统预期行为是否被正确实现。实现了一个原型工具,对上述方法提供支持。