BACnet协议一致性自动测试研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 1 绪论 | 第8-15页 |
| ·协议测试的基本概念 | 第8-9页 |
| ·BACNET协议简介 | 第9-10页 |
| ·基于扩展有限状态机一致性测试模型 | 第10-13页 |
| ·协议一致性测试 | 第10-11页 |
| ·基于扩展有限状态机一致性测试的概念 | 第11-12页 |
| ·基于扩展有限状态机一致性测试的模型 | 第12-13页 |
| ·本文研究内容 | 第13-15页 |
| 2 基于规则的协议状态机的自动生成 | 第15-29页 |
| ·协议状态机测试理论分析 | 第15-18页 |
| ·FSM 和EFSM 的形式化描述 | 第15-17页 |
| ·BACnet 状态机测试分析 | 第17-18页 |
| ·BACNET应用层状态机规则分析 | 第18-24页 |
| ·BACnet 状态机状态集 | 第18-20页 |
| ·状态机参数变量与谓词集合 | 第20-22页 |
| ·状态变迁 | 第22-24页 |
| ·基于规则的应用层状态机自动生成 | 第24-28页 |
| ·事实库 | 第25-26页 |
| ·规则库 | 第26-27页 |
| ·推理机 | 第27-28页 |
| ·本章小结 | 第28-29页 |
| 3 基于EPICS 的测试集的生成 | 第29-46页 |
| ·EPICS 文件的作用 | 第29-35页 |
| ·EPICS 文件介绍 | 第30-31页 |
| ·EPICS 是协议一致性测试的基础 | 第31-34页 |
| ·EPICS 的解析流程 | 第34-35页 |
| ·BACNET抽象测试集 | 第35-43页 |
| ·抽象测试集 | 第35-38页 |
| ·BACnet 测试集的组成分析 | 第38-40页 |
| ·BACnet 测试集中的测试规则 | 第40-43页 |
| ·测试集的组织 | 第43-45页 |
| ·本章小结 | 第45-46页 |
| 4 测试脚本自动生成的实现 | 第46-56页 |
| ·测试集的描述方法 | 第46-49页 |
| ·使用脚本语言的原因 | 第46页 |
| ·BTS 脚本语言 | 第46-49页 |
| ·测试规则匹配与添加删除 | 第49-52页 |
| ·推理匹配 | 第49-50页 |
| ·测试规则的添加与删除 | 第50-52页 |
| ·测试例的选取与修改 | 第52-53页 |
| ·测试脚本自动生成的实现 | 第53-55页 |
| ·本章小结 | 第55-56页 |
| 5 总结与展望 | 第56-58页 |
| 致谢 | 第58-59页 |
| 参考文献 | 第59-62页 |
| 附录1 攻读学位期间发表论文目录 | 第62页 |
