基于文档类型定义的实现一致性声明文稿及生成方法

以DTD元素为核心,由XML DTD 结构分析入手,借鉴ITU-T 的ICS 文稿设计方法,参考ITU-T的MOCS、MRCS和MICS文稿,结合基于XML的网络管理接口一致性测试,提出了基于DTD的ICS文稿,该文稿包括元素支持文稿、属性支持文稿和子元素支持文稿,提出了该文稿的生成方法,研制了应用于基于XML网络管理接口一致性测试的基于DTD的ICS文稿自动生成系统。

网管接口实现一致性声明文稿的定义方法

通过对部分现有网络管理接口实现一致性声明文稿共性的分析,总结出了实现一致性声明文稿的分类和所应涉及的范围,提出了通用的一致性声明文稿的基本组成,并给出了其一般的定义原则。此外,还指出了现有的一致性声明文稿模板中存在的某些不足之处,并提供了相应的改善方法。

基于BPEL的一致性声明文稿设计实现的研究

基于BPEL(Business Process Execution Language)的服务组合是Web服务的发展方向。基于BPEL的一致性声明文稿是基于BPEL的服务组合系统一致性测试内容和构造基于BPEL的服务组合系统测试用例的主要依据。基于一致性测试理论和BPEL/WSDL规范分析,研究基于BPEL/WSDL的各成分结构关系,提出基于BPEL的一致性声明文稿。该文稿包含10类子文稿:流程支持文稿、合作伙伴链接支持文稿、服务组件支持文稿、变量支持文稿、相关集支持文稿、消息支持文稿、各种处理支持文稿、各种活动支持文稿、接口支持文稿、操作支持文稿。设计实现了文稿自动生成系统,用于自动生成基于BPEL的一致性声明文稿。

标准之间的一致性及其测试方法研究

本文围绕标准之间的一致性及其测试实现方法,对其相关概念、理论和各技术环节、一致性评价流程,以及实用性和应用前景等几个方面进行了研究和探讨。

基于SMIv2的ICS文稿及生成方法

借鉴ITU T的实现一致性声明 (ICS ,Implementationconformancestatement)文稿设计方法 ,分析了SMIv2的文法规则 ,提出了基于SMIv2的ICS文稿格式 .该ICS文稿可以反映出管理信息模型中描述的各种管理对象信息 ,为网管接口的实现者声明其对管理信息模型的实现情况提供标准化的描述形式 ,能够满足基于SNMP的网管接口信息模型一致性测试需求 .

基于EPICS的BACnet自动测试

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