【摘 要】
：
在软件开发过程中，被测单元或者硬件配置发生更改之后，必须进行回归测试。回归测试用例选择方法的目标是用尽可能少的测试用例充分满足给定的测试目标.针对基于需求的软件测试方法,获得准确的待测需求集有助于提高回归测试的效率.本文从需求关联的角度出发,首先给出需求与代码模块之间的追踪关系,当代码模块发生变更时通过矩阵变换计算变更对软件需求造成的关联影响;然后通过分析关联影响矩阵得到相应需求受到的影响顺序和影
【机 构】
：
北京航空航天大学计算机学院软件工程研究所,北京中国 100083
论文部分内容阅读
在软件开发过程中，被测单元或者硬件配置发生更改之后，必须进行回归测试。回归测试用例选择方法的目标是用尽可能少的测试用例充分满足给定的测试目标.针对基于需求的软件测试方法,获得准确的待测需求集有助于提高回归测试的效率.本文从需求关联的角度出发,首先给出需求与代码模块之间的追踪关系,当代码模块发生变更时通过矩阵变换计算变更对软件需求造成的关联影响;然后通过分析关联影响矩阵得到相应需求受到的影响顺序和影响强弱,提供了一个较准确的回归测试用例集选择策略,从而实现了测试用例集的优化.实验结果表明,基于需求关联的回归测试用例方法有助于获得具有针对性的回归测试用例集,实现科学、高效的测试.
其他文献
Intel提出的第三代总线技术PCI Express对计算机应用系统发展所带来的总线带宽需求有了很大的满足,基于PCIE的设计因此蓬勃发展,对PCIE的验证也因此成为SoC功能验证的重要组成部分.本文设计并实现了一种状态图和覆盖率组合驱动的验证平台,主要包括激励生成、自动检测和覆盖率分析机制,并将其应用于一款基于PCIE接口的协议栈芯片的功能验证.实验结果表明,本文实现的验证平台具有良好的激励生成
SRAM型FPGA具有设计周期短,可动态重构等特点,已在航空航天、金融电信等领域得到广泛应用.但是,随着晶体管工艺尺寸的不断减小,晶体管密度的不断提高,SRAM型FPGA的功耗问题日益突出.本文提出了一种面向重布局的SRAM型FPGA片上温度测量方法,即在片上设计环形振荡器作为温度传感器,将其与开源转商用的设计流程VTR-to-Bitstream产生的原始电路设计相结合,使得在电路运行期间可以实时
对机器人控制算法进行验证工作,对于保障机器人安全工作具有重要意义.本文给出了一个可以在双臂机器人无碰撞运动规划中应用的空间线段距离算法,并完成了对这个算法正确性的形式化验证.本文中的形式化验证工作在定理证明器HOL4中实现,包括基本几何定义和定理的表示和证明,基于霍尔逻辑将算法表示成待证明的目标以及对这个目标的证明.
随着无线网络中VoIP系统的发展,系统使用者和开发者们发现需要更好和更规范的测试方法.传统的测试方法不适用于这个领域,目前已有的VoIP系统测试方法比较分散,不成体系.所以本文结合VoIP系统的特点,提出了VoIP系统测试方法框架,包括功能测试、协议一致性测试、语音质量测试、性能测试等,并在一个实际的测试案例应用了该方法框架,验证了该测试方框架的可行性.
可逆计算满足未来计算的需要,已成为量子计算、低能耗计算等新兴领域的研究基础.目前,研究者仅探讨了可逆电路的在线检错,在线纠错还未提出解决办法.本文分析论证了Toffoli可逆电路在发生单个门故障时,产生的错误输出具有互补特性.基于该特性,提出了一种在线纠错方法,将已有电路自动转换成在线纠错电路.该方法通过检测电路中各个Toffoli门来判断输出是否出错,若出错,则将错误输出的正确输入加载至原有电路
数字信号处理芯片(DSP)广泛用于空间电子系统,而空间辐射造成的单粒子效应(SEE)一直是影响DSP可靠性的重要因素.随着工艺尺寸减小,SEE对DSP可靠性的影响更加显著.单粒子功能中断(SEFI)是一种少有发生可是一旦发生就会造成系统功能中断的SEE.提出了利用外围模块对DSP SEFI进行故障检测的机制.由可编程逻辑门阵列(FPGA)作为外围模块,利用DSP的HPI接口,监控DSP的运行状态并
测试用例优先排序是一种基于整个测试用例集以寻找最优测试用例执行序列的软件回归测试技术.由于其能够尽早的发现错误,同时应用灵活度高,不会漏掉重要测试用例等,在实际软件测试过程中可以有效提高测试效率.多目标测试用例优化排序是寻找同时覆盖多个测试准则的用例执行序列,通常采用演化算法优化求解,但执行时间较长,严重影响在实际软件测试中的应用.本文采用了先进的图形卡通用并行计算(GPGPU)技术,提出了CPU
对大多数软件,很难根据规格说明自动产生期望的输出.而对于某些软件来说,输出域存在许多值得关注的检测点,适合于从输出域出发开发测试用例.但对于给定的输出,自动生成相应的输入也较为困难.本文提出了一种基于输出域的测试用例自动生成方法,首先使用神经网络构建被测软件的功能模型,然后对于给定的输出,利用改进的遗传算法搜索相应的输入.实验结果表明,本文提出的基于输出域的测试用例自动生成方法是行之有效的,改进的
模型规划是一种基于环境的模型切片技术,研究对象为扩展有限状态机模型,针对一定条件下的环境约束运用可达性分析方法约减模型受影响的部分,进而分析模型在环境约束下的行为,为模型检测和验证提供有效的方法.该方法最大程度约减模型中受影响或潜在受影响的部分,没有考虑维持模型功能的完整性.本文针对这一问题,结合不定型切片思想,提出了一种新型模型规划方法,通过利用依赖性分析和基于模型状态合并准则对模型进行分析处理
多线程并发程序由于线程执行顺序的不确定性,使得并发程序测试变得异常困难.线程调度序列是多线程并发程序测试的关键.针对并发程序,本文定义了同步对及全同步对覆盖准则,给出了一个同步对—线程关联图构建方法,并提出了一种基于全同步对覆盖的线程调度序列生成方法.利用JPF(Java Path Finder)检测工具,对4个Java类库并发程序进行了线程调度序列生成实验,并与其他三种线程调度序列生成方法进行了