一种基于两两组合测试的FIT框架扩展

优秀的软件开发过程需要协作和沟通,集成测试框架FIT(Framework for Integrated Test)就是一个用于增强交流和协作的工具.FIT创建了一个在客户和程序员之间的反馈循环.在集成测试框架FIT的基础上,研究软件测试用例的选择和生成,并结合两两组合覆盖的测试用例自动生成技术,实现了从接口参数边界值的确定,到以HMTL形式显示集成测试结果的半自动化过程,从而提高软件测试的质量和效率.     

基于模型的若干逻辑边界覆盖测试准则

鉴于 现有的基于规约的逻辑覆盖测试准则很少考虑到边界情况,对边界值分析法进行形式化,提出了一系列基于模型的逻辑边界覆盖测试准则。结果表明,相对于传统的逻辑覆盖测试准则,满足这些测试准则生成的测试用例能检测出系统更多的错误,既满足相应的逻辑覆盖测试准则,又能检测系统的边界情况。     

一种基于组合测试的软件故障调试方法

在研究了组合测试基本模型的基础上,提出了一种基于组合测试的故障原因诊断方法．该方法基于组合测试的结果,补充一些附加测试用例进行重新测试,并对其结果作进一步分析和验证,从而迅速将故障原因锁定在很小的范围内,这样可为软件的调试和测试工作提供更方便、更有价值的线索和参考．     

边界扫描测试的软件实现

随着芯片集成度和印刷电路板复杂度的不断提高，边界扫描测试技术在芯片故障检测中的应用越来越广泛。该文在分析IEEE JTAG标准和并口标准的基础上，设计开发了边界扫描测试软件。引入Access为后台数据库，实现了多种芯片的故障检测功能；介绍了边界扫描测试的基本原理和结构；讲述了BST软件设计中精确时钟控制、管脚查找、显示管脚波形等设计方法。以Altera的ep1c6q240器件为例，介绍了整个边界扫描测试过程。     

软件回归测试技术

对回归测试的基本概念和回归测试现状给出论述,分析Selenium开源工具在回归测试方面的缺陷和不足,研究并实现适应回归测试的自动化测试方案,并给出详细的实现方法。     

组合边界元法

一、引言 在用边界单元法求解实际工程问题时,我们首先导出相应的边界积分方程,然后再去求其数值解。为此,就需要对所研究物体的边界部分单元确定结点,利用单元插值函数来表示每个边界单元上的边界量。这样,边界积分方程就被化成一个以结点处未知边界量为未知量的线性代数方程组。求解这个线性代数方程组后,就可以得到整个边界上所有     

一种新的面向对象软件集成测试序列生成方法

集成测试是面向对象软件测试中的重要环节。UML不仅在软件分析领域具有重要作用,同时是软件测试的有力依据。在本文中,提出了一种以UML类图为基础的面向对象软件集成测试的测试序列生成方法。从UML类图中提取类的所有信息。然后依据提取的信息计算每个类的内聚度和类间耦合度,将计算结果存入数据库中。最后根据计算的类间耦合度与类的内聚度从高到低对类进行遍历。最后生成集成测试时的类测试序列。经证明该方法对于软件有较好效果。     

Web应用软件的分析和测试

随着Web应用软件的快速发展,作为保证Web质量和可靠性的重要手段,Web应用软件的分析和测试受到了人们越来越多的重视。本文描述了Web应用软件的RE分析方法,提出了一个Web应用软件测试模型,并讨论了Web应用软件单元测试、集成测试和导航测试的策略和方法。     

面向对象软件的类测试技术

主要介绍了面向对象软件的类测试技术，从基于服务的，基于状态的，基于流图的以及基于规约的四个方面论述了类测试的思想和方法。     

边界扫描测试算法的分析与优化

伴随着电子技术和边界扫描测试技术的飞速发展,新的边界扫描测试算法也在不断涌现;而边界扫描测试的算法,一般都是指在互联模型的基础上,边界扫描测试向量的生成算法;生成合理的测试向量集可以以最短的测试时间来覆盖尽可能多的故障;从对一些常用的边界扫描测试算法进行了粗略的分析,到后来对等权值算法和二进制计数算法进行了详细的分析,通过引入和分析边界扫描测试算法的定理、公式以及推论等,分别提出了等权值优化算法和权值递加算法;与优化前的算法作为比较,等权值优化算法降低了征兆混淆出现的概率,而权值递加算法同时降低了征兆误判率和征兆混淆率;综合分析,新的算法更好的权衡了测试向量集的完备性指标和紧凑型指标。     

GIS软件测试方法

GIS（Geographic Information System）软件的发展趋势使软件系统和操作平台越来越趋向于大型、复杂化、图形用户界面（GUI）、多层体系结构以及依赖于超大型关系数据库等,这使得GIS软件的开发更加复杂,对软件人员的要求也越来越高。为了确保GIS软件项目的质量,降低开发费用,提高系统开发的成功率,必须把正规的、科学的、独立的软件测试工作纳入GIS软件开发的全过程。详细介绍了GIS软件测试的理念、方法、过程和要点。     

基础软件平台的正交组合测试方法设计与应用

