基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点，如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例，提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术，绘制软件系统运行流程图、阶段分析图，建立可表述软件系统级行为的场景树模型和场景树图；根据测试充分性要求，提出基于场景树图的路径覆盖准则，给出满足路径覆盖准则的测试用例集自动化生成算法；结合工程实例，给出了方法应用数据，开展测试结果分析。验证结果表明该测试方法是可行的和有效的，能够保障软件测试的充分性。     

基于UML交互概览图的测试线索的生成方法

针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。     

基于UML交互概览图的测试线索的生成方法

针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。     

基于规则的联锁软件测试集自动生成

通过对联锁软件需求规格的分级划分，提出了一种联锁软件分级测试策略。在此基础上，给出了基于规则的联锁软件测试集自动生成系统框架，这种覆盖全部控制对象的测试集能够用于对被测软件联锁功能的完备测试以及安全防护功能的充分测试。     

UML活动图在组件系统测试用例生成中的应用研究

近年来，基于UML的测试成为组件系统测试的研究热点。为了从UML活动图模型中自动生成组件系统的测试用例，本文采用灰盒测试方法，给出了活动图的形式化描述。分析了活动图并发特征所引起的测试场景集数量爆炸问题，提出增加约束条件的解决方法，减少了测试场景集数量。提出了一种基于活动图的组件系统测试场景与测试用例生成方法，使自动化生成测试用例可行性有一定的提高。     

基于UML活动图模型的测试用例设计

给出UML活动图生成测试用例模型,并对该模型详细描述.确定一系列覆盖准则,能时活动图中并发结构提出相应处理方法,避免测试场景集数量爆炸,重点结合一个实例对该方法进行论述.     

基于MSC的网络游戏软件测试方法研究*

针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体的网络游戏软件测试案例,给出上述测试方法和技术的解释。从理论角度验证了基于模型测试方法在网络游戏软件测试上的可行性;从技术角度表明了TTCN对网络游戏软件测试的有效性。     

基于软件层次化模型的软件测试数据生成

针对基于Markov链模型的软件测试技术在测试数据生成时不考虑软件的结构信息,生成的测试数据集对代码路径的覆盖能力以及缺陷检测能力都较低的问题,将统计测试与基于Markov链模型的测试相结合,提出了一种新的软件测试模型——软件层次化模型。该模型涵盖了软件与外部环境之间的交互,同时描述了软件内部结构信息。还给出了该模型测试数据集的生成算法：首先生成符合使用情况的测试序列,然后为测试序列生成覆盖软件内部结构的输入数据。通过针对示例软件的实验结果表明,与基于Markov链模型的测试方法对比,基于软件层次化模型的测试在满足软件测试充分性要求的同时,提高了测试数据集的代码路径覆盖能力和缺陷检测能力。     

基于故障树分析与组合测试的测试用例生成方法

随着软件的日益复杂,如何从巨大的可用测试用例空间中选择少量的测试用例进行有效的测试,成为了软件测试的重要课题之一。给出了一种易于自动化实现的软件测试用例生成方法。首先运用故障树分析原理,获取待测软件故障树的最小割集;然后利用等价类划分法、边界值分析法等经典黑盒测试方法,获取各最小割集中每个元素的典型取值集合;最后利用组合测试技术,在充分考虑各元素两两之间关系的基础上生成测试用例集。该方法对传统的故障树分析方法进行了改造,具有更大的适用范围;综合利用组合覆盖技术与黑盒测试方法,能有效保障测试充分性并减少测试用例数目。工程实践表明,该方法能够大幅提高测试效率。     

事件驱动面向对象的软件白盒测试法初探

分析了面向过程的白盒测试方法在应用于事件驱动面向对象的软件测试时存在的不足,提出了事件覆盖,事件－语句覆盖,事件－判定覆盖等６个覆盖准则,对面向过程的白盒测试方法进行了扩充,使白盒测试能够有效地事件驱动面向对象软件进行测试,给出了指合ＰＲＡＤ图设计测试用例的方法。     

基于QTP的软件测试实验教学设计

