共查询到20条相似文献,搜索用时 65 毫秒
1.
2.
在安全关键软件领域应用基于模型的开发技术时,存在着软件测试充分性的问题。提出了一种基于MBD模型自动生成测试用例、对航空发动机控制软件进行测试的新方法。通过使用MathWorks提供的自动生成测试用例工具箱(SLDV),基于FADEC控制软件的Simulink模型,自动生成满足控制软件模型MC/DC覆盖率100%的测试用例,并在Cppunit测试框架下执行测试用例;通过对比模型输出和测试输出来发现被测对象的问题,确保软件代码与模型的一致性。项目实践表明,该测试方法是软件集成测试的有益补充,提升了软件测试的充分性。 相似文献
3.
4.
针对路径测试中的软件测试用例生成的问题,提出了一种基于改进PSO算法的软件测试用例生成方法。首先,采用分值函数叠加方法来构造PSO算法中的适应度函数,并对粒子位置更新策略进行改进。接着,构建算法的控制流程图并进行目标路径选择。然后,利用程序插装收集个体的适应度值。最后,测试数据生成程序执行,得到合适的测试数据。通过在三角形分类判别案例程序上的实验结果表明,提出的软件测试用例生成方法能够生成更合适的测试用例,且有效减少了生成所需时间。 相似文献
5.
贺俊 《计算机光盘软件与应用》2011,(16)
在当今社会随着经济和科学技术的发展,UML也逐渐应用于诸多领域,其中最常用的是建立软件系统的模型。同时伴随着UML的推广,对于在其基础之上的测试用例生成发法的研究也逐渐得到了人们的关注。本文通过介绍UML的发展及具体相关内容,来探讨基于UML测试用例生成法的研究。 相似文献
6.
手工编辑生成XML数据文档不能适应快速大量的数据交换要求.编写代码也很难满足灵活多变的应用需求.尽管代码结构类似,却不能直接重用.这使得每次工作都得从零开始.文中提出了一种基于UML的XML描述方法,可以自动将关系数据库中的数据转换成XML数据文档,且描述简单容易,方便转换成基于不同平台的代码. 相似文献
7.
本文介绍了把知识工程,人工智能,测试标准族的概念和技术应用于软件测试的实践。叙述了测试模型的构成,系统的设计思想,测试知识的分类和表示等。本文还对测试实例生成过程作了详尽的讨论。 相似文献
8.
手工编辑生成XML数据文档不能适应快速大量的数据交换要求。编写代码也很难满足灵活多变的应用需求。尽管代码结构类似,却不能直接重用。这使得每次工作都得从零开始。文中提出了一种基于UML的XML描述方法,可以自动将关系数据库中的数据转换成XML数据文档,且描述简单容易,方便转换成基于不同平台的代码。 相似文献
9.
10.
软件测试是为尽可能多地发现软件的错误而进行的测试.它在软件生命周期中占据重要地位,这不仅是因为测试阶段所占用的时间、花费的人力和成本占软件开发的很大比重,而且它直接影响着软件的质量.如果在测试阶段未能很好地把握质量关,很可能对整个系统造成十分严重的后果.譬如美国一次卫星发射,控制程序中一个逗号“,”误为句号“ .”没有测试出,导致火箭爆炸,直接经济损失达1000万美元!软件测试在软件开发中的重要性由此可见一斑. 相似文献
11.
在软件测试中,测试用例的生成是关键。我们通过特定的模板来得到程序流程图的信息,用一系列的规则把流程图转换或二叉树表示的形式,然后遍历二叉树的各个分支,对每个分支都生成测试用例。从而达到白盒测试中具有较高故障覆盖率的路径覆盖。 相似文献
12.
基于UML的测试用例生成方法研究 总被引:4,自引:0,他引:4
基于模型的软件测试是由软件需求分析模型与设计模型中生成一套测试用例的技术.随着基于UML模型的软件开发与RUP(Rational Unified Process)开发过程的广泛应用,基于UML模型的软件测试逐渐成为基于模型软件测试的主要研究方向.结合UML模型中的测试信息,结合并改进了传统的测试用例生成方法,如场景法、判定表法等,提出了一套较合理的基于UML的测试用例生成方法,使得基于UML的测试用例生成方法的流程更加规范,更加易于生成满足很高覆盖要求的测试用例,并运用实例对其进行了验证. 相似文献
13.
基于UML顺序图的测试场景自动生成研究 总被引:1,自引:0,他引:1
UML顺序图直观地展现了对象之间的消息动态交互过程,适合于作为面向对象软件交互测试用例生成的依据。本文针对测试用例中的测试场景生成问题进行了研究,在将顺序图转化为消息交互流程图的基础上,根据对象覆盖、消息对覆盖、消息覆盖和逻辑路径覆盖等准则,分别给出了不同的测试场景生成算法,最后探讨了测试场景的健壮性。 相似文献
14.
软件参数的组合测试是发现参数组合问题的重要方法,但是参数组合测试面临着组合爆炸问题,成对测试可以有效降低测试成本。提出了一种基于遗传算法的成对测试生成方法,该方法用于选择当前局部优化覆盖的测试用例,在此基础上构建满足成对测试基准的测试用例套,结果表明该方法能在不降低测试覆盖精度的情况下有效降低了测试用例数量。 相似文献
15.
提出了一种基于扩展UML statecharts的协议一致性测试方法.实时扩展使得UML statecharts可直接描述时间约束,方便进行一致性测试;以FREE(Flattened Regular Expression)模型图为基础生成抽象测试序列,然后根据时间覆盖准则,生成实时测试序列. 相似文献
16.
在分析配对测试及其有效性的基础上,给出了一种新的关于n因素s(s≥2)水平的配对测试集生成算法。实验表明该算法与以往一些算法相比具有一定的优越性,最后将该算法运用于一个具体实例,并较详细地介绍了该实例的测试集生成过程。 相似文献
17.
18.
测试用例的设计和复用技术 总被引:7,自引:0,他引:7
软件测试是企业保证软件产品质量的一个重要手段,其中测试用例的设计是软件测试的关键,它一般包括功能测试用例的设计,结构测试用例设计以及系统方面的测试用例设计等.结合实际经验,系统地阐述了如何有效地进行测试用例的设计以及复用.并给出两个案例进行分析,探讨测试用例设计中的一些注意事项. 相似文献
19.
随着测试用例复用实践的深入和可复用测试用例库规模的不断扩大,对测试用例表示和高效检索已经成为目前研究的热点.基于本体描述的测试用例,结合基于本体的概念语义相似度计算思想,针对测试用例本体描述的特点,提出了一种基于用例复用行为的匹配度计算方法,并通过理论分析与实验检验证明,其提高了用例检索的查全率及用例复用的效率. 相似文献