期刊文献+

BACnet应用层状态机在线测试研究

The Study of On-line Testing for BACnet Application Layer TSM
下载PDF
导出
摘要 随着BACnet网络技术的应用发展,对BACnet网络设备协议一致性测试的要求也越来越强烈,本文在比较现有的协议一致性测试方法的基础上,给出了基于在线测试的BACnet协议测试方法,研究了BACnet应用层状态机的运行模式,并采用有限状态机模型对BACnet应用层状态机进行了分析,给出了相应的状态机状态判定方法和在线测试的软件结构。 With the development of BACnet technology, the requirements of protocol implement conformance testing become more and more intense. After comparing the methods of protocol implement conformance testing in existence, the paper presents a BACnet protocol test method based on-line. And then, the paper studies the running model of BACnet application layer TSM, and analyses the TSM using finite state machine model. Finally, this paper presents an algorithm to identify the state of TSM, and describes the software framework of On-line testing.
出处 《计算机科学》 CSCD 北大核心 2006年第6期76-78,82,共4页 Computer Science
基金 美国BACnet制造商协会(BMA)及BACnet测试实验室(BTL)资助。
关键词 有限状态机 协议一致性测试 状态判定 BACNET FSM, Protocol implement conformance testing, State determination,BACnet
  • 相关文献

参考文献5

  • 1吴建平,尹霞.基于形式化方法的协议测试理论[J].清华大学学报(自然科学版),2001,41(4):203-208. 被引量:9
  • 2ASHRAE. BACnet: A Data Communication Protocol for Building Automation and Control Networks 135-2001
  • 3Spitsyna N, Trenkaev V. FSM Based Interoperahility Testing of Communication Protocols. Control and Communications, the 2003 IEEE-Siberian Conference on, 2003. 20 ~ 23
  • 4Zhao Yixin , Yin Xia ,Han Bo, et al. Online Test System Applied in Routing Protocol Test Modeling. Analysis and Simulation of Computer and Telecommunication Systems, In: Proceedings of Ninth International Symposium on, Aug. 2001. 331~338
  • 5赵邑新 吴建平.应用于在线测试的状态判定算法[J].电子学报,2000,28(11):83-87.

二级参考文献7

  • 1[2]Broy M. Formal description techniques——how formal and descriptive are they? [A]. Gotzhein R, Bredereke J. Proceedings of IFIP TC6 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI [C]. German: Kaiserslautern, 1996. 95-110.
  • 2[3]Bolognesi T, Brinksma E. Introduction to the ISO specification language LOTOS [J]. Computer Network and ISDN Systems, 1987, 14: 25-29.
  • 3[4]ISO/IEC JTV1/SC21 WG7. Information Retrieval, Transfer and Management for OSI Framework: Formal Methods in Conformance Testing [S].
  • 4[5]Tretmans J. A formal Approach to Comformance Testing [D]. Enschede: University of Twente, 1992.
  • 5[6]Tretmans J. A formal approach to comformance testing [A]. Rafiq O. Sixth International Workshop on Protocol Test System [C]. NorthHolland: Elseviern Science B V, 1993. 257-276.
  • 6[7]Tretmans J. Testing labelled transition systems with input and output [A]. 8th IFIP WG6.1 International Workshop on Protocol Test System [C]. NorthHolland, 1995.
  • 7[1]Kristoffersen F, Phalippou M, Tretmans J. Formal methods in conformance testing [A]. Proceedings of IFIP Workshop on PSTV.'96 [C]. 1996. 35-42.

共引文献8

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部