应用UML2.0模型的测试用例生成方法

• 作者: 张琛 段振华
• 来源期刊: 西安交通大学学报
• 关键词: 测试用例 命题投影时序逻辑 模型检测 覆盖准则
• 年，卷（期）: 2011,（8）
• 页码范围: 18-23
• 分类号: TP311
• 语种: 中文

摘要

针对软件开发过程中测试自动化程度低的问题,在研究基于模型的测试用例生成技术的基础上,提出了一种基于UML2.0序列图与用例描述的测试用例生成方法.采用事件确定有限自动机来描述系统序列图,通过命题投影时序逻辑的模型检测技术,验证了自动机模型的正确性.使用自动机模型与用例描述来生成测试用例,该用例满足事件与全路径覆盖准则.通过对图书管理系统的分析表明,该方法不仅能够提高软件的测试效率,而且还确保了针对管理员的执行动作所产生的测试用例的正确性.