|
|||||
|
|
| EFSM的等价转换和通信协议一致性测试 | |
| 引用本文： | 庞其祥,程时端.EFSM的等价转换和通信协议一致性测试[J].通信学报,1997,18(4):37-42. |
| 作者姓名： | 庞其祥 程时端 |
| 作者单位： | 北京邮电大学 |
| 基金项目： | 国家自然科学基金,北京邮电大学95校测试项目 |
| 摘 要： | 绝大多数通信协议是以ＥＦＳＭ（扩展的有限状态机）来描述的。本文首先给出ＥＦＳＭ的形式化定义，然后提出ＥＦＳＭ的一种等价转换算法及其证明。通过协议转换，可以使生成一致性测试集的方法得到简化，并且生成的测试实例具备一定的诊断数据流错误的能力 |
| 关 键 词： | EFSM SDL 一致性测试 协议等价转换 测试集生成 |
Equivalent Transformation of EFSM and Protocol Conformance Testing |
|
| Pang Qixiang,Cheng Shiduan,Jin Yuehui.Equivalent Transformation of EFSM and Protocol Conformance Testing[J].Journal on Communications,1997,18(4):37-42. | |
| Authors: | Pang Qixiang Cheng Shiduan Jin Yuehui |
| Abstract: | |
| Keywords: | EFSM SDL conformance testing equivalent transformation test generation |
| 本文献已被 CNKI 维普 等数据库收录！ | |