基于有限状态机的一致性测试模型

基于有限状态机测试方法是进行协议一致性测试、图形用户界面测试和面向对象测试的重要方法之一。首先给出了用于有限状态机一致性测试的定义和性质，接着讨论了基于有限状态机一致性测试的概念和步骤，最后提出了基于有限状态机及扩展的有限状态机的一致性测试模型。     

基于CORBA的网络管理接口一致性测试中的测试流技术

借鉴OSI通信协议一致性测试方法学中通信协议实体的测试用例组织策略,提出了基于CORBA的网管接口一致性测试中的测试流技术,给出了测试流控制语言的描述,同时提出了一套实现测试流系统的设计方案.     

基于面向对象方法的形式描述技术OOBFDT研究

采用基于面向对象的形式描述技术(OOBFDT),提出了一种基于面向对象技术的协议测试例生成新方法.它采用C 语言作为协议说明的描述工具,可以方便地对系统进行形式化描述,这种松散的描述方法可以避免传统的形式描述技术由于其依赖的数学模型的不易修改性所带来的不便.同时,该方法将具体的协议细节直接体现在协议的模型中,使协议模型更具体,从而更能有的放矢地生成有效的测试用例.而且,由于该方法基于面向对象技术,其一致性测试例集直接面向测试操作.     

基于面向对象方法的形式描述技术OOBFDT研究

采用基于面向对象的形式描述技术（OOBFDT）,提出了一种基于面向对象技术的协议测试例生成新方法。它采用C＋＋语言作为协议说明的描述工具,可以方便地对系统进行形式化描述,这种松散的描述方法可以避免传统的形式描述技术由于其依赖的数学模型的不易修改性所带来的不便。同时,该方法将具体的协议细节直接体现在协议的模型中,使协议模型更具体,从而更能有的放矢地生成有效的测试用例。而且,由于该方法基于面向对象技术,其一致性测试例集直接面向测试操作。     

Internet异构路由建模与冲突分析

针对不同路由协议之间的冲突问题，提出一种新的异构路由建模和冲突分析方法。该方法使用时序说明语言（LOTOS）作为路由系统描述语言，通过定义适合于路由系统分析的路由常量和运算规则，建立路由系统的数学模型；通过求解数学模型有效地发现冲突路由。为了支持上述观点，使用可扩展的网络仿真工具（SSFnet）对边界网关协议(BGP4)和最短路径优先协议（OSPF）进行仿真，实验结果表明了提出的分析方法与实际情况的一致性。     

IPv6协议一致性测试

对网络设备的协议实现进行一致性测试是网络设备研发的必要环节。本文在研究协议一致性测试原理和方法的基础上,围绕实现IPv6协议一致性测试这个目标,在Linux平台上设计了一种协议一致性测试的软件架构。同时针对Linux AS4.0的IPv6基本协议和ICMPv6设计了两大组共10个测试例,并对RedHat Linux AS4的IPv6协议的一致性进行了验证测试。     

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

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

V5接口一致性测试的研究

描述了一致性测试的基本概念和相关技术,综合两方面的技术对V5协议及其一致性测试中的一些重要问题进行了讨论和研究.     

基于Linux系统的LEO卫星动态路由协议研究与实现

基于虚拟拓扑算法思想,提出了一种基于网络状态的低轨（LEO）卫星动态路由协议.通过预测卫星周期运动来划分快照,按照每个快照内的拓扑预计算路由.根据卫星节点的实时状态动态调整网络拓扑并重计算路由,以提高卫星网络的应急能力,增强网络的抗毁性.除在NS3仿真平台验证协议正确性之外,主要在Linux系统实现了该路由协议,针对划分的4个模块在实现功能时的难点提出了解决方案.在Linux系统中对实现的协议进行功能测试和性能测试,验证了协议的路由功能.与传统的基于虚拟拓扑算法相比,该协议在时延、丢包率和吞吐量性能上有所提升.     

