决策树在软件测试用例生成中的应用

在软件测试中,测试用例生成是其关键环节,也对软件测试的自动化有着重要影响.为了提高测试用例生成的效率,提高其自动化的程度,从不同角度对软件测试用例选择策略进行介绍.决策树是数据挖掘领域中一种重要的数据分类技术,在现有的一些功能测试用例生成方法基础上提出了一种基于决策树算法的测试用例生成方法,并对其中一些关键问题进行了初步的探讨.     

基于UML的软件测试用例自动生成技术研究

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UML Sequence Diagram进行形式化分析产生测试场景的技术,定义了相应的测试覆盖准则,分析了测试数据的生成。并探讨了将测试工具和建模工具相结合的具体实现方法。     

基于免疫遗传算法的构件化软件测试用例生成

提出了一种基于免疫遗传算法(GA)的构件化软件测试用例生成模型(MTCGCBS),介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在水利构件化软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时也进一步验证了模型的正确性、可行性。     

基于改进PSO算法的路径软件测试用例生成方法

针对路径测试中的软件测试用例生成的问题,提出了一种基于改进PSO算法的软件测试用例生成方法。首先,采用分值函数叠加方法来构造PSO算法中的适应度函数,并对粒子位置更新策略进行改进。接着,构建算法的控制流程图并进行目标路径选择。然后,利用程序插装收集个体的适应度值。最后,测试数据生成程序执行,得到合适的测试数据。通过在三角形分类判别案例程序上的实验结果表明,提出的软件测试用例生成方法能够生成更合适的测试用例,且有效减少了生成所需时间。     

一种基于用例依赖关系自动生成 测试调度的方法

本文首先针对自动化测试的现状,分析了自动化测试在深入开展后遇到的问题。通过对测试用例间依赖关系 的系统分析,提出基于用例依赖关系的解决方案与应用实现。实验结果表明基于用例依赖关系的应用可以快速生成高可靠性 的调度及有效消除缺陷误报。     

类测试用例的设计与研究

合理地设计一个有限的测试用例集合是软件测试的关键,介绍了面向对象的软件测试用例设计的基本方法,并以堆栈类为例,详细讨论了基于前置条件和后置条件创建测试用例和基于UML状态图创建测试用例的方法,实践证明是可行的方案.     

嵌入式软件运行剖面建模及测试用例生成

软件运行剖面定量描述软件的使用方式,可以为软件测试提供一个定量的依据,从运行剖面出发可以自动生成测试用例,对提高软件测试的效率与正确性具有很重要的意义.本文给出了一个工程应用中构造嵌入式软件运行剖面以及从剖面生成测试用例的方法.     

软件测试在APLA→JAVA系统中的应用研究

在参阅有关软件测试资料及文献,并结合国家自然科学件测试进行了深入的研究和探索.从理论和实际相结合的角度,选用了针对性强、适用性好的测试用例,提出了适合于APLA→JAvA系统的软件测试计划、测试策略、测试方法,软件可靠性评估标准等.     

DSP自动代码生成在数字化接收机中的应用

随着各种大规模可编程和高速数字集成电路的不断涌现,电子系统的体系结构和设计方法也在发生显著的变化,其中的一个重要特征是由传统的模拟方式向数字方式转变.采用数字技术设计系统不但能够克服模拟方式存在的诸如一致性较差和不易调试等缺点,而且还能够完成过去采用模拟方式难以完成的工作,如对雷达瞬时参数的测量;采用数字技术还有一个明显的优点是可以在相当程度上实现设计过程的自动化,例如使用Matlab的Real-Time Workshop工具实现程序代码的自动生成.本文首先给出雷达瞬时参数测量的数学模型,然后在Matlab环境下搭建起其仿真模型,在仿真验证功能正确后使用Real-Time Workshop工具自动生成面向TI公司数字信号处理芯片(DSP)TMS320C6701的CCS工程文件并在目标板上进行代码的调试.     

函数调用路径测试用例自动生成的方法研究

测试用例自动生成是软件测试自动化中最为关键的组成部分之一,符号执行作为一种程序分析方法,以其可提供高覆盖率测试用例的优势被广泛应用其中,但路径爆炸和约束求解问题很大程度制约了符号执行技术在现实程序分析中的应用。将研究粒度由语句提升至函数,利用抽象语法树和字节码序列提取到的函数关键信息和控制信息得到函数调用关系模型,设计算法生成函数调用路径（函数调用路径表示程序从开始到结束之间函数的调用或执行序列）。该方法不仅减少了测试路径数目缓解了路径爆炸问题,还有效解决了控制条件中存在函数导致符号表达式难求解的问题。实验结果表明该方法可优化测试路径集,在不降低覆盖率的前提下减少测试用例数量。     

