关于白盒测试基本方法的分析

对软件白盒测试的基本方法进行分析,计算机程序有顺序、选择、循环3种基本结构。根据3种基本结构的组合方式,程序又可以分为基本结构、嵌套结构和连锁结构。对于嵌套结构程序,可以使用基本路径测试法进行测试,对于连锁选择结构,可以抽取部分路径进行测试;对于连锁循环结构,则需根据循环是否独立来确定具体测试方法。     

协议一致性测试研究进展

协议一致性测试是协议测试中最为关键的测试,是其他协议测试类型的基础。已经有大量的研究与实践对协议一致性测试做了深入探讨,到目前为止,仍然缺乏系统、有效而实用的协议一致性测试方法。从协议一致性测试的协议形式化描述技术人手,分别对协议一致性测试过程中的描述、测试序列生成、测试实现与执行进行了综合研究,阐述了其中存在的问题并给出了基本解决思路。     

白盒测试技术概述

白盒测试又称为结构测试、透明盒测试、逻辑驱动测试或基于代码的测试.白盒测试是测试被测单元内部如何工作的一种方法.其目的是通过检查软件内部的逻辑结构,对软件中的逻辑路径进行覆盖测试.本文介绍6种白盒测试方法和适用场合:语句覆盖、判定覆盖、条件覆盖、判定条件覆盏、条件组合覆盖、路径覆盖.     

ADSL用户网络测试初探

随着ADSL的推广应用,ADSL测试需求显著增加。选择适合的ADSL测试方法以及构建全方位、高效率的ADSL宽带运维系统,是运营商应对ADSL用户规模迅速增长带来的运维挑战的解决方案。本文首先对ADSL接入技术及参数进行了研究和分析,接着在对ADSL测试技术进行研究的基础上对几种ADSL测试方法进行了分析;根据目标ADSL用户接入现状和ADSL测试技术现状,选择适合的测试方法与处理方式,提出了业务初装预评估测试流程和故障受理测试流程。     

IDS主动测试和被动测试相结合测试方法的研究

介绍了目前常用的主动测试和被动测试两种IDS测试方法,分析了各自的优势与不足.单一使用主动测试方法或被动测试方法都存在一定的局限性,提出了一种主动测试和被动测试相结合的测试方法.以NIDS测试为例对该测试方法的应用进行了具体研究和实践,结果表明该方法充分利用两种测试方法的优势提高了IDS测试的准确性.     

策略路由的基本关系及其测试

边界网关协议 (BGP-4 )支持的策略路由在互联网运行效率和安全方面发挥着重要作用 ,并直接涉及经济利益问题。为了对其进行测试 ,首先讨论了策略路由中所涉及的服务提供者与客户之间的基本关系 ;在分析路由属性与路由策略等概念的基础上 ,定义了路由行为与策略的一致性关系及两类违反一致性的情况。为了获得较好的测试效果 ,在测试手段上综合使用了主动的测试方法和被动的测试方法。这些技术和方法的正确性、有效性在实际测试活动中得以证实 ,并为网络的运行、管理提供了有益的指导     

一种GUI测试的EDPN测试树生成模型

设计了一种EDPN测试图,提出了基于EDPN测试图的测试树构造算法．在给出基于EDPN测试树覆盖准则的基础上,得出了测试用例生成方法．实践表明,给出的测试方法简单、实用,能对GUI的测试达到较高的测试覆盖率．     

结合奇偶测试的大规模集成电路征兆测试

征兆测试是一种高效简捷的电路测试方法。该文提出一种适用于大规模集成电路的测试方法——组合征兆测试法。利用这种方法,测试者可以通过穷举输入组合,使奇偶测试和征兆测试相结合,共同解决对大规模集成电路故障测试的难题。主要思想是:首先通过被测电路的奇偶性判断该电路的征兆测试法的可测性,对征兆测试法不可测的电路,引入高阶征兆测试的思想,使其成为高阶征兆测试法可测电路。结果表明:该方法在提高可测性的同时,还提高了电路征兆测试的测试效率和故障覆盖率。通过对一些基准电路和常用电路的测试验证了该方法的实用性。     

数字电路测试的故障诊断和测试码生成

随着数字电路的广泛应用,电路的测试与故障诊断已成为设计与生产过程中重要的组成部分.本文讨论了电路的测试方法、故障模型和利用通路敏化法导出测试码等问题,需要在数字电路安装之前对元件进行逻辑功能测试,从而避免因器件功能不正常而增加测试的困难.     

防弹软织物模型化测试技术研究进展

