|
|||||
|
|
| EFSM模型中测试序列的产生方法 | |
| 引用本文： | 张宏丽,田振清,高浥川,邱国华.EFSM模型中测试序列的产生方法[J].内蒙古师范大学学报(自然科学版),2003(Z1). |
| 作者姓名： | 张宏丽 田振清 高浥川 邱国华 |
| 作者单位： | [1]内蒙古师范大学电化教育系 [2]内蒙古农业大学 [3]内蒙古 [4]呼和浩特 |
| 摘 要： | 在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中,测试实例产生的方法非常重要。介绍了EFSM模型中E-UIO序列的产生方法。 |
| 关 键 词： | 扩展有限状态机 有限状态机 形式描述语言 |
| 本文献已被 CNKI 维普 等数据库收录！ | |