| 基于Petri网的协议测试例自动生成 |
| |
| 引用本文： | 郑啸,秦锋. 基于Petri网的协议测试例自动生成[J]. 华中科技大学学报(自然科学版), 2006, 34(3): 25-28 |
| |
| 作者姓名： | 郑啸 秦锋 |
| |
| 作者单位： | 安徽工业大学,计算机学院,安徽,马鞍山,243002;安徽工业大学,计算机学院,安徽,马鞍山,243002 |
| |
| 基金项目： | 安徽省教育厅自然科学基金;安徽省高等学校青年教师科研资助计划 |
| |
| 摘 要： | Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.
|
| 关 键 词： | 协议测试 Petri网 测试和测试控制表示法(TTCN-3) 测试例产生 |
| 文章编号： | 1671-4512(2006)03-0025-04 |
| 收稿时间： | 2005-07-11 |
| 修稿时间： | 2005-07-11 |
Automatic test case generation of protocols based on Petri nets |
| |
| Zheng Xiao,Qin Feng. Automatic test case generation of protocols based on Petri nets[J]. JOURNAL OF HUAZHONG UNIVERSITY OF SCIENCE AND TECHNOLOGY.NATURE SCIENCE, 2006, 34(3): 25-28 |
| |
| Authors: | Zheng Xiao Qin Feng |
| |
| Abstract: | |
| |
| Keywords: | protocol testing Petri nets testing and test control notation version(TTCN-3) test case generation |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
