| BACnet应用层测试状态机自动生成研究 |
| |
| 引用本文： | 许毅平,余霞,周曼丽.BACnet应用层测试状态机自动生成研究[J].微电子学与计算机,2006,23(12):91-95. |
| |
| 作者姓名： | 许毅平 余霞 周曼丽 |
| |
| 作者单位： | 华中科技大学,电子与信息工程系,湖北,武汉,430074 |
| |
| 基金项目： | 美国BACnet制造商协会(BMA)项目;BACnet测试实验室(BTL)基金 |
| |
| 摘 要： | 协议状态机测试是通信协议一致性测试的重要内容，状态机的自动测试有利于提高协议测试的效率。本文首先介绍了扩展有限状态机模型，然后采用扩展有限状态机模型对BACnet应用层状态机进行了详细的分析．讨论了BACnet应用层测试状态机自动生成的可能性，最后提出了一个基于规则推理的测试状态机生成方法．该方法能够根据协议一致性声明自动生成测试状态机。
|
| 关 键 词： | 扩展有限状态机 协议一致性测试 测试自动生成 基于规则推理 |
| 文章编号： | 1000-7180（2006）12-0091-05 |
| 收稿时间： | 2005-11-15 |
| 修稿时间： | 2005年11月15 |
Auto-Generation of BACnet Application Layer Test TSM |
| |
| XU Yi-ping,YU Xia,ZHOU Man-li.Auto-Generation of BACnet Application Layer Test TSM[J].Microelectronics & Computer,2006,23(12):91-95. |
| |
| Authors: | XU Yi-ping YU Xia ZHOU Man-li |
| |
| Abstract: | Testing for TSM is one of the important parts of communication protocol conformance test, Auto-Testing for TSM can improve efficiency. Firstly, this paper introduces the model of EFSM, and then analyses deeply the BACnet application layer TSM using EFSM, and discusses the probability of auto-generation of BACnet application layer Test TSM. Finally, the paper presents an auto-generation method based on RBR to auto-generate application layer Test TSM according to protocol conformance statements. |
| |
| Keywords: | BACnet |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
