基于自然语言需求的SCADE模型测试用例自动生成方法

随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法主要采用手工方式构造SCADE模型测试用例,存在需求与测试用例不一致、成本代价高且容易出错的问题。文中提出了一种基于自然语言需求的SCADE模型测试用例自动生成方法。首先,给出了基于模型检测的测试用例自动生成方法,通过自然语言需求处理生成原子命题,用于生成前提假设Assume和观察者模型,同时给出了陷阱性质(Trap Properties)生成规则来生成陷阱性质用于模型检测;其次,给出了基于覆盖分析和变异测试的测试用例质量评估方法,并在SCADE模型上进行变异测试;最后,设计和实现了原型工具,并基于一个工业界案例飞行员弹射座椅控制系统进行了案例分析,验证了所提方法的有效性。

基于免疫算法的电子商城软件系统测试用例生成

本文提出了一种基于免疫遗传算法(Immune Genetic Algorithm,简称IGA)的电子商城软件测试用例生成模型(Model ofTest Case Generation of EM Software,简称MTCGES),并详细地介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在电子商城软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时也进一步验证了模型的正确性、可行性。

基于模型的软件测试用例生成方法比较研究

随着软件系统的规模和复杂度的增加,软件测试的自动化提上日程,软件测试用例的自动化生成成为降低测试成本的重要途径。模型检测技术和工具的出现,使得软件测试用例的生成更加自动化。本文对基于模型检测技术的测试用例自动生成方法进行评估,与传统的基于有限状态机(FSM)模型的测试用例自动生成方法进行比较,采用系统文献综述和可控实验的方法,进行定性和定量的比较分析。结果显示,基于模型检测技术的测试用例自动生成方法在自动化程度、测试覆盖率、测试成本等方面都具有优势,是一种可以应用和进一步研究的测试用例自动生成方案。

基于免疫算法的电子渠道软件测试用例生成

提出了一种基于免疫遗传算法的电子渠道软件测试用例生成模型,并介绍了免疫遗传算法的基本思想.通过将免疫遗传算法与传统遗传算法和随机算法在电子渠道软件测试用例生成中的比较,说明了免疫遗传算法的效率明显高于传统遗传算法和随机算法,同时也进一步验证了模型的正确性、可行性.

基于需求模型的航天软件测试用例生成方法

为了提高航天软件测试的效率和覆盖率,增加航天软件测试的有效性,提出了一种基于需求模型的软件测试用例设计方法。针对航天软件测试的特点,该方法采用从用例层深入至步骤层的测试优化策略。首先,基于元建模方法定义了一种测试需求模型;通过建立模型,将测试需求加以拆分,获取了测试需求之间的先后依赖关系以及测试需求与测试步骤之间的对应关系。然后,基于测试需求模型,构建了测试需求的路径图,进而通过对图的遍历获得了测试用例。最后,将该方法用于工程实践进行了实验验证。验证结果表明,该方法有效保证了测试活动的充分性和有效性,降低了测试用例约简的风险。与不约简的测试方法相比,该方法减少测试工作量达18%,减少测试用例数量为40%以上,软件测试的执行时间也减少了40%以上,在满足需求覆盖率的同时,有效提高了测试效率。

基于使用模型的嵌入式软件测试用例生成研究

基于Markov链使用模型的软件统计测试是产生高效测试用例,实现软件可靠性定量评估的有效方法。介绍了基于使用模型的统计测试方法,论述了使用模型的概念和特点,以及从使用模型中可以计算出的静态参数和它们在统计测试和软件开发中所起的作用。提出Markov链使用模型用于嵌入式软件的测试,从理论上得到嵌入式软件的可靠性。具体阐述了嵌入式软件的Markov链使用模,型自动生成测试模型的方法。同时使用改进的Kullback判别式探讨测试的可靠性问题,从理论上证明了测试链到使用链收敛的必然性。理论分析和初步的实例证明该方法是可行的和有前途的。

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

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

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

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试数据的生成。

