• 中国计算机学会会刊
  • 中国科技核心期刊
  • 中文核心期刊

J4 ›› 2004, Vol. 26 ›› Issue (2): 32-35.

• 论文 • 上一篇    下一篇

基于通信扩展有限状态机的测试集生成技术

彭熙 李艳 肖德宝   

  • 出版日期:2004-02-01 发布日期:2010-07-03

  • Online:2004-02-01 Published:2010-07-03

摘要:

在协议一致性测试中,选择恰当的测试例至关重要。文章介绍协议一致性测试的基本概念及有限状态机和扩展有限状态机的测试模型,重点探讨基于通信扩展有限状态机的测试集生成技术。

关键词: 通信扩展有限状态机 测试集生成 通信协议 协议测试集