| 统一建模语言状态图的测试用例生成方法 |
| |
| 引用本文： | 唐波,廖伟志.统一建模语言状态图的测试用例生成方法[J].计算机仿真,2007,24(8):90-92,101. |
| |
| 作者姓名： | 唐波 廖伟志 |
| |
| 作者单位： | 广西师范学院信息技术系,广西,南宁,530001;广西师范学院信息技术系,广西,南宁,530001 |
| |
| 摘 要： | 目前人们对统一建模语言状态图产生测试用例的研究仅建立在标准UML statecharts的基础之上,其并不适用于描述实时系统的时间扩展UML statecharts.作者在这里提出了一种时间扩展UML statecharts混合时间Petri网模型的构造方法.考虑到时间扩展UML staecharts具有时间描述、层次结构和并发结构,难以直接根据扩展UML statecharts产生测试用例,文中按照时间扩展UML statecharts的语义,论述了时间扩展UML satecharts的混合时间Petri网模型的构造方法、混合时间Petri网模型测试用例生成方法,最终实现对时间扩展UML statecharts的测试.
|
| 关 键 词： | 统一建模语言状态图 混合时间佩特里网 测试用例 实时系统 |
| 文章编号： | 1006-9348（2007）08-0090-03 |
| 修稿时间： | 2006-05-172006-07-28 |
Generating Test Case Based on Time Extended Uml Statecharts |
| |
| TANG Bo,LIAO Wei-zhi.Generating Test Case Based on Time Extended Uml Statecharts[J].Computer Simulation,2007,24(8):90-92,101. |
| |
| Authors: | TANG Bo LIAO Wei-zhi |
| |
| Affiliation: | Department of Information Technology, Guangxi Normal University, Nanning Guangxi 530001, China |
| |
| Abstract: | |
| |
| Keywords: | UML statecharts Hybrid time Petri nets Test cases Real time system |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
