| 高莉.基于LTL的UML状态图测试用例生成方法[J].安徽建筑大学学报,2015,23(): |
| 基于LTL的UML状态图测试用例生成方法 |
| UML Statechart Test Case Generation Method Based on LTL |
| 投稿时间：2014-10-05 修订日期：2015-03-27 |
| DOI： |
| 中文关键词: 软件测试 测试用例生成 UML状态图 线性时序逻辑 |
| 英文关键词: software testing test case generation UML state chart LTL |
| 基金项目:国家科技支撑计划(2012BAJ08B00); 校青年科研专项经费项目(2011183-14) |
|
| 摘要点击次数: 2752 |
| 全文下载次数: 4 |
| 中文摘要: |
| 测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于UML状态模型图的面向对象类级测试用例生成方法,将UML状态图转换成相应的事件确定有限状态机,通过线性时序逻辑的模型检测技术,验证有限状态机模型的正确性,实验结果表明,该方法能够在不降低迁移覆盖准则的情况下,生成数量少、针对性强的测试用例集。 |
| 英文摘要: |
| Automatic generation of test cases is one of the main directions of research in software testing. For software development process inefficiencies exist in test data generation, no purpose, redundancy and other issues, proposed test case generation method based on object-oriented class-level UML state chart. UML state chart is converted into the corresponding event deterministic finite state machine, by Linear-time Temporary Logic model checking techniques to verify the correctness of the finite state machine model. The experimental results show that this method can meet the migration standard coverage metric, to generate the number of small, targeted test set. |
|
查看全文
查看/发表评论 下载PDF阅读器 |
| 关闭 |
