基于测试序列动态选择技术的测试管理的设计与实现

协议测试是目前计算机研究领域中的一个重要的研究方向。本文对协议训测试管理部分进行了深入地探讨,设计实现了测试管理子系统,重点讨论了基于浅度搜索和深度搜索的测试序列动态选择技术。     

基于并发TTCN的协议互操作性测试系统的研究

该文从定义并发TTCN着手,介绍了协议测试的概念和内容,详细讨论了协议互操作性测试的意义及其相关的语义定义,该文最后给出了一种改进的协议互操作性测试系统的结构。     

基于TTCN的IPv6协议测试

基于标准的协议测试描述语言TTCN，设计了一种针对于IPv6协议簇的软件接口，搭建了具体的网络测试环境，能够在谊测试环境中进行IPv6协议的一致性测试。最后，作为例子，对WIN2000的ICMPv6协议实现进行了测试。     

基于TTCN的IPv6协议测试

在分析IPv6协议特点及测试需求的基础上,结合树表结合表达法(TTCN)提出了IPv6测试描述法,采用预定义报头和数据包声明表,实现IPv6测试数据描述;采用测试描述法和执行系统互动的方式实现复杂算法、根据测试集结构和数据库应用特点,采用数据库存储测试集,设计了包含30个表的数据库系统,支持测试执行过程中的快速查找和反馈存储能力．设计了客户／服务器结构的测试系统,给出了测试例执行算法,在多种IPv6产品上实践了一致性测试。     

一种形式化的基于TTCN的测试执行方法

探讨基于形式化技术的测试执行方法是开展形式化的协议一致性测试活动的关键环节．本文提出了一种形式化的基于测试描述语言ＴＴＣＮ的操作语义的测试执行方法，并使用标号变迁系统刻画了这一方法的整个执行过程，同时讨论了这个方法的一个具体实现．这种形式化的基于ＴＴＣＮ的测试执行方法非常适合于构造通用的协议测试系统，同时也是进行测试集的自动验证的有效手段.     

并发TTCN测试执行器的实现研究

并发TTCN同时拥有多个测试部件的特性，改变了整个测试框架，也带来了如何协调和管理测试部件之间通信的新问题，本文在传统TTCN测试执行模块的基础上为并发TTCN设计了测试执行模块的整体模框架，并进行 了具体的实现。     

基于FSM的形式化测试序列生成方法

有限状态机是协议测试序列生成中常用到的数学模型，本文在介绍ＦＳＭ的基础上，总结了国外几种常见的基于ＦＳＭ的测试序列生成技术，并对我们研究中的ＰＡＤ测试序列的生成进行介绍。     

测试序列生成的形式方法

本文深入浅出系统全面的阐述了协议测试序列生成的形式方法。     

并发TTCN测试执行机的设计与实现

提出了一种通用并发TTCN测试执行机的设计方法.在测试并发协议实现时,采用FIFO调度算法解决了并发测试例的执行问题,并在借鉴抽象I/O队列思想的基础上提出了PTI(packet transmitting interface)部分,使得执行机与特定的协议实现无关,而且提供了可视化的测试执行跟踪界面,使错误定位变得更加容易.实现的执行机在附加上相应的PTI部分之后就可以进行测试,目前已投入使用.     

基于TTCN的ICMPv6的一致性测试

基于TTCN的协议的一致性测试是保证协议实现正确的重要方法.在介绍ICMPv6协议和TTCN标准的基础上,构建了一种基于TTCN标准的一致性测试系统.介绍了该测试系统的架构与工作原理,同时给出了ICMPv6一致性测试的方法和步骤,并在测试平台上执行了测试套.     

基于确定有限状态机的测试输入序列选取

有限状态机可以精确地刻画软件系统或其子系统的行为，其在软件建模中被广泛应用，基于有限状态机的测试问题得到了广泛的研究，其中WP方法由于限制条件较少，并且其可以达到较高的错误覆盖度，因此被广泛使用，但当有限状态机的实现中的状态数目的估计值m较大时，产生的测试输入序列相对较少的测试输入序列数目，可以提高测试效率，同时本文对Wp方法和R-Wp方法产生的测试输入序列数目进行了讨论，并证明了该方法与Wp方法相同的错误覆盖能力。     

一种基于形式化描述的测试序列生成改进方法

动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ＩＳＯ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题,特别是提出了“部分Ｔ序列叠加算法”对使用ＵＩＯ序列生成测试序列的方法做了进一步改进,大大减少了测试开销．     

基于UML的软件测试用例自动生成技术研究

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UML Sequence Diagram进行形式化分析产生测试场景的技术,定义了相应的测试覆盖准则,分析了测试数据的生成。并探讨了将测试工具和建模工具相结合的具体实现方法。     

基于层次分析法的测试用例可复用性度量研究

对测试用例的可复用性度量进行研究,构建测试用例可复用性评估模型,通过分析转化得到易于度量的层次分析模型。通过层次分析模型构建权重比较矩阵,再进行相关属性的度量,并可进一步开展自动的测试用例可复用性度量。     

基于Web的测试工具集成研究

提出了一种新的测试工具网络化集成方案:在视图层、控制层、模型层、测试工具管理层和测试工具服务层五层结构框架上,运用数据封装技术、功能封装技术实现了对测试工具的封装集成.在对PolySpace、CodeTest等测试工具的集成中得到了应用,为工具提供了一种便捷的使用方式.     

基于复用行为的测试用例本体描述和检索

随着测试用例复用实践的深入和可复用测试用例库规模的不断扩大,对测试用例表示和高效检索已经成为目前研究的热点.基于本体描述的测试用例,结合基于本体的概念语义相似度计算思想,针对测试用例本体描述的特点,提出了一种基于用例复用行为的匹配度计算方法,并通过理论分析与实验检验证明,其提高了用例检索的查全率及用例复用的效率.     

基于遍历序列的唯一确定树或二叉树的方法

基于遍历序列的唯一确定树或二叉树的方法既体现了树或二叉村的遍历序列的部分性质,又是建立树或二叉村的存储结构的主要依据,本文首先介绍了由一棵二叉树的某两种遍历序列或某种遍历序列和结点的某种信息可以唯一确定该二叉树的各种可能方法,然后分别针对树、严格二叉树与雨季叉排序树加以介绍,本文比较全面的介绍了基于遍历离列的唯一确定树或二叉树的方法,进一步完善了树或二叉树的遍历序列的性质。     

基于试验点自动识别的飞行试验智能化监控技术

试验点作为飞行试验任务的最小组成单元,明确了试验机所要完成的任务及要求,是飞行效果评估的主要依据。深入分析试验机在完成不同试验点时的参数变化特征,结合领域专家人工识别的先验知识,提取影响试验点识别的关键参数及其变化规律。构建试验点识别知识库,设计试验点自动识别算法。结合飞行试验实时任务评估技术,开发基于试验点自动识别与智能评估的飞行试验实时监控系统,实现了从"智能化安全监控"到"智能化任务监控"的转变,有效提升了试验机的试飞效率。     

二维耦合映象格子混沌序列的二值化及特性研究

基于二维耦合映象格子(CML)的时空混沌系统模型产生的混沌序列具有良好的伪随机特性.详细分析混沌序列的二值化方法、线性复杂度、平衡特性、游程分布及相关特性.结果表明,二维时空混沌序列比一维混沌序列、Logistic混沌序列具有更好的随机特性和更高的线性复杂度.