基于构造类别代数的数据流和控制流相结合的协议测试

如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题, 本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法, 给出了在其上的测试用例生成算法, 有限状态机模型到构造类别代数模型的转换算法, 并且给出了在一个实际的路由协议RIP 的测试中的应用例子.     

英语测试及其对教学的影响

测试是外语教学中的一个重要环节,正确处理测试与教学的关系,可及时发现并解决教学中存在的问题,促进教学改革,促使教学质量的提高,反之,如果对它们之间的关系处理不当,则会给教学带来不良影响。     

面向对象软件测试探讨

面向对象软件测试是面向对象软件开发的不可缺少的一环，是保证软件质量，提高软件可靠性的关键。但目前的研究现状与面向对象的分析，设计技术以及程序设计语言的琛上比尚显薄弱，本文在分析面向对象程序设计语言对软件测试影响的基础上，讨论了面向对象软件测试的测试策略及测试技术。     

Web应用系统的自动化测试解决方案

软件测试贯穿于整个软件开发周期,在软件测试中引入自动化的概念可以提高测试的效率,本文通过一些开源的软件来构建系统的Web应用的自动化测试方案.测试自动化管理系统用来控制整个测试过程和项目的进展,功能方面的自动化测试主要采用关键字驱动的Web系统测试框架Watij来实现,而性能测试的自动化则利用分布式的测试工具Tsung.自动化测试不能完全取代人工测试,只有在保证软件质量的前提下,进行自动化测试才有意义.     

基于Web应用系统的GUI测试

软件测试是软件开发的重要环节,Web应用系统的GUI测试是一项复杂而烦琐的工作。本文阐述了GUI测试的概念,提出了Web应用系统的GUI测试的一般流程及测试指南,同时给出了Web应用系统GUI测试的主要方法。     

汽车动力性能检测方法研究

汽车动力性能检测通常采用检测底盘输出功率然后凭经验考虑传动系损耗的检测方法。本文设计了一种改进的汽车动力性能检测方法，包括了对传动系损耗的检测。通过大量检测实践证明这是一种准确、可靠、先进的检测方法。     

一种基于控制流的web应用系统测试方法的探讨

web应用系统的使用与日俱增,web技术层出不穷,但是web应用系统的测试却是一个难点。提出一种基于控制流的测试方法,对web应用系统建立控制流模型,并给出形式化的定义,采用模型进行测试用例的产生,为了使测试自动化,并阐述脚本技术和测试执行器的设计。     

基于模型的Web Service性能测试方法

为提高web service性能测试的效率和自动化程度,提出了一种基于模型的web service性能测试方法．web service性能测试模型分层建立,测试步骤模型、测试事务模型、测试调度模型从下至上可实现不同层间测试模型的重用．基于该模型编制了web service性能测试工具软件,并进行了实际应用,为基于模型的自动化性能测试提供了可行的解决方案．     

基于模型的Web Service性能测试方法

为提高web service性能测试的效率和自动化程度,提出了一种基于模型的web service性能测试方法．web service性能测试模型分层建立,测试步骤模型、测试事务模型、测试调度模型从下至上可实现不同层间测试模型的重用．基于该模型编制了web service性能测试工具软件,并进行了实际应用,为基于模型的自动化性能测试提供了可行的解决方案．     

白盒测试和黑盒测试在动态软件测试中的应用

白盒测试和黑盒测试是软件测试中的常用方法。文章首先介绍了白盒测试和黑盒测试以及两者的应用场合，然后通过一个实例说明在动态软件测试中如何使用这两种方法从不同的角度设计测试用例，确保以最少的测试用例发现尽可能多的错误和缺陷。     

一个软件测试自动化系统:TSBAG

本文介绍了一个软件测试自功化系统 TSBAG.该系统提供了一种基于扩展属性文法的软件功能描述语言 MEAG,可以在 MEAG 描述的基础上,采用属性属配策略的属性计算器,来实现测试用例的自动生成.