摘要
目前人们对统一建模语言状态图产生测试用例的研究仅建立在标准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.
出处
《计算机仿真》
CSCD
2007年第8期90-92,101,共4页
Computer Simulation
基金
广西科学基金项目(桂科青0640032)