针对基础软件平台测试中的测试组合爆炸问题,利用正交表思想,提出了一种可用于组合优化的正交组合方法。此方法可用于基础软件平台的测试用例组合优化过程中,能够在保持覆盖度不变的情形下缩小测试用例规模,从而降低测试过程的成本与周期。通过测试过程实例表明正交组合方法优于传统的测试方法,方法在类似领域均具有较好应用前景。     

Toward a cooperative software testing process

This paper presents a case study examining the implementation of a change from ‘independent Software Quality Assurance testing’ to ‘cooperative testing’ and the resulting impact on the software life cycle. The same test tools have been used, so that any change can be primarily attributed to the process change. In the new process, bugs are caught and addressed earlier in the cycle. Additionally, early integration of the systematic test process coupled with a change in ownership, improved infrastructure and a more formal auditing of test plan execution has produced higher quality software with a more predictable release schedule. The new process has resulted in a higher rate of bug detection and correction during testing, as well as fewer bug reports from the field. © 1998 John Wiley & Sons, Ltd.     

软件确认测试概述

软件确认测试在软件测试生命周期中占有重要地位。尽管在整个开发过程中经历了各种测试和检验,但是,在其正式发布和投入运行之前仍必需通过正式的和系统全面的测试,来确认其是否符合需求。本文介绍了软件确认测试的主要测试内容及活动,分析了确认测试在软件开发过程中的作用和地位,归纳了确认测试的基本测试模型,总结了确认测试的基本测试过程和方法。     

贝叶斯网络技术在软件测试过程中的应用研究

为使软件测试管理者准确定义并把握软件测试过程中存在大量复杂的相互依赖、相互影响的关系,通过对有经验的测试人员在软件测试过程中的主观判断和从以往客观数据抽象出来的关系进行分析,用贝叶斯网络技术对其建模,并对模型中的关系量化,从而可以利用模型辅助测试过程进行管理,包括进行计划、决策和对软件产品的质量进行预测等.     

实时多任务软件高可靠性测评方法

为了克服传统可靠性测试方法在验证高可靠性指标时测试持续期太长的困难,针对实时多任务软件的特点,提供了一种融基于体系结构的系统可靠性建模、最大熵原理、贝叶斯统计推断为一体的多级高可靠性测评方法。数值仿真表明,该方法在不降低验证测试置信水平的基础上,能有效缩短验证测试持续期。     

GPS导航软件的一种功能自动化测试框架

GPS导航软件已经大量涌入市场,对于GPS导航软件本身的质量越来越受到重视。针对GPS导航软件的应用特点,提出了一种GPS导航软件功能自动测试框架,并介绍了相关实现技术,它能自动模拟软件的使用环境和GPS测试数据来验证软件的正确性。在实践中证明此框架行之有效,能有效构建测试环境,及时发现软件的缺陷,并可提高其回归测试的效率。     

自动驾驶软件测试技术研究综述

自动驾驶系统（autonomous driving system,ADS）是一种集成高精度传感器、人工智能和地图导航系统等模块的信息—物理融合系统。该类系统中的自动驾驶软件完成了从高级辅助驾驶到无人驾驶任务中关键的感知、定位、预测、规划和控制任务。随着深度学习和强化学习等人工智能技术的发展和车载硬件设备的不断升级,高级别的自动驾驶软件已经逐渐应用于多种安全攸关的场景中,保障其运行稳定性与可靠性的测试技术逐渐成为学术界和产业界的研究重点。本文在广泛调研国内外文献基础上,对自动驾驶软件测试技术进行了深入分析与梳理。结合自动驾驶软件的架构特点及系统特征,讨论了面向自动驾驶系统的仿真测试和实景测试,以及面向组件的测试技术。其中,在仿真方法方面,分析了软件仿真、半实体仿真和在环仿真等技术;在仿真对象方面,讨论了静态环境仿真、动态场景仿真、传感器仿真和车辆动力学仿真等。同时,本文介绍了当前实景测试的进展与情况,重点分析了实景测试案例中的得失优劣。在面向自动驾驶软件组件的测试技术方面,重点讨论了当前数据驱动技术在感知组件、决策规划组件,以及控制组件测试方面的进展。最后,本文总结分析了自动驾驶软件测试当前面临的挑战,并对未来自动驾驶软件测试技术的研究方向和研究重点进行了展望。     

软件使用统计测试方法的研究

软件开发实践表明,传统软件统计测试方法在提高软件可靠性和度量软件质量方面显现很多不足,阐述了一种改进的基于Markov链模型的软件统计测试方法的技术细节和实施步骤,用此方法对某控制软件的测试进行了具体的研究,对实例软件运用此方法进行测试提出了一个框架方案.实例验证表明,软件使用统计测试方法能够更加经济有效地保障软件质量.     

基于面向对象的类测试技术研究

面向对象软件测试是面向对象软件开发的一个重要阶段，是保证软件质量、提高软件可靠性的关键，而类测试又是面向对象软件测试的关键。文章针对面向对象程序的特性对软件测试的影响，研究了一种基于状态的类测试方法，从而能够更有效地对面向对象软件进行测试，提高了软件的质量。