作者:余霞; 许毅平; 柳健bacnet电子格式协议一致性实现声明事实库自动测试
摘要:测试集是协议自动测试的基础,而其自动生成离不开被测实现IUT的EPICS。通过分析EPICS获得的协议支持信息,是测试集自动生成的重要依据。首先介绍了EPICS文件的基本内容,然后结合BACnet协议一致性测试,分析了EPICS信息的提出和组织,并由此生成事实库,为基于规则推理生成的测试集提供事实基础,最后给出了自动测试集中属性测试组和服务测试组的结构。
注:因版权方要求,不能公开全文,如需全文,请咨询杂志社