一种改进的测试路径集生成算法

在对两种较为有效的分支测试路径集生成算法分析研究的基础上,提出了一种改进的测试路径集生成方法,并设计实现了一个面向分支覆盖的测试路径自动生成系统,通过实例验证后表明,该系统能有效生成分支测试路径集,并具有较高的测试覆盖率。     

分支测试中测试路径用例的简化生成方法

结构性测试是对过程式和面向对象程序都非常有效的测试方法,分支覆盖准则被实践证明是其中性价比最高的一种策略．通过深入研究DD图的性质并分析FTPS算法的不足,提出了一种简便、快捷和适合于大规模程序的非约束边集近似求解算法Find_SemiUE;还给出了基于正（逆）向广度（深度）生成树的分支测试路径用例集的简化生成算法Generate_PathSet,该算法在时间和空间开销上较FTPS算法均有较大提高．此外,所证明的关于DD图的结论也值得借鉴用于该图的更深一步研究．     

分支测试中关键分支的寻找算法

分支测试被实践证明是目前性价比最高的结构性测试方法之一,在判断测试用例的分支覆盖过程中,通过深入研究DD图的性质,提出了一种基于生成的DD图对应的支配树和蕴含树基础上实现的关键分支寻找算法,能简便、快捷地找出判断程序分支覆盖的最小分支子集,即在程序执行过程中,只要获得关键分支的执行状况就可以计算出所有分支的覆盖情况。该算法具有良好的时间复杂度和有效性,对提高软件测试质量和效率,起到了较好的作用。     

一种覆盖测试中路径集的自动生成方法

覆盖测试是软件测试中的重要方法,路径覆盖测试中路径集的自动生成能提高测试效率。该文提出了一种描述程序分支情况的分支关系图,给出了基于分支关系图的路径集自动生成算法,实验证明了该方法的正确性,能有效地求出程序路径集。     

一种覆盖测试中路径集的自动生成方法

覆盖测试是软件测试中的重要方法,路径覆盖测试中路径集的自动生成能提高测试效率。该文提出了一种描述程序分支情况的分支关系图,给出了基于分支关系图的路径集自动生成算法,实验证明了该方法的正确性,能有效地求出程序路径集。     

回归测试中路径覆盖生成方法研究及其应用

基于边覆盖的路径覆盖估测法可获取用于回归测试用例选择的数据信息,但存在估测精确率不高、对重叠路径的识别能力差以及循环结构对可执行路径数目的影响等缺陷.针对这些缺陷,提出一种新的路径覆盖生成方法来获取程序执行的路径信息,该方法包括CFG图到DAG图的转换和还原、利用DFS深度优先策略构造DAG图的chord生成树等,然后设计了基于该方法的测试数据集生成方法.最后,对该方法进行实验验证和数据分析,证明了该方法的有效性.     

基于分支覆盖的回归测试路径选择

回归测试是迭代式软件开发的重要环节,测试数据生成是回归测试的前提.传统的回归测试方法,从已有的测试数据中选择部分测试数据,并生成一些新的测试数据,以验证程序的正确性.但是,该方法容易生成冗余的测试数据,从而降低了回归测试的效率.研究了回归测试的分支覆盖问题,通过利用已有测试数据的路径覆盖信息,并选择一定个数的路径,以覆盖所有的目标分支.首先,以若干路径形成的集合作为决策变量,以路径最少、覆盖的分支最多以及包含的未覆盖路径最少为目标,建立路径选择问题的3目标优化模型;然后,采用遗传算法求解上述模型时,设计了基于目标重要性的个体评价策略;最后,基于已有的测试数据与选择的路径之间的覆盖关系,确定需要生成的测试数据.将所提方法应用于6个基准工业程序测试中,并与其他方法比较.实验结果表明,采用该方法选择的路径,能够覆盖更多的分支,需要生成的测试数据更少,回归测试消耗的时间更短.     

路径测试中基本路径集的自动生成