基于使用剖面的软件可靠性测试用例生成方法

为了获得软件的可靠性指标,需要设计操作剖面来仿真用户实际使用软件的情况,并基于操作剖面来进行可靠性测试.传统的基于操作剖面的可靠性测试方法难以适用于航天软件,为了解决此问题,描述了一种具有层次化网络体系结构特征的使用剖面的形式化定义,阐述了构造这种使用剖面的系统化方法,给出了根据使用剖面生成用于软件可靠性测试操作序列的算法,以及基于操作序列生成可靠性测试用例的方法.提出的方法经过实验验证表明是可行的.     

基于EFSM不定型切片测试用例自动生成的研究

基于模型的测试是软件测试中一个重要分支,但随着模型规模的增大,测试用例生成也变得越来越困难.扩展有限状态机(extended finite state machine, EFSM)是一种广泛应用的模型,它是对有限状态机(finite state machine,FSM)的扩展,能够更精确地刻画软件系统的动态行为.对EFSM模型的测试主要包含2个部分：测试迁移路径的生成和覆盖测试迁移路径的测试数据的生成.基于搜索的方法已被应用于测试数据的生成.为了提高在大规模EFSM模型中测试用例生成的效率,在前期对EFSM模型非终止性研究新型依赖性分析和切片技术的基础上,提出了基于EFSM模型不定型切片的测试用例生成方法和测试用例补全方法.通过2个案例分析得出：基于模型切片可以更加准确地生成可行路径和提高测试强度.基于7个基准EFSM模型的实验结果表明,在大多数情况下,在切片上生成测试用例的效率都比在原模型上高.     

Automated Test Case Generation for BDI Agents

We propose a coverage oriented test case generation methodology for BDI multi-agent systems. The coverage criteria involve plans and nodes within plans of multi-agent systems. We organise the criteria into a subsumption hierarchy to show the coverage relationships between the criteria. Then we apply the criteria on multi-agent systems to analyse some empirical data. The data analysed is the effect on the number of test cases generated automatically for each criterion. We use a tool, BDITESTER, to obtain the empirical data and to show that our proposal is pragmatic. Finally, we suggest some guidelines to select a criterion to automatically generate test cases for BDI agents.     

决策树在软件测试用例生成中的应用

在软件测试中,测试用例生成是其关键环节,也对软件测试的自动化有着重要影响。为了提高测斌用例生成的效率,提高其自动化的程度,从不同角度对软件测试用例选择策略进行介绍。决策树是数据挖掘领域中一种重要的数据分类技术．在现有的一些功能测试用例生成方法基础上提出了一种基于决策树算法的测试用例生成方法,并对其中一些关键问题进行了初步的探讨。     

一种面向列车控制系统中安全攸关场景的测试用例自动生成方法

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性.     

寄存器传输级测试用例生成算法

基于控制流图／数据流图层次模型,以分支覆盖、位功能覆盖以及语句可观测覆盖为目标,给出一个高层次测试用例生成算法,并最终实现一种可行的RTL级测试生成算法．实验结果表明,在较少的测试生成时间下,该算法可生成相对短的测试序列,得到与其他方法相当或略差的测试效果．此外,该算法因采用了测试用例技术而具有良好的灵活性．     

自动生成测试用例的方法设计及实现

为了实现软件测试用例的自动生成,提高软件开发效率和软件质量,目前很多方法都是针对有限状态机自动生成测试用例进行介绍,而在本文中根据扩展有限状态机对象状态迁移的特点,利用扩展有限状态机模型,提出了扩展有限状态机自动生成测试用例的测试方法,并应用于自动售货机Coinbox类软件测试中。     

测试用例生成算法TCBSA研究

软件测试过程中的一个重要任务是生成测试用例,但目前有些测试用例生成方法存在的一些问题限制了它们的使用,如利用动态测试用例生成方法获取合适的测试用例需要进行大量的迭代。提出了一种在面向路径的测试用例生成中使用熟知的二分搜索策略生成测试用例的形式化体制,同时设计了一种测试用例二分搜索算法。该算法确定一个测试用例的迭代次数被限制在O(mnlog｜D｜)内。