Android软件可靠性测试用例自动生成的设计研究

Android是近几年新兴的智能手机操作系统,同时也出现了各种类型的Android应用软件,竞争激烈。对其进行可靠性测试是保证Android软件质量和可靠性的重要途径,同时也可帮助开发方在满足用户期望和尽快上市发布产品两者之间找到合理的平衡。而测试用例的生成是软件可靠性测试的重要环节。针对Android软件可靠性测试用例的自动生成问题,首先提出收集用户对Android软件使用的习惯数据,以便于构建软件的马尔科夫链模型的方法,并基于马尔科夫链模型,提出和实现了设置状态间转移概率算法和测试用例生成算法,最终根据以上的研究内容设计了带有自动记录用户操作习惯模块的Android文件管理器和Android软件可靠性测试用例自动生成工具,给出了Android软件可靠性测试用例设计的总体思路。实验结果表明,该方法大大降低了Android软件测试用例生成的难度,同时节约了测试用例生成的时间和成本,提高了可靠性测试的效率。

基于Markov模型的Web服务软件测试用例生成

软件测试是保证Web服务软件质量的重要技术之一。变异测试是一种面向缺陷的测试技术,变异测试用例生成效率将影响Web服务测试的效率和成本。该文针对Web服务软件,基于Markov模型高效生成变异测试用例。首先,随机生成一定样本容量的测试数据,针对每一个合约变异体,基于弱变异测试准则,执行Web服务方法及其变异体,根据合约变异预言来判断变异体是否被杀死;然后基于Markov链预测模型,计算变异体之间的关联度;再根据变异体之间关联度,生成变异体序列,即与其他变异体关联度大的变异体排在序列的前面;最后,采用遗传算法,依次序列顺序,生成杀死合约变异体的测试用例。

基于免疫算法的HLR软件系统测试用例生成

提出了一种基于免疫遗传算法(Immune Genetic Algorithm,简称IGA)的HLR软件测试用例生成模型(Model of Test Case Generation of HLR Software,简称MTCGHS),并详细地介绍了IGA算法的基本思想。通过将IGA算法与传统遗传算法和随机算法在HLR软件测试用例生成中的比较,说明了IGA算法的效率明显高于传统遗传算法和随机算法,同时进一步验证了模型的正确性、可行性。

一种基于高阶Markov使用模型的测试用例自动生成方法

为了解决基于单纯马尔可夫使用模型测试用例生成不稳定、测试充分性判定不精确的问题,在分析现有测试用例自动生成方法的基础上,提出一种改进的高阶马尔可夫测试模型,并依据此模型,提出改进的基于快速轮盘赌的二分查找测试用例生成方法和基于相对熵的测试充分性判定方法。实践表明,改进后的方法有效地提高了测试用例生成的稳定性和测试充分性判定的精确性,与原有方法比较更适合大规模软件的测试,提高了大规模软件自动化测试的效率。

基于交互事件流模型的GUI测试用例生成

根据GUI基于事件驱动的特点,对事件流思想在GUI测试中的应用进行研究。针对事件流模型对GUI事件之间的关系描述过于薄弱,生成大量冗余测试用例的问题,在事件流模型中加入用来描述事件间交互关系的信息。同时指出事件交互的本质是事件处理程序之间的变量共享和消息传递。最后给出生成有效交互测试用例的具体算法,并在实例中验证了其有效性。

基于粒子群算法的EFSM模型的测试用例自动生成

本文分析了常用的遗传算法和模拟退火算法在测试用例自动生上的优缺点,提出了基于粒子群算法的EFSM模型测试用例自动生成,并通过实验验证其可行性,以及此方法在测试用例的生成效率上有较大提高。测试用例的生成是软件测试中的一项不可或缺的组成部分,而且也是一项富有挑战性的任务。由于迁移路径非常复杂,基于EFSM模型来自动生成测试用例仍然具有一定的挑战,很多学者提出了基于元启发式搜索算法的EFSM模型测试用例自动生成,但是或多或少存在一些缺点。

