共查询到20条相似文献，搜索用时 421 毫秒
1.
以移动终端软件测试为例,依据统一建模语言(Unified Modeling Language,UML),利用建模工具和UML模型图,给出了一种生成测试用例的方法。该方法能直观地创建自动化测试用例方案模型,尽可能多地生成测试用例场景,从而加大了测试用例的隐含故障覆盖率,并能为移动终端的自动化测试工具提供有效的配置参数。 相似文献
2.
为了节约软件测试成本,减少测试用例数量,提出了一种利用蚁群算法直接从UML活动图中生成测试用例的方法。通过对UML活动图和蚁群算法进行形式化规约,构造人工蚁群,然后依据DFS遍历由UML活动图转化的有向连通图G,最后生成测试用例。通过仿真模拟,对提出的方法进行验证以及对实验结果进行分析,证明了该算法的可行性和有效性。 相似文献
3.
介绍了当前的几种常用Web测试生成技术,提出了基于爬虫的Web测试生成技术,设计并实现了Web测试生成系统,该系统可以自动化完成爬取目标Web应用、处理分析爬取结果、生成测试用例、执行测试用例的功能,并且系统执行过程中输出的分析结果和测试用例可以被其他相关系统如测试覆盖分析系统利用。 相似文献
4.
《赤峰学院学报(自然科学版)》2017,(10)
传统的软件场景测试法存在着构造场景难度大,场景数量庞大、冗余度高等问题.针对这些问题,本文提出了一种基于UML活动图的场景法测试用例生成策略,利用活动图和基本路径覆盖法压缩、优化测试场景和测试数据,为软件系统测试提供有效、可行、系统的方法. 相似文献
5.
6.
7.
按照存在量词公式的证据是全称量词公式的反例的特性,通过考察时态逻辑算子,用模型检查的反例生成机制对测试用例生成技术进行研究．然后把模型检查的算法引入到软件测试领域,寻找验证的路径,生成测试用例,据此对系统进行测试．通过实例说明了测试用例的具体实现过程． 相似文献
8.
为了解决传统数字芯片验证环节中基于仿真的验证（或动态验证）功能覆盖率收敛速度慢的缺点,提出一种新的以功能覆盖为导向的测试用例生成方法,该方法基于贝叶斯网络和机器学习技术,可实现从覆盖模型到测试用例生成器反馈回路的自动关闭,在 DUT 的验证过程中,使用该方法为所测试的设计生成新的激励。实验结果表明,基于贝叶斯网络的 CDG 技术测试用例使用较少,覆盖率收敛更快,与传统基于仿真的验证技术相比,测试用例数量减少了 43%。基于贝叶斯网络的
比于传统动态验证技术而言其芯片功能验证更完善。 相似文献
9.
测试用例自动生成是软件测试过程中的一个关键环节。为解决因集簇特性而导致PSO测试用例生成算法计算资源浪费的问题,提出了分簇竞争PSO测试用例生成算法（CTCC PSO）,采用“集簇度”指标对算法进行量化和分析,并通过实验证明新算法的有效性。CTCC PSO算法包括“集簇度量化”与“簇中用例竞争约简”两个重要过程,根据“集簇度”动态地驱动簇内测试用例进行竞争,从而有效地提升测试用例生成效率。实验结果表明,CTCC PSO算法在不失鲁棒性的前提下,与基本PSO测试用例生成算法相比,能够有效减少测试迭代规模,同时显著减少参与计算的测试用例总量。 相似文献
10.
快速、高效地生成测试用例是软件测试的关键。遗传算法通过模拟生物进化中的自然选择和交配变异寻找问题的全局最优解,传统遗传算法容易导致早熟收敛。针对这一缺陷,提出一种改进的遗传算法,并将该算法应用于测试用例生成中。实验结果表明,该算法生成测试用例比传统遗传算法效果更好,是一种行之有效的方法。 相似文献
11.
软件缺陷定位的有效性和及时性是提升软件质量的关键因素,现有自动缺陷定位方法和手工调试方法具有一定局限性。为解决这一问题,基于高斯过程的缺陷定位方法和软件自动修复对缺陷定位的有效性评估机制,设计了一种新的面向安全攸关系统的缺陷定位框架。基于ManyBugs和 IntroClass设计了软件缺陷定位测试数据集构造方法和实验方案。实验结果表明,该设计方案有效可行。 相似文献
12.
提出了软件模型检测技术与软件测试技术的集成框架,在合适的软件检测模型基础上,通过模拟仿真,产生软件的测试用例,提高了软件的测试效率与降低了软件的测试成本。并对飞行控制软件作实例研究,取得很好效果,提高飞行控制软件的可靠性。 相似文献
13.
一种通用试题库软件的设计 总被引：2，自引：0，他引：2
杨丽军 《陕西教育学院学报》2006,22(3):87-89
在进行试题库软件的设计中,为了能使软件适应多种数据试题的需要,并能按需要对试卷排版,可充分利用MicroSoft Word软件的特点,把试题库系统的设计建立在Word软件之上,实现多种媒体数据试题的集中分类存储,按需要自动组卷,生成试卷文档,在打印输出的时候可以根据需要对文档重新排版,设置格式,用以满足高校考试应用管理的需求。 相似文献
14.
浏览器是 Web 应用程序的客户端软件,针对浏览器兼容性测试的手工效率低,工作量大的问题, 提出了一种并行的自动化测试方法,并将图像匹配技术结合到该自动化测试系统中,解决了脚本编写过程中界面检查点无法设置的问题。对该方法中的自动化测试框架组成结构和测试脚本编写进行了研究,并对如何生成测试结果及输出的测试报告内容进行了说明。为验证方法的有效性针对三款不同的浏览器在Web程序上进行了自动和手动测试时间对比,实验结果表明使用所提出的方法可以使测试速度提升大约3倍。 相似文献
15.
The market of stainless electric steel kettles is growing significantly, but the main mechanism for polishing kettles via traditional handwork operations limits the growth of electric kettle manufacturing. Based on the successful multi-tool automatic polishing system for electric stainless steel kettles, regression analysis and orthogonal tests were employed to construct a polishing process model, with a purpose to improve the automatic polishing technology for electric stainless steel kettles. The model reveals the relationship between the surface roughness and processing parameters including gringding depth, abrasive tangent speed, workpiece rotating speed and axial feeding speed. Simulation and experimental results are in agreement,which shows that this modeling method is feasible in practice, and it can also be used as a guidance for planning automatic polishing process of electric stainless-steel kettles. 相似文献
16.
Testing is a standard method for verification of software performance.Producing efficinet and appropriate test case is an important aspect in testing.Specification-based testing presents a method to derive test data from software specification.Because of the precision and concision of specification.the test data derived from specification can test the software efficiently and entirely.This paper demonstrates a test class framework(TCF) on a file reading case study,specifiec using Z notation,This class framework defines test case sets,providing structure to the testing process.Flexbility is preserved so that many testing strategies can be used. 相似文献
17.
汪岚 《通化师范学院学报》2013,34(6):36-37,114
从系统设计需求出发,提出以S7-200的PLC为下位机,以MCGS为上位机的监控软件实现车库自动门监控系统的设计.该系统应用计算机构建动态监控画面,模拟车辆和自动门的运行,工作人员通过监控画面不仅能实现自动门的实时监视和数据采集,还可通过上位机直接控制门的运行状态.运行结果表明,系统可靠且具有人机界面友好、控制简单方便等优点,很好的提高了系统的监控力度. 相似文献
18.
基于 CAD 和 CAE 软件的集成设计是现代设计趋势之一。如何将参数化 CAD 建模与有限元分析相结合是一项挑战性工作。通过改变模型参数实现自动建模和有限元分析的研究很少。探讨基于 SolidWorks 尺寸驱动的弹簧参数化建模与基于 Python 的 ABAQUS 二次开发进行有限元分析相结合的方法。在 VB 界面中,通过人机对话窗口对可变参数赋予不同的参数值,自动生成一系列圆柱螺旋压缩弹簧模型。将模型导入 Abaqus有限元软件,采用 Python 语言进行 CAE 模块编辑。将参数化技术与有限元计算有机结合,建立弹簧参数化设计与 CAE 分析系统,实现 CAE 分析的自动建模。实验结果表明,该方法可以得到合理的有限元分析结果。采用基于参数的设计与分析方法,可以缩短设计周期,得到合理准确的结果,且成本较低,弹簧分析方法也适用于其它机械零件。 相似文献
19.
对空间军事系统综合集成研讨厅体系中专家意见集成的方法进行研究.在德尔菲法基础上,建立了一种优化搜索机制.以专家一次性给出的原始意见为基础,构建专家意见集成的优化搜索模型,利用计算机的信息处理能力求解,获得既满足一致性要求,又具有一定可信度指标的结论. 相似文献
20.
传统方法开发笔式表单界面软件,开发周期长,成本高,难以提供用户概念模型和系统实现模型相一致的软件。文章提出了一种基于PFUIM驱动的笔式表单界面软件的开发方法,该方法建立了笔式表单用户界面的开发框架,描述了笔式表单界面的PIM、PSM以及从PIM到PSM的转换过程,给出了笔式表单界面软件开发的流程,最后用实例进行说明。 相似文献