检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]华中科技大学电子信息与工程系,武汉430074
出 处:《计算机与数字工程》2007年第9期192-195,共4页Computer & Digital Engineering
摘 要:测试集是协议自动测试的基础,而其自动生成离不开被测实现IUT的EPICS。通过分析EPICS获得的协议支持信息,是测试集自动生成的重要依据。首先介绍了EPICS文件的基本内容,然后结合BACnet协议一致性测试,分析了EPICS信息的提出和组织,并由此生成事实库,为基于规则推理生成的测试集提供事实基础,最后给出了自动测试集中属性测试组和服务测试组的结构。Test suite is the base of protocol automated testing, and its auto-generation can’t be separated from the EPICS provided by IUT. The information of supporting protocol by analyzing the EPICS is important to auto-generation of test suite. Firstly, this paper introduces the essential content, and analyzes the generation and organization of information from EPICS with the purpose of BACnet protocol conformance test, and then describes the correlative fact database, which is fact foundation of the test suite automatically generated by rule reasoning. Finally, this paper presents the structure of property and service test group of test suite.
关 键 词:BACNET 电子格式协议一致性实现声明 事实库 自动测试
分 类 号:TP393.06[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:18.220.9.72