基于输出域的测试用例自动生成方法研究

对大多数软件,很难根据规格说明自动产生期望的输出.而对于某些软件,输出域存在许多值得关注的检测点,适合于从输出域出发开发测试用例.但对于给定的输出,自动生成相应的输入也较为困难.提出了一种基于输出域的测试用例自动生成方法,首先利用BP神经网络构建被测软件的功能模型,然后在被测软件的功能模型上,对于给定的输出,利用遗传算法搜索相应的输入,实现基于输出域的测试用例自动生成.同时,对遗传算法进行了改进,提出了一种新的交叉算子和变异算子,以提高遗传算法生成测试用例效率,并在容错软件RSDIMU子模块和3个常用软件上进行了模型构建及测试生成实验.实验结果表明,利用遗传算法实现基于输出域的测试用例自动生成方法是行之有效的,改进的遗传算法能够提高测试生成的效率和成功率.

基于EDPN的类测试框架及测试用例生成技术的研究

针对基于状态的面向对象软件的类测试过程中存在的不可预测、不可达状态、状态组合“爆炸”和测试用例“爆炸”等问题,提出了基于EDPN模型的类测试、类的交互测试和类的层次测试框架,设计了相应的测试模型;提出了基于EDPN的有标记的唯一输入输出(UIO)测试用例的自动生成方法,生成状态转移路径序列,测试类的状态;提出了基于扩展的EDPN的状态组合的标记关联递推法,生成扩展的正交阵列表,测试类的交互;提出了基于扩展的EMDPN的协同路径(copaths)测试用例的生成方法,生成协同路径序列,测试类的层次。

一个基于UML顺序图的场景测试用例生成方法

UML 顺序图是基于 UML 开发的软件设计模型的重要组成部分,它描述了软件系统的动态行为,是软件集成测试过程中的一个重要的信息来源。本文提出了一个基于 UML 顺序图的场景测试方法,它以 UML 顺序图为主要测试模型,结合 UML 状态图和类图生成所有的测试场景,最后使用范畴-划分方法找到与每一场景相关的环境条件并将它与方法序列、输入、输出合理组合作为覆盖该场景的测试用例,用于测试该场景中对象之间的交互。由于 UML已广泛用于软件分析和设计阶段,通过 UML 模型生成测试用例可充分利用已有的设计结果,减少测试阶段所需的费用,对于已使用 UML 的工业界有着重要的意义。

形式化的软件测试模型研究

传统方法中基于软件测试工程师经验的测试用例构造技术使得软件测试的质量很难得到保证。本文提出一种基于形式化方法的软件测试模型。该模型使用形式化描述语言RSL对软件设计进行描述,并在此基础上提出了自动生成软件测试各个阶段所需测试用例的方法框架以及相关实验结论。

面向人机交互式软件的测试模型建模方法

从测试用例自动生成和自动执行的角度来探讨如何对人机交互软件建立测试模型。采用UML活动图模型来描述软件的人机交互过程。为了能够从活动图模型中生成一组确定的可执行的测试用例,给出了一组规则来细化基于活动图的测试模型所表达的语义,同时也对活动图做了一些扩展,以支持基于模型的测试用例自动生成及其自动执行。给出的建模方法,能够减少某些冗余的测试用例。

基于过程与场景分析的航天应用软件测试方法

航天应用软件系统具有软件种类多、规模大、信息交换关系复杂等特点,如何开展软件测试是工程实践中的一个难题。结合某测控信息应用软件系统实例,提出了一种基于形式化模型的软件系统测试方法。基于软件系统形式化定义和线索分析技术,绘制软件系统运行流程图、阶段分析图,建立可表述软件系统级行为的场景树模型和场景树图;根据测试充分性要求,提出基于场景树图的路径覆盖准则,给出满足路径覆盖准则的测试用例集自动化生成算法;结合工程实例,给出了方法应用数据,开展测试结果分析。验证结果表明该测试方法是可行的和有效的,能够保障软件测试的充分性。