模型化方法在防弹软织物弹道防护的力学行为变形机制研究中起着非常重要的作用。分别介绍了国内外研究柔性纤维织物损伤变形机制的典型测试方法，包括传统的纱线轴向拉伸、织物单轴多轴拉伸、织物撕裂、剪切、等测试技术，并指出了现有的防弹软织物典型测试方法存在的不足。然后论述了近年来发展比较迅速的模型化测试技术，扼要阐述了纱线拉拔、冲击顶破等几种最新的模型化测试方法，并结合光学测量手段叙述了在防弹软织物防护作用过程中能测试面内微观应力的模型化测试方法。对防弹软织物模型化测试方法的发展进行了展望，认为模型方法结合光学手段表征将是未来实验测试发展的方向。     

基于TRICHOTOMY模型的可视化建模工具软件测试实例

本文通过总结大量的实例测试,提出了基于TRICHOTOMY模型的可视化建模系统测试方法。对于该方法,文中主要介绍了其在可视化建模工具软件测试中的实例应用。同时为了展示测试的过程与结果,文中给出了两例具体的应用测试图示。     

基于区间缩减的自动化打桩方法

为了提高自动化单元测试的覆盖率,提出一种基于区间缩减的自动化打桩方法。该方法首先选择一条目标执行路径,利用路径敏感和变量相关的区间计算技术,计算路径对该路径上所有函数调用的路径约束区间,并利用该约束区间对函数调用的返回值区间进行区间缩减,最后根据缩减后的区间进行桩代码自动生成。该方法已经在单元自动化测试系统(UATS)中实现,对10个开源大型函数进行测试的结果表明:该方式将平均覆盖率由50%提高到81%,对于等价表达式较多的函数,覆盖率提高了10倍,证明该文提出的方式能有效地提高自动化单元测试的覆盖率。     

基本路径测试法的应用

介绍了基本路径测试法的概念和应用步骤,并给出了利用基本路径测试法设计测试用例的过程,总结了这一过程中经常出现的问题及解决办法.     

三维笛卡尔网格生成前处理软件测试

针对自主开发的三维笛卡尔网格生成前处理软件,基于CT扫描思想,提出了一种通过对三维网格进行二维切片/三维剖切显示来检测网格生成质量的测试方法. 通过该测试方法发现部分测试实例中实体内部存在异常空网格的问题,该问题是由于三维实体的三角面片化近似引起的,文中给出了消除异常空网格的实现方法. 网格生成测试算例验证了本文所给出的软件测试方法的有效性.     

测试用例自动生成中约束求解策略的选择

在软件测试中,构造测试用例是非常重要的一环.传统的测试用例生成方法都由测试人员手动完成,这种生成方式效率低下成本高昂,同时生成的测试用例非常有限,覆盖率较低.首先探讨了通过约束求解的方法,通过分析程序路径中所有的约束表达式,逆推得到测试用例的过程;然后调查了不同类型的C语言工程的待测源码的统计结果,同时针对其特征,引入了不同的约束求解算法策略;最后通过各种策略的组合与配置,给出了一种具有普遍性的测试用例自动生成的约束求解方法.     

纺织资源管理系统软件测试的设计与实现

文章介绍了软件测试的基本原则,按照软件测试的基本理论和方法,针对纺织资源管理系统的结构特点,制定了该系统的测试策略,并采用边界测试、功能测试和回归测试等测试方法对系统进行了全面的测试,取得了显著的测试效果。     

基于Windows平台的实时测试系统软件的设计与实现

在Windows平台下利用多线程技术对实时测试系统软件进行了设计和实现。通过分析多线程及其同步控制，结合实例给出实时测试系统软件的总体实现框图及思路，描述了基于事件同步对象的系统软件具体实现方法，给出线程在激光路面平整度测试仪系统软件实际测度中的工作流程。上述思路、方法与流程已被充分应用于对激光路面平整度测试仪系统软件的开发中，并取得了非常好的效果。     

测试工程师应具备的基本素质

文章简要介绍了测试的重要性、目的和基本原则，并主要阐述了测试工程师应具备的基本素质。     

正交试验设计法简介

正交试验设计法（简称正交法）是统计数学的重要分支，主要应用于工农业生产和科学研究过程中的科学试验。该文介绍了正交法的基本概念、主要用途以及应用实例，为了解正交试验设计法提供了入门的钥匙。     

计算机软件测试管理应用研究

计算机软件测试是软件工程的重要组成部分,是软件开发人员和用户验证软件产品是否合格的重要手段。从软件工程的角度出发,提出软件测试用例设计方法,测试的方法,并将其整合到测试流程中.该流程可以在软件测试中作为保证软件质量的重要手段.