统计测试中测试链与使用链的相似性判别

本文介绍了统计测试中测试充分性的度量方法，论述了统计测试的基本原理和主要特点，以及统计测试过程中测试链和使用链的相似性比较，文章还具体阐述了欧和里德距离和Discriminant值在比较测试链和使用相似性中的应用，以及它们在实际使用时需要注意的若干问题。     

软件可靠性测试充分性研究

在阐述了软件测试充分性的定义和软件测试充分性准则的定义、分类和作用的基础上，形式化分析了软件正确性测试充分性和软件可靠性测试充分性的目的和实质，重点研究了软件可靠性测试的充分性，将软件可靠性测试充分性准则分为软件可靠性增长测试充分性准则和软件可靠性验证测试充分性准则，给出将测试充分性准则用于可靠性测试流程的模型。     

基于使用模型的嵌入式软件测试用例生成研究

基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。提出Markov链使用模型用于嵌入式软件的测试,从理论上得到嵌入式软件的可靠性。具体阐述了嵌入式软件的Markov链使用模,型自动生成测试模型的方法。同时使用改进的Kullback判别式探讨测试的可靠性问题,从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实例证明该方法是可行的和有前途的。     

基于使用模型的嵌入式软件测试用例生成研究

基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法.介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用.提出Markov链使用模型用于嵌入式软件的测试,从理论上得到嵌入式软件的可靠性.具体阐述了嵌入式软件的Markov链使用模,型自动生成测试模型的方法.同时使用改进的Kullback判别式探讨测试的可靠性问题,从理论上证明了测试链到使用链收敛的必然性.理论分析和初步的实例证明该方法是可行的和有前途的.     

测试性试验中样本集的测试覆盖充分性研究

测试性试验结果的准确性不仅与样本量有关,还与试验中能够激活的测试数量有关.在建立故障模式测试模型的基础上,提出了样本集的测试覆盖充分性度量和准则.给出了模型中要素的确定方法,以及该度量和准则的应用流程.最后通过实例应用说明了测试覆盖充分性度量和准则的可行性.     

基于MBD模型自动生成测试用例的软件测试方法

在安全关键软件领域应用基于模型的开发技术时,存在着软件测试充分性的问题。提出了一种基于MBD模型自动生成测试用例、对航空发动机控制软件进行测试的新方法。通过使用MathWorks提供的自动生成测试用例工具箱(SLDV),基于FADEC控制软件的Simulink模型,自动生成满足控制软件模型MC/DC覆盖率100%的测试用例,并在Cppunit测试框架下执行测试用例;通过对比模型输出和测试输出来发现被测对象的问题,确保软件代码与模型的一致性。项目实践表明,该测试方法是软件集成测试的有益补充,提升了软件测试的充分性。     

常用的基于控制流的测试充分性准则

本文介绍了几种在软件测试中常用的基于控制流的测试充分性评价准则。这些测试充分性准则适用于用过程式语言、面向对象语言编写的程序。测试人员可用这些准则判断究竟测试了多少代码,还有多少代码未测试到。     

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

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

软件可靠性定量评估过程研究

软件可靠性定量评估过程贯穿软件开发和验收使用的全过程,是软件可靠性的重要评价手段。重点介绍该过程中的关键技术与方法,阐述了软件可靠性参数分析、可靠性预测、可靠性模型选择和可靠性测试充分性等主要内容,对软件可靠性定量评估过程进行较全面的分析探讨。     

一种基于模型的测试充分性评估方法

测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度。如今,传统的充分性评估方法难以满足复杂软件的测试评估需求。首先,代码覆盖准则难以准确验证软件需求;其次,软件测试还需考虑软件不同特征对系统测试充分性的不同影响。对此,提出一种基于接口的建模方法和基于该模型的综合覆盖充分性评估方法。该方法根据软件接口说明,对系统功能进行特征抽取、建模,并对接口模型的测试用例进行不同层级的充分性评估,对评佑结果进行归一化处理,得到系统的综合测试充分性。通过案例表明,这种评佑方法能够反映功能的测试充分性,对测试用例的设计和优化有一定指导意义。     

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

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

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

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

SQL标准符合性测试的框架

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

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

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

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

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

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

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

基于CMM的项目级软件测试

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

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

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

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

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

基于活动图模型测试剖面的测试用例生成方法

给出了测试用例的定义和如何根据UML活动图模型来生成测试用例的基本方法，包括基于活动图模型控制流结构的测试场景生成和针对活动的输入量的测试数据生成。根据活动图模型的层次型特点，引入了针对话动的层次化的测试剖面(Test Profiles)概念和输入输出数据描述规范，用以支持用户在活动图上分层次地提供有关测试数据生成的约束条件。同时，给出了基于测试剖面的基本测试数据的生成方法，以及基于测试场景和基本测试数据的组合来生成一组测试用例的方法。