路径测试是一种重要的白盒测试技术,具有较高的故障覆盖率。基本路径集覆盖了程序中所有语句和分支,该文测试了基本路径集中的路径,在测试资源有限的情况下得到较好的测试效果,并提出了基于图的深度优先搜索的基本路径集的生成方法,该算法采用的生成子路径的方法可以有效地减少路径生成过程中的搜索过程,提高路径生成的效率。 关键词：     

基于基本路径集算法生成最小长度测试序列的方法

在协议工程中,一致性测试已成为非常活跃的领域,而测试序列的产生是一致性测试非常关键的环节。文章基于基本路径集的生成算法,获得不相交路径,并利用测试子序列的一个重要特征—“重叠”来获得连接正收敛边和不相交路径的最小费用迁移路径,从而减少了测试序列的长度。     

路径覆盖测试

随着软件的广泛应用及其规模和复杂度不断地提高,软件测试的方法也有许多。本文讨论了完全路径覆盖测试方法和基于控制流图的路径测试的改进方法。     

用于单目视觉的路径失真矫正系统设计与实现

针对单目视觉机器人产生的路径图像失真问题,分析了产生失真的原因及常用的矫正方式,提出了一种可以通过快速标定来解决路径图像畸变失真问题的方法。将待矫正图像的纵向与横向像素序列分别与标定板进行分析对比,纵向上采用非均匀行采样原理,通过单张标定照找到特征采样行,使采样后图像与实际道路相对无畸变;横向上采用线性伸缩矫正算法,结合适当的插值运算,达到横向矫正。该方法避免了要多次测量外部标定数据及内部传感器参数,在运算量上与实用性上取得了较好的平衡。在此基础上,介绍了如何利用Matlab工具箱快速设计实现图像矫正系统,并且通过数据对比证明了该系统具有一定的准确与便捷性,在工程上具有较高的价值。     

二进制代码覆盖率评估系统的设计与实现

在程序动态测试中,需要评价二进制代码动态测试效果.提出了一种二进制代码覆盖率评估方法,设计并实现了基于分支轨迹存储技术的二进制代码覆盖率评估系统.通过分支监视引擎记录动态测试中的代码分支轨迹,利用分支轨迹数据修正静态分析结果,综合静态分析结果和分支轨迹记录评估二进制代码覆盖率,并实现轨迹数据的可视化.实验结果表明,该系统能够有效提高覆盖率评估精度和效率.     

无人机航路规划及视景仿真系统设计与实现

为提升无人机自主任务执行能力,对飞行特性、任务执行能力进行预演仿真,以减少实际试验投入、降低研制风险、缩短研发周期。针对某型无人机的飞行特性,开发了一套交互式无人机航路规划及视景仿真系统,解决了复杂飞行环境建模、三维空间大范围航路规划及大场景、真实环境三维场景建立等关键问题,实现对无人机的三维航路规划、视景仿真等功能,该系统是无人机模拟仿真系统的重要组成部分。仿真结果表明:该系统航路规划模块能适应不同环境的需求,规划速度快、规划结果准确,三维视景中直观显示无人机三维飞行特性,三维场景震撼真实,操作交互方便,可满足无人机任务飞行的航路规划及模拟验证等需求。     

基于路径覆盖准则的AOP路径生成方法研究

在检验面向方面程序质量时,常常会依据路径覆盖准则对其进行测试,所以生成符合路径覆盖准则的AOP路径是很重要的。生成AOP路径,对AOP的控制流信息进行分析、表示,构造其单个模块、基本方面等的语句控制流图,确定类与方面之间交互的表示方法,构造出完整AOP语句控制流图;遍历完整AOP语句控制流图,得到从源节点到终节点的所有路径,这些路径中的可执行路径即是满足路径覆盖准则的测试路径。     

A multiple-population genetic algorithm for branch coverage test data generation

