论文部分内容阅读
测试集是协议自动测试的基础,而其自动生成离不开被测实现IUT的EPICS。通过分析EPICS获得的协议支持信息,是测试集自动生成的重要依据。首先介绍了EPICS文件的基本内容,然后结合BACnet协议一致性测试,分析了EPICS信息的提出和组织,并由此生成事实库,为基于规则推理生成的测试集提供事实基础,最后给出了自动测试集中属性测试组和服务测试组的结构。