棱柱公差一致性验证技术的研究

分别按照国际中的包容要求、最大实体要求及最小实体要求 ,分析了棱柱形零件尺寸公差和形位公差一致性准则 ,给出了判别一致性的数学等效式 ,举例说明了棱柱公差一致性验证的过程 ,为棱柱形零件计算机辅助公差设计的一致性验证提供了理论方法。     

IEC 61850标准一致性测试的方案和现场应用

介绍了一致性测试仿真环境的基本构成，包括智能电子装置（IED）服务器端模拟器、客户端监控软件、系统配置工具、IED配置工具和协议分析工具。在分析现场测试需求的基础上，提出了实现变电站内IEC 61850标准一致性测试的总体方案。应用IEC 61850标准一致性测试与仿真培训系统，针对西安供电公司2个110 kV变电站进行了完整的测试。通过分析和研究测试结果，验证了变电站支持的IEC 61850功能，对数据模型等存在的问题进行了探讨。     

多模终端测试平台的搭建及仿真实现

为了改善现有终端测试平台的调试能力差、自动化功能不足和测试环境不真实等缺点,搭建了新的基于TTCN-3（Testing and Test Control Notation version 3)测试系统的多模终端无线资源管理（RRM）一致性测试平台,设计了关于多小区异系统测量过程的测试方案,根据该方案进行仿真,自动生成测试流程图和测试结果报告,不仅说明了多模终端的测量功能符合3GPP（3rd Generation Partnership Project）协议要求,而且有效验证了所搭建终端测试平台的合理性与优越性。     

基于IEC61850-9-2 LE的子站一致性测试系统的设计与实现

针对用于数字化变电站装置通信的IEC61850-9-2 LE协议,介绍了数字化子站一致性测试系统软、硬件设计方案中的实现细节和设计思想。依据《IEC61850-10, Ed. 1:变电站通信网络和系统.第10部分:一致性测试》对IEC61850-9-2 LE协议应用一致性进行了分层设计和分层解析。软件的静态结构采用模块化编程,动态数据信息交互采用多线程。本系统以一致性测试为核心兼顾通信测试工具扩展性,测试范围涵盖IEC61850-9-2 LE协议配置参数测试和功能测试。     

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

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

基于测量不确定度的测量过程特性分析

为了合理评估测量过程,应全面掌握过程特性,分析因测量不确定度产生的合格概率和误判风险及其影响。结合测量管理体系对测量过程的要求进行定量分析,给出不同测量能力指数下合格概率的精确数值和计算实例,为测量过程的符合性判定提供参考。计算结果表明,当测量结果位于合格区间上、下限附近时,误判概率增大,应采取相应措施降低风险,满足测量要求。     

集成数据流和控制流的协议测试集自动生成方法研究

测试集自动生成方法的研究是协议一致性测试领域中比较活跃的一个分支,提出了一种基于ＥＢＥ模型,集成数据流和控制流测试的新的协议测试自动生成方法并给出了其实现ＴＵＧＥＮ。ＥＢＥ模型中对协议的外部行为进行描述,强调变迁之间的数据依赖性。在ＴＵＧＥＮ中,我们引入控制流测试中的ＵＩＯ序列算法和描述协议不确定性的ＡＩＯ树的概念,运用协议约束集来灵活地控制自动生成过程中的协议空间搜索的复杂性,并采用测试集的验证     

基于标记变迁系统的可信计算平台信任链测试

可信计算是当今世界信息安全领域的重要潮流之一.根据国家有关规定,信息安全产品需要经过测评认证,但目前国内外对可信计算测试的理论与技术研究还非常不完善,也无相应测试工具或系统,这必然影响可信计算的发展.该文着眼于规范定义的信任链行为特征,以进程代数作为指称语义描述工具,以标记变迁系统作为操作语义,对规范定义的信任链行为特征进行了形式化描述,提出了一种基于标记变迁系统的信任链测试模型框架.针对信任链规范与实现之间的问题,从易测性出发对测试集进行了有效约简;并论证了信任链的规范实现与规范说明之间的关系,为测试用例构造方法提供了理论依据,从而解决了信任链测试这一难题.     

基于Web的WIA-PA一致性测试系统的设计和实现

从无线传感器网络协议一致性测试的角度,对WIA-PA协议测试技术进行了分析和研究,阐述了WIA-PA协议一致性测试的主要内容,提出了一种基于Web的WIA-PA一致性测试系统和测试方法,并通过典型测试实例的实现,说明该方法用于协议一致性测试的可行性.     

基于Petri网的Web服务交互行为一致性检测方法

在复杂多变且不可预知的因特网环境中,Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题,提出了一种将服务组合实例的服务交互行为Petri网模型应用于交互行为一致性检测的方法。首先,提出了一个Web服务交互行为的运行时监控框架,从行为抽象和提取方法、服务交互行为的捕获机制以及交互行为一致性运行时检测方法三方面进行了详细介绍。还详细描述了基于服务交互行为Petri网模型的一致性检测机制。最后,对一致性检测方法的负载和性能进行了充分的评估。