The software testing phase in the software development process is considered a time-consuming process. In order to reduce the overall development cost, automatic test data generation techniques based on genetic algorithms have been widely applied. This research explores a new approach for using genetic algorithms as test data generators to execute all the branches in a program. In the literature, existing approaches for test data generation using genetic algorithms are mainly focused on maintaining a single-population of candidate tests, where the computation of the fitness function for a particular target branch is based on the closeness of the input execution path to the control dependency condition of that branch. The new approach utilizes acyclic predicate paths of the program’s control flow graph containing the target branch as goals of separate search processes using distinct island populations. The advantages of the suggested approach is its ability to explore a greater variety of execution paths, and in certain conditions, increasing the search effectiveness. When applied to a collection of programs with a moderate number of branches, it has been shown experimentally that the proposed multiple-population algorithm outperforms the single-population algorithm significantly in terms of the number of executions, execution time, time improvement, and search effectiveness.     

基于XML的可复用报表生成系统的设计与实现

在应用系统的开发过程中,报表是重要的组成部分。报表的制作是一项复杂的工作,而商业报表工具存在数据和格式之间耦合度高、难以修改维护、不能重用等缺点。为解决这些问题,提出基于XML的可复用报表生成系统的思想。介绍了系统的总体结构,并详细分析了其中的格式模板、数据模板、格式和数据连接模板以及报表解释器的设计与实现。最后介绍了报表工具在实际生产生活中的应用情况,证实了系统的可用性和易用性。     

从集合表达式产生测试数据的方法

软件测试保证和提高了软件质量,因此成为软件界最为关心的问题之一.测试数据的好坏直接影响软件测试的效果.形式规格说明中的前置条件可用来产生测试数据.而前置条件是基于关系操作符的谓词表达式.给出了一个针对集合关系表达式的测试准则和产生符合测试准则的测试数据的算法,根据该测试准则产生的测试数据对于集合条件表达式有比较好的错误检测能力.从给出的数据库查询的例子说明了该方法对于检测代码错误的有效性.     

仿生偏振导航光电测试系统的设计与实现

为了验证仿生偏振导航定向机理和进一步建立高精度偏振导航模型的需要,设计了探测天空偏振光方向信息的光电测试系统,能够测出载体当前方向和太阳子午线之间的夹角。分析了昆虫利用偏振光导航的机理,按照机理设计了相应的硬件系统;推导了偏振光传感器的响应模型,用偏振导航并发式模型对获取的数据进行了处理。实验结果表明了仿生偏振导航的可行性和光电测试系统设计的有效性,为偏振导航的深入研究奠定了基础。     

风力发电机实验测试系统的设计与实现

设计了一种可同时测试多个参数,功能综合的风力发电机测试系统。分析了两种A/D芯片与DSP的连接电路,在系统前端对待测的高电压与高电流进行信号调理,实现A/D芯片与DSP芯片之间并行的连接方式。利用DSP定时器中断来触发A/D芯片进行数据采集,同时利用CPLD控制A/D芯片同步采样。采用内部软件滤波,要求滤除干扰的奇次谐波,实验结果证明滤波效果明显。     

ALL-Uses覆盖引导的回归测试用例生成方法

基于扩展有限状态机(EFSM)的回归测试过程需要根据依赖关系变化对软件所做修改的影响域进行分析。为了针对软件某一功能进行修复,通常需要对多处代码进行同步修改,已有依赖分析方法在这种情况下暴露模型中触发条件和行为语句错误的效率不高。提出以ALL-Uses覆盖准则引导回归测试的方法,引入依赖关系变化因素的概念,修改待覆盖子路径的产生规则,对已有测试用例集中能有效覆盖子路径的用例进行选择、排序。针对已有测试用例无法覆盖的子路径,利用AOE活动图中求关键路径的方法将其补充为一条完整的迁移执行序列。选取三个软件进行实验,结果表明,本文方法可以在减小测试用例集规模的前提下有效提升ALL-Uses和植入错误的覆盖率,提高回归测试效率。