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

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

IPv6协议一致性测试

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

基于Tcl的路由协议一致性测试

针对路由协议的特点,提出了基于Tcl语言的路由协议一致性测试系统并介绍了用Tcl脚本语言实现可执行测试集的方法.实践表明,这是除基于TTCN语言之外,适合路由协议一致性测试的另一种有效的测试技术.     

V5接口一致性测试的研究

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

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

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

着色Petri网模型驱动的云测试生成方法与实现

为进一步提高测试生成效率,提升大规模测试生成的自动化程度,构建了一种基于着色Petri网模型的一致性云测试生成方法,称为PT-Cloud方法,并将该方法实现为可提供一致性测试生成服务的云测试生成平台.该方法利用MapReduce技术,实现了面向测试生成需求的被测系统着色Petri网模型重构和标记,并在此基础上以实际测试数据驱动一致性测试例的自动生成.经实际测试生成和执行实践验证,PT-Cloud方法能保证所生成的测试例是切实可执行的,同时有效提高了测试生成的效率和自动化程度.     

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

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

基于UIO序列的状态机测试序列生成算法

在通信协议的一致性测试中,寻找一条简洁高效的测试序列是关键工作之一．基于FSM模型的协议一致性测试,提出一种新的UIO序列生成方法,利用遗传算法求解UIO序列．研究结果表明,该算法能生成更短且结果稳定的UIO序列．     

通信协议一致性测试方法

由于 ISO 协议的开发常常由不同的人员或组织进行,导致产品的某些功能与标准不一致,这些产品在联成网络时,无法可靠地通信.解决这个问题的办法是对通信协议进行一致性测试.本文主要对通信协议一致性测试的方法、原理、所需测试的内容以及目前该领域研究动态作一概要综述.     

CAD矢量汉字一致性测试的研究

阐述了开展 CAD矢量汉字一致性测试的目的、意义和开发测试套件中开展的相关研究工作,重点讲述了 STEP一致性测试原理、字体标准的研究、字形和内码的测试方法、测试判定准则等相关技术问题,以及测试套件的概述和评价。     

基于数据交换模型的测试方法

通过深入地研究数据交换的通用模型,抽象数据交换的过程状态和规则,提出了一种基于数据交换的测试模型及其测试的方法,该方法能够适用于绝大多数数据交换场景的测试并有效地提高测试效率.最后给出了未来的研究方向.     

基于V模型的自动化工具测试方法

软件测试是改善软件质量和正确性的重要方法.针对目前面向对象软件开发测试方法的不成熟和测试过程不清晰的问题,基于V模型对面向对象软件测试过程和测试方法的本质剖析,借助自动化辅助测试工具对V模型的支撑,提出了一种改善面向对象软件测试过程的测试方法.     

基于模糊偏序关系的软件测试评价方法

讨论了模糊理论在软件测试质量评价方面的可行性;提出了软件测试质量评价指标体系的概念和软件测试质量评价方法,即基于模糊偏序关系的评价方法;对该方法的优缺点及适用条件进行了分析;通过实例计算验证了该方法在评价软件测试质量方面的有效性。     

暂冲式短周期试验台涡轮性能及不确定度分析

分析了暂冲式短周期涡轮试验台的工作特点和运行特性,提出了适合该类试验台的涡轮性能测试方法,并对该测试方法进行了不确定度分析,在此基础上根据目前通用的各类传感器和测试仪表所能达到的精度指标,预估了该测试方法可能达到的性能测试的不确定度指标.指出:短周期涡轮试验在功率、转速、流量等参数的测量方法上有其特殊性;在总的涡轮性能测试指标上短周期涡轮试验完全可以达到,甚至超过连续式涡轮试验的精度;在短周期涡轮试验中,需特别注意各测量参数的同步性.     

面向对象软件测试的研究

面向对象软件测试是面向对象软件开发的重要阶段,类测试是面向对象软件测试的关键.本文在分析了面向对象软件技术对软件测试技术的影响基础上,研究了面向对象软件的类测试技术.     

BP-2B母差保护调试方法研究

对于现场调试工作,新安装设备的投产往往比较仓促,留给验收测试的时间较短,现场人员往往未按照保护原理编制合理的测试方案,对保护功能进行全部测试,极易造成安全隐患.针对BP-2B母差保护调试及在调试中遇到的一些问题进行研究和探讨.通过实践掌握了BP-2B母差保护调试方法,充分利用测试装置的各项功能,改进试验方法、实现手段、试验过程以简化继电保护的调试工作,提高了测试效率.     

基于Web应用系统的GUI测试

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

基于Web应用系统的软件测试

随着Web技术的发展,基于Web应用系统已经变得越来越庞大和复杂,如何保证Web应用系统的准确性、可靠性和安全性已成为软件测试的一个重要课题。本文比较了几种软件测试模型优缺点,分析了基于Web应用系统的功能测试、性能测试,探讨了基于Web应用系统的安全性测试。     

多功能枪械测试仪在靶场测试技术中的应用研究

对多功能枪械测试仪在常规靶场枪械测试技术的研究.为了提高常规兵器靶场枪械测试水平、填补国内枪械测试的空白.针对常规兵器枪械测试技术所进行的研究.着重论述了枪械尺寸、瞄准角、闭锁力、装填力的测量原理和测量方法.对瞄准角、闭锁力等测量的精度进行了较为全面的分析.并找出了当前试验中还存在的问题,为提高靶场中枪械测试能力奠定了良好的技术基础,具有一定现实意义.     

可燃气体传感器计算机标定系统的研制

可燃气体传感器是煤气报警器等报警器的核心部件,对可燃气体传感器的标定是可燃气体报警器生产过程中的重要环节,使用计算机对可燃气体传感器进行标定,可以实时观察整个标定过程,可以对不同的传感器灵活地设置标定参数,获取传感器参数,保存标定数据,再现的标定过程等。