文章摘要
高莉.基于LTL的UML状态图测试用例生成方法[J].安徽建筑大学学报,2015,23(2):75-78
基于LTL的UML状态图测试用例生成方法
Test Cases Generation Method from UML Statechart Based on LTL
  
DOI:10.11921/j.issn.2095-8382.20150216
中文关键词: 软件测试  测试用例生成  UML状态图  线性时序逻辑
英文关键词: software testing  test case generation  UML state chart  LTL
基金项目:国家科技支撑计划(2012BAJ08B00);安徽高校省级自然科学研究重点项目(KJ2009A018Z);校青年科研专项经费(201183-14)
作者单位
高莉 安徽建筑大学 电子与信息工程学院计算机系安徽 合肥 230601 
摘要点击次数: 3470
全文下载次数: 0
中文摘要:
      测试用例的自动生成是软件测试研究的主要方向之一,针对软件开发过程中测试数据生成存在低效、无目的、冗余等问题,提出了基于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阅读器
关闭

分享按钮