基于UML建模的软件测试系统设计  

Software testing system design based on UML modeling

作　　者：陈锐忠 魏理豪 梁哲恒 

机构地区：[1]南方电网公司信息化评测重点实验室,广东广州510600 [2]广东电网有限责任公司信息中心,广东广州510600

出　　处：《电子设计工程》2016年第21期57-59,共3页Electronic Design Engineering

摘　　要：针对当前UML建模在软件设计中的广泛应用,提出一种基于模型的软件自动化测试方案。为实现测试方案,通过UML状态图对软件模型进行构建,同时利用EFSM模型生成路径转换序列,借助Petri网的可覆盖性、可达性,将UML状态图转换为Petri网,再通过Petri网对上述转换的路径进行分析,从而消除了传统测试用例生成时存在的缺点,最后通过实验验证了该算法的严谨性和有效性。In view of the wide application of UML modeling in software design, a new model based software testing scheme is proposed. In order to implement the test plan, the software model is constructed by UML state diagram, and the EFSM model is used to generate the path transformation sequence. The UML state graph is transformed into Petri net and the Petri net is analyzed.

关 键 词：UML建模 软件测试 EFSM模型 PETRI网 用例生成 

分 类 号：TN0[电子电信—物理电子学]