【摘 要】
：
本文主要工作集中于基于TTCN-3的协议一致性测试方法研究,介绍了TTCN-3核心语言.以DNS协议为例,在对DNS协议进行分析的基础上,结合TTCN-3测试系统的体系结构和一致性测试过程,提出了一种通过执行TTCN-3抽象测试套来验证协议实现正确性的方法.论文主要是根据TTCN-3核心语言的相关规范与DNS协议的工作方式,设计了测试DNS协议的TTCN-3抽象测试套;根据TTCN-3控制接口规范
【机 构】
：
北京交通大学计算机与信息技术学院,北京100044 中铁信息工程集团,北京100044
论文部分内容阅读
本文主要工作集中于基于TTCN-3的协议一致性测试方法研究,介绍了TTCN-3核心语言.以DNS协议为例,在对DNS协议进行分析的基础上,结合TTCN-3测试系统的体系结构和一致性测试过程,提出了一种通过执行TTCN-3抽象测试套来验证协议实现正确性的方法.论文主要是根据TTCN-3核心语言的相关规范与DNS协议的工作方式,设计了测试DNS协议的TTCN-3抽象测试套;根据TTCN-3控制接口规范,设计并实现了TTCN-3测试系统中用于实现抽象测试套数据与实际传输数据之间相互转换的编码解码器.
其他文献
网络链接预测问题是链接挖掘的一个重要部分,指的是通过已知的网络结构数据预测网络中尚未连接的任意节点间产生链接的可能性.在大数据时代,互联网社会网络和其他复杂网络中的链接预测问题研究成为热门领域.链接预测相关的方法已被广泛地应用于社会网络关系挖掘、个性化推荐和生物制药等领域.在复杂网络的链接预测问题中,通常利用相似性矩阵来表示网络中任意两个节点之间存在链接的可能性,因此相似性矩阵的计算是链接预测中的
大数据平台,因其数据多、价值高和存储集中地特点,已经成为对攻击者非常有吸引力的目标.因此,大数据安全是一个非常重要的研究课题.然而,当前两种保障大数据平台(如Hadoop)数据安全的常见方法各有不足:一种是访问控制,通常由系统软件实现,存在被外部黑客攻破或内部管理员绕过的风险;另一种十数据加密,虽然密码学方法的安全性较高,但加密解密海量数据,增加了额外开销.综上所述,现有方法难以在保护海量数据时既
数据缺失是一种十分重要而又很常见的数据质量问题.对缺失数据的常见处理方法为估计缺失值或者直接删除缺失记录.这两种方法都只用到了未缺失数据中的信息,而隐含在缺失记录中的信息则被舍弃了.在非随机缺失中各个缺失属性并不是独立的,其中存在着依赖关系.本文使用关联规则挖掘的技术,主要是关联规则挖掘,从发生非随机缺失的数据集中发现属性间的缺失依赖关系.利用发现的依赖关系,可以对数据分析或者信息采集改进提供帮助
分析软件自身故障在软件运行过程中的行为规律是分析"故障-错误-失效"链式效应的基础.但在研究软件故障行为特征时面临的关键问题是故障行为集合的庞大与复杂.因此,如何约简故障行为集合是研究故障行为规律的基本前提."当两个程序具有相似的基本属性时,其故障行为和失效行为也具有相似性"这一推断为约简故障集提供了良好的依据,但尚未得到验证.本文核心工作即验证该推断的正确性.为此,首先提出一种针对程序基准行为、
本文提出了一种具有小世界特性的无线传感器网络簇级拓扑算法,引入Temple university吴杰教授提出的UCR(Unequal Cluster-based Routing)机制,靠近基站簇尺寸变小,解决基站附近网络耗能过多的热点问题.通过OPNET对构造的簇级拓扑结构进行仿真,当超级节点数目增加到6-18时候,平均路径长度降低,路径长度变化率变化降低,节能曲线变化率升高,能量降低约40％.仿
现有模拟电路故障诊断方法多是重点针对模拟电路的结构故障(参数故障),而没有对模拟电路的功能故障进行深入研究.在实际电路中模拟电路多是以模块化的形式实现特定的应用功能,因此对模拟电路按功能进行分类,深入研究其功能故障的诊断方法,是一个实用化的研究方向.本文以空间电子仪器测试系统中的综合信号处理电路为应用背景,研究了模拟电路模块划分原则和方法,提出了一种模块化功能故障检测方法,并构造了模拟电路第一级功
三维多核SoC能够为构建高能效系统提供一种有力的解决方案.近年来,多核设计广泛采用电压/频率岛优化系统能耗.然而,不断增加的工艺偏差导致电压/频率岛的性能参数偏离其额定值.在较大偏差的影响下,可能无法满足任务的截止时间约束.另外,已有的研究工作大多针对二维平台,无法很好地解决因三维集成而不断恶化的发热问题.面向采用电压/频率岛设计的三维多核SoC,本文提出一个硅后优化框架,最小化系统能耗的同时,满
软件的高复杂性是其可靠性难以精确评估的主要原因,传统模型在不同环境下、不同类型的软件系统的预测能力差别极大,使得软件可靠性模型选择极其困难.基于核函数的软件可靠性模型具有动态适应性,得到很多研究者关注,是目前软件可靠性预测研究领域重要发展方向之一.使用相关向量机对软件失效时间数据与发生在其之前的m次失效时间数据之间的关系进行建模,从而捕捉失效时间内在的依赖关系.在10个不同类型失效数据集上,采用M
针对云计算系统IaaS(Infrastructure as a Service)层虚拟机与物理节点映射过程数据中心可靠性问题,本文提出一种多目标优化虚拟机容错分配方法.该方法首先在IaaS层建立虚拟机容错管理结构,设计虚拟机容错分配流程.然后针对影响虚拟机容错分配的多个因素,建立多目标优化虚拟机容错分配模型,该模型综合考虑了服务级合约违背率、资源利用、电源消耗和容错成本四个因素的多目标优化.最后针
如今,人们对软件的依赖程度越来越大,需求也越来越高,而软件缺陷导致的事故频发.现有技术发现软件缺陷的方法有限,软件质量的现状不容乐观.如何定位软件缺陷,发现软件缺陷之间的亲缘关系和产生的原因,以及如何直观显示被发现的软件缺陷,特别是大数据测试结果的直观图形显示,一直是该领域十分关心的科学问题.本文构建和设计了一个软件缺陷谱系分类可视化模型,包括软件缺陷谱系关系的分析方法,三种谱系分类绘图法(直线绘