基于LTL的UML状态图测试用例生成方法.pdfVIP

第23卷第2期 安徽建筑大学学报 V01．23No．2 JournalofAnhui 2015年4月 JianzhuUniversity Apr．2015 1301：10．11921／j．issn．2095—8382 基于LTL的UML状态图测试用例生成方法 高 莉 (安徽建筑大学电子与信息工程学院计算机系，安徽合肥230601) 摘要：测试用例的自动生成是软件测试研究的主要方向之一，针对软件开发过程中测试数据生成存在低 效、无目的、冗余等问题，提出了基于UML状态模型图的面向对象类级测试用例生成方法，将UML状态图 转换成相应的事件确定有限状态机，通过线性时序逻辑的模型检测技术，验证有限状态机模型的正确性，实 验结果表明，该方法能够在不降低迁移覆盖准则的情况下，生成数量少、针对性强的测试用例集。 关键词：软件测试；测试用例生成；UML状态图；线性时序逻辑 中图分类号：TP3l 文献标识码：A 文章编号：2095—8382(2015)02-075-04 GenerationMethodfromUMLStatechartBasedonLTL GAOLi of ScienceElectronicandInformation (DepartmentComputer Engineering Institute。Anhui 230601，China) JianzhuUniversity，Hefei，Anhui Abstract：AutomaticoftestcasesiSoneofthemaindirectionsofresearchinsoftware generation software inefficienciesexistintestdata testing．For developmentprocess generation，nopurpose， on class-level andother testcase methodbased redundancyissues，proposedgeneration object—oriented finite UMLstatechart．UMLstatechartiSconvertedintothe eventdeterministicstate corresponding Linear-time model to thecorrectnessofthe machine，by Logic checkingtechniquesverify Temporary machine resultsshowthatthismethodcanmeetthe finitestate model．The experimental migration