节点文献
BACnet应用层测试状态机自动生成研究
Auto-Generation of BACnet Application Layer Test TSM
【摘要】 协议状态机测试是通信协议一致性测试的重要内容,状态机的自动测试有利于提高协议测试的效率。本文首先介绍了扩展有限状态机模型,然后采用扩展有限状态机模型对BACnet应用层状态机进行了详细的分析,讨论了BACnet应用层测试状态机自动生成的可能性,最后提出了一个基于规则推理的测试状态机生成方法,该方法能够根据协议一致性声明自动生成测试状态机。
【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.
【关键词】 扩展有限状态机；
协议一致性测试；
测试自动生成；
基于规则推理；
BACnet；
【Key words】 EFSM； Protocol implement conformance testing； Test Auto-generation； RBR； BACnet；
【Key words】 EFSM； Protocol implement conformance testing； Test Auto-generation； RBR； BACnet；
【基金】 美国BACnet制造商协会(BMA)及BACnet测试实验室(BTL)资助
- 【文献出处】 微电子学与计算机 ,Microelectronics & Computer , 编辑部邮箱 ,2006年12期
- 【分类号】TN915.06
- 【被引频次】3
- 【下载频次】67