BACnet应用层测试状态机自动生成研究

• 作者: 余霞 周曼丽 许毅平
• 来源期刊: 微电子学与计算机
• 关键词: 扩展有限状态机 协议一致性测试 测试自动生成 基于规则推理 BACnet
• 年，卷（期）: 2006,（12）
• 页码范围: 91-95
• 页数: 5页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2006.12.027

摘要

协议状态机测试是通信协议一致性测试的重要内容,状态机的自动测试有利于提高协议测试的效率.本文首先介绍了扩展有限状态机模型,然后采用扩展有限状态机模型对BACnet应用层状态机进行了详细的分析,讨论了BACnet应用层测试状态机自动生成的可能性,最后提出了一个基于规则推理的测试状态机生成方法,该方法能够根据协议一致性声明自动生成测试状态机.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	许毅平	华中科技大学电子与信息工程系	27	303	9.0	17.0
2	周曼丽	华中科技大学电子与信息工程系	50	558	14.0	22.0
3	余霞	华中科技大学电子与信息工程系	3	5	1.0	2.0