核电厂控制系统软件回归测试的分析与研究

回归测试是软件测试中的一个非常重要的过程,在软件生命周期的任何阶段都可能存在回归测试,合理地选择回归测试方案,证明已正确修改软件,保证软件测试的效率和有效性,提高软件质量是非常必要的。     

自动化回归测试在Java项目中的实现

回归测试是软件测试中一种重要的测试。软件开发过程中出现的各种变化可能会给软件的质量带来副作用。回归测试就是用来监控软件的变化,及时反馈由变化带来的结果。回归测试的自动化可以提高较大规模软件测试的质量和效率。文中首先介绍了软件自动化测试和回归测试的概念,然后以一个用Java语言开发的项目CADS(CrossArchitectureDevelopmentSuite)为例,详细阐述了如何在Java项目中实现回归测试的自动化,最后总结了自动化回归测试的优点及其适用范围。     

金融软件功能自动化测试的分析及应用

在金融软件测试中,面时大规模复杂的金融算法以及大量的回归测试,自动化测试有着相当的重要的作用.通过介绍自动化测试的相关知识,结合金融软件的特点,搭建相应的金融软件自动化测试环境,并使用一个实例来展示功能自动化测试在金融软件测试中的应用.实验结果表明,自动化测试显著提高金融软件测试的效率和准确率,节省人力和成本.讨论了自动化测试实施的难点和有待改进的地方.     

软件测试学研究

本文首先介绍了软件测试学的产生,什么是软件测试以及为什么需要进行软件测试。之后详细介绍了软件测试中软件测试文档的重要性;软件测试技术的分类,包括黑盒测试技术和白盒测试技术;软件缺陷的管理,包括缺陷的优先级和严重性;软件性能测试技术;以及测试新技术的发展。     

回归测试策略的新领域

软件测试和软件维护过程中为了证明程序的修改对程序的其它部分无负面影响而进行的测试称为回归测试。一方面为了保证软件的质量尽可能对所有影响和可影响到的软件元素的回归测试,另一方面为了减少软件的成本要避免进行无谓的回归测试。     

面向对象的软件测试多Agent系统研究

文中提出一种软件测试多Agent系统(STMAS)，该系统由用户界面Agent、测试用例选择和测试Agent、回归测试Agent三部分组成，这些Agent运用它们的智能规则为面向对象的软件测试提供积极的帮助。系统由于能进行自动测试，可以将测试者的干预减到最少；能进行没有冗余的、一致性的测试用例的智能选择，可以在提高故障检测有效性的同时缩短测试时间。     

面向对象程序回归测试策略研究

1 引言软件测试的基本过程是从单元测试、集成测试、有效性测试到系统测试。一般地说,回归测试属于软件维护的过程,当软件修改之后,回归测试用于确认修改的正确性,包括修改本身的正确性和未修改的部分未受到因修改而导致的不正确影响。关于回归测试的策略     

基于“Good”测试套件的GUI回归测试优化

回归测试在软件测试过程中是非常重要的,同时也是非常费时费力的。为了适应软件测试的需求,提高回归测试的效率,降低测试成本,针对目前GUI回归测试的困难,依据Atif M.Memon等人提出的新的回归测试方法,根据一个"Good"的测试套件对测试成本和"fault-detection effectiveness"的影响,突出一个"Good"的测试套件的特点,给出一个新的回归测试方法。该方法根据测试套件的特点,有针对性地选择合适的测试用例来构建回归测试套件。这样不仅有针对性,同时也优化了测试套件,提高了测试效率。     

基于“Good”测试套件的GUI回归测试优化

回归测试在软件测试过程中是非常重要的,同时也是非常费时费力的.为了适应软件测试的需求,提高回归测试的效率,降低测试成本,针对目前GUI回归测试的困难,依据Atif M.Memon等人提出的新的回归测试方法,根据一个."Good"的测试套件对测试成本和"fault-detection effectiveness"的影响,突出一个"Good"的测试套件的特点,给出一个新的回归测试方法.该方法根据测试套件的特点,有针对性地选择合适的测试用例来构建回归测试套件.这样不仅有针对性,同时也优化了测试套件,提高了测试效率.     

一种基于程序关联性分析的软件测试方法*

软件测试是保证产品整体质量的重要手段。基于关联性的软件测试方法,在加强软件内在关联关系分析的基础上,建立模块之间及模块与测试用例之间的关联关系,并给出关联的表达和检测方法,有利于快速定位错误、缩小测试范围,减少重复测试的工作量,提高回归测试和维护的效率。     

由需求得到回归测试用例排序技术

为了提高回归测试用例集的测试效率和有效性,提出由需求得到回归测试用例排序技术及其实现算法。由需求得到回归测试用例排序技术,将与软件需求相关的需求描述度、需求实现复杂度、需求稳定度和需求覆盖度等因素应用于测试用例排序,以缺陷检测加权平均百分比作为度量标准。通过实验,比较排序后用例和未排序用例缺陷检测情况,实验结果表明该技术排序后的回归测试用例集,能够尽早地发现更多的软件错误,有效提高回归测试效率,保证软件质量。     

基于回归测试的软件测试方法的研究与应用

