统一建模语言状态图的测试用例生成方法  

Generating Test Case Based on Time Extended Uml Statecharts

作　　者：唐波[1] 廖伟志[1] 

机构地区：[1]广西师范学院信息技术系,广西南宁530001

出　　处：《计算机仿真》2007年第8期90-92,101,共4页Computer Simulation

基　　金：广西科学基金项目(桂科青0640032)

摘　　要：目前人们对统一建模语言状态图产生测试用例的研究仅建立在标准UML statecharts的基础之上,其并不适用于描述实时系统的时间扩展UML statecharts。作者在这里提出了一种时间扩展UML statecharts混合时间Petri网模型的构造方法。考虑到时间扩展UML staecharts具有时间描述、层次结构和并发结构,难以直接根据扩展UML statecharts产生测试用例,文中按照时间扩展UML statecharts的语义,论述了时间扩展UML satecharts的混合时间Petri网模型的构造方法、混合时间Petri网模型测试用例生成方法,最终实现对时间扩展UML statecharts的测试。In view of the fact that the UML statecharts testing research is based on the standard UML statecharts, it can not describe the real - time extended UML statecharts properly. The paper raises a method that can construct time extend UML statecharts and mix time Petri by the net model. Considering that time description, level structure and co - existing structure all exist in the time extend UML statecharts, the test example can not be created directly. According to the meaning of the time extand UML statecharts, a construction method and testing example creating method of hybrid time Petri net model are proposed in this article, which can realize the time extand UML statecharts testing.

关 键 词：统一建模语言状态图 混合时间佩特里网 测试用例 实时系统 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]