针对《软件测试》课程教学中对测试工具的教学流于产品说明的问题,提出将软件测试工具QTP融于软件测试的实验教学中,设计三次试验采用QTP分别对三角形问题、日期问题和学生信息管理模块进行测试,通过实验,不仅能让学生掌握软件测试的基本技术、熟悉软件测试的基本流程,还能让学生了解测试工具的基本原理、掌握测试工具的使用技能。     

基于边界扫描的板级互连测试及测试向量生成

针对现有测试向量的不足,该文介绍了边界扫描的基本原理和结构并且分析了测试算法,重点论述了在互连测试中向边界扫描单元预装测试向量和提取响应的方法,最后提出了一种可施加于电路板扫描链上的测试向量生成方法。实验结果表明,该方法思路清晰,能够检测被测电路板中多条扫描链的固定0、固定1、短路和开路故障。     

SQL标准符合性测试的框架

文章阐述了基于美国国家标准与技术研究所(NIST)的SQL标准符合性测试用例集(SQLTestSuiteVersion6)设计开发的一个调用式SQL标准符合性测试平台框架,并针对实施中的测试用例的生成和管理、由用例之间相关性引起的用例结果错误的处理、测试结果的分析和分析结果的统计等问题进行了剖析。     

用遗传算法的测试用例最小化

回归测试就是验证对程序的修改是否迭到了预期的目的，同时检查修改是否损害了程序原有的正常功能。随着程序新版本的不断推出，测试用例集不断扩大，回归测试成本越来越高。测试用例最小化就是从已有的用例集中，找到一个测试运行代价最小的用例子集用于回归测试，并保持原来的测试覆盖率。本文主要研究用遗传算法解决测试用例最小化问题：基于测试历史数据，设计基因编码并构建初始种群；利用测试覆盖率和测试运行代价设计适应度函数；通过遗传算子完成进化过程并找到最优或近似最优解。最后本文给出了对算法进行实例研究的结果。结果表明，本文提出的用例最小化技术能有效缩减回归测试用例集，大幅度降低回归测试费用。     

并行自动测试系统中测试资源控制方法研究

为了实现自动测试系统的并行测试,对测试系统中测试资源的硬件连接和软件控制方法进行了研究;提出了采用资源管理内核程序集中控制测试资源的方法,解决了不同测试程序间测试资源的共享问题;对本身不支持并行测试的测试资源,硬件上采用并联连接方式,或在软件上对其控制方式与驱动程序进行修改,使其支持并行测试,从而实现整个测试系统的并行测试;文中提出的方法已成功应用于工程实践中,可实现任意三种不同型号的电路板的并行测试,节约了测试时间,提高了测试效率.     

测试自动机的测试驱动器设计与实现技术

介绍了测试自动机的测试驱动器设计与实现技术,给出了测试驱动器接口的测试用例、测试输出的形式化定义,提出了一种通用的“客户／服务”测试驱动模型及其实现技术。     

综合布线系统测试若干问题的探讨

详细介绍了综合布线系统测试中存在的问题、综合布线系统测试标准及测试内容、测试仪器的选择等有关内容,为综合布线系统测试的工程技术人员选用和设计测试仪器提供技术参考,促进我国综合布线系统工程测试技术的实施和发展。     

国内软件测试现状分析与几点建议

在充分了解了国内的软件测试现状和国内一些对软件测试的错误认识的基础上,分析了产生这些错误认识的根本原因,并根据国外软件测试的成功经验,提出了发展国内软件测试的几点建议。     

基于CMM的项目级软件测试

从CMM的角度分析了项目级软件测试的活动过程，并且讨论了测试用例的编写和各测试阶段的输出。     

一个面向对象软件自动测试框架的设计和实现

介绍了一个测试用例驱动的面向对象软件自动化测试框架(简称为TCDA).TCDA使用UML作为形式化的分析和设计规格说明,从UML的体系结构视图中自动获取测试用例,并以XML的形式保存这些测试用例.TCDA可以根据具体编程语言,将测试用例翻译成由一系列源文件组成的测试脚本.测试执行过程中,测试脚本首先会被编译和链接,生成可执行文件,接着这些可执行文件将被运行,同时测试结果将被记录和分析,并最终生成一个结果分析报告.TCDA的原型系统使用Java实现.该系统包括测试配置、测试用例生成、测试脚本生成、测试执行和结果分析五个模块,分别支持以上描述的过程.