为节省回归测试的时间和资源,提出了一种基于回归测试的软件测试方法（Hierarchy-PS-TCP）。该方法首先按照分层程序切片技术搜索程序的不同版本,利用UML类图及顺序图,从而定位不同版本程序间的差别。仅对差别部分生成测试用例集,节省大量开支。再利用优先级技术按照测试用例优先级公式对测试用例划分优先级,根据优先级高低进行排序,按照次序进行回归测试。从而提高了回归测试的效率,有效地缩减了回归测试用例集,同时降低了回归测试的成本。     

基于模型的方法在软件测试领域的应用与发展

伴随着软件在当今社会中扮演着日益重要的角色,在各类软件或系统的开发过程中,测试变得越来越重要.随着面向对象技术的广泛应用和软件测试自动化的要求,基于模型的测试(MBT)技术逐渐得到了软件开发和测试人员的认可和接受.尽管有许多国内出版物讨论了基于模型的测试技术,但还没有相关技术文章对MBT技术及工具的当前发展进行回顾与总结.文章对当前MBT技术的通用模型、测试用例生成方法、测试目标选择等MBT方法进行回顾,并对基于模型的自动化测试工具、应用实践进行了概述.最后,探讨了MBT技术的未来发展与研究方向.     

基于对象状态的面向对象软件测试方法研究

主要介绍了面向对象软件的类测试技术。从基于对象状态方面分析UML状态图的组成、并发的优点,描述继承的对象动态行为、并发的动态行为,给出利用UML状态图构造复合状态测试树算法并产生测试用例的面向对象软件测试方法。     

基于程序切片技术的回归测试方法研究

软件测试是软件开发过程的一个重要组成部分,是进行软件有效性检查、提高软件质量的重要手段。随着软件规模的不断增大、复杂度的不断提高,传统的软件测试技术在处理大规模复杂软件系统时会出现许多问题。程序切片是一种程序分解术,主要是通过寻找程序内部的相关性来分解程序,从而达到快速错误定位或理解程序的目的。主要探讨将程序切片技术引入到软件测试中,尤其是分析在回归测试中切片方法是如何提高效率的。     

基于程序切片技术的回归测试方法研究

软件测试是软件开发过程的一个重要组成部分，是进行软件有效性检查、提高软件质量的重要手段。随着软件规模的不断增大、复杂度的不断提高，传统的软件测试技术在处理大规模复杂软件系统时会出现许多问题。程序切片是一种程序分解术，主要是通过寻找程序内部的相关性来分解程序，从而达到快速错误定位或理解程序的目的。主要探讨将程序切片技术引入到软件测试中，尤其是分析在回归测试中切片方法是如何提高效率的。     

探索性软件测试解析

探索性测试是一种完全不同于传统测试方法的测试技术,它提出将学习被测系统、设计测试用例、执行测试同时进行的策略,以及拥抱变化的口号。探索性测试由于其高效的发现软件缺陷的能力而越来越受到人们的重视。文章由传统软件测试方法模型理论的不足,引出探索性软件测试这种前沿的软件测试理论,对其定义、模型方法及优缺点等进行了全面的研究分析。研究表明探索性软件测试方法是对传统软件测试理论的很好补充,合理的利用探索性测试,能够显著提高软件的测试效率。     

面向RISC-V内存一致性测试的自动化分析方法

开源架构RISC-V定义了其内存一致性模型RVWMO,作为多核RISC-V系统软硬件设计开发的重要规范。在多核芯片的验证阶段,需要对芯片的内存一致性进行严格全面的测试。测试通常针对某一访存顺序模式,选取典型的并行程序片段进行大规模测试（又称Litmus测试）,通过程序运行的最终状态推测芯片内存一致性模型。通常,更为宽松的内存一致性会导致更多的程序状态。分析Litmus测试结果对于验证芯片的RVWMO兼容性、探索多核系统的内存一致性优化的可能性具有重要意义。以RVWMO规范下允许的程序状态为基准,芯片实测得到更多的程序状态表明其存在兼容性问题,得到更少的程序状态表明其仍具有优化空间。面对规模庞大、行为复杂的Litmus测试,如何对其测试结果进行自动化分析是亟待解决的问题。本文对Litmus测试的原理和输出结果进行了深入分析,提出一种面向RISC-V内存一致性测试的自动化分析方法,采用形式化方法对Litmus测试进行基于RVWMO规范的模拟运行,并通过与芯片的实测结果进行对比分析给出测试结论。本方法基于Hifive Unmatched开发板开展测试。实验表明,本文提出的方法可快速、有效地对RISC-V内存一致性测试进行自动化分析。     

OCR性能测试的分布式软件测试系统

系统的性能测试需要进行全数据集合的回归测试，才能得到准确的性能指标。测试过程需萼大数据量、长时间，所以自动测试成为必然的选择。该文设计了网络环境下的分布式自动测试系统，应用于软件系统的性能测试。片以OCR软件的测试为例，介绍了该系统的县体功能供现。     

基于有限状态机的健壮性测试研究

健壮性测试对软件尤其是安全产品有极其重要的意义,本文使用有限状态机来对软件产品进行建模,通过状态扩充和状态对各种异常事件的响应,构建完备的增强有限状态机,使用该模型可以进行健壮性测试。我们利用该方法对GlobalPlatform卡规范中安全通信的安全通道协议SCP02进行了测试。测试结果表明,该方法产生的测试案例包比GP组织认可的测试包具有更高的覆盖性和错误检测能力,该方法产生的案例不仅可以用于健壮性测试,也可以用于功能性和符合性测试。