测试路径相关论文
本文在详细分析网络服务性能测试模型建立过程中所涉及的各种问题和主要影响因素的基础上,提出了一个新的网络服务性能测试模型建......
软件体系结构描述系统的高层结构和行为特征,软件体系结构描述语言ADLS是对软件体系结构的形式化描述.本文在软件体系结构描述语言Wr......
软件体系结构(SA)通过对系统构件及其交互的抽象,提供了一个描述大型、复杂系统的高层次模型,SA的动态描述常被用来指导分析和测试......
LED 光源产品是指标定有基本光电性能参数的LED 模块,是照明产品中基本组件之一,对其进行质量检测十分必要。目前LED 光源产品......
简述了爬电距离和电气间隙在电子电器产品安全项目检测中的重要性,阐述了确定和绘制爬电距离和电气间隙的测试路径在检测中起首要......
随着软件复用成为现代软件工程的重要目标,人们希望使用更高效的软件设计和开发方法,降低开发费用,提高生产效率。软件构件技术的......
当今社会,软件与人们的联系越来越密切,软件质量的重要性已不言而喻。软件发生失效后,如何自动调试程序是一个非常有意义的研究课题。......
Web系统使用广泛,如何进行有效的测试保证Web系统的可靠性至关重要。但是由于Web应用程序多采用分布式结构,各类实体间的藕合度小,Web......
随着软件系统规模的剧增,软件开发变得越来越复杂。历史上,大型软件失败的事件屡见不鲜。此类的事件频频发生,如何提高整个开发软......
研究选项对互操作的影响。首先对可选项的作用阶段建立着色Petri网模型并生成部分模型的可达图;然后基于所得可达图采用数据选择的......
在城市轨道交通领域,基于通信的列车控制(Communication Based Train Control,CBTC)系统是当前信号系统发展的主流方向。CBTC系统......
随着VLSI技术的蓬勃发展,电路日趋复杂.为保护其可靠的运行,故障的诊断是一个必不可少的重要环节.由于一些武器装备标准化程度较低......
对于交互式软件而言,功能的实现是通过复杂的人机交互完成的,目前的功能测试用例生成方法常常只考虑软件的界面信息,而不考虑软件......
有限状态机(Finite State Machine,简称FSM)模型是软件测试领域的流行测试模型之一.基于FSM模型生成测试用例的方法假设给定的模型与......
目前测试数据生成方法多数未考虑到面向对象软件的多态特性,无法运用生成的测试数据对程序的多态信息进行充分的测试。根据多态路......
本文明辨了电子测试架构下的仪器进展、概要的技术特性、表征着的进展走向。PXI特性的总线,可被安设在自动测试这一范畴的系统以内......
化学抽象机形式化语言(CHAM)通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构......
Web测试是保证高质量Web应用的一种有效技术。然而,由于其特殊性和复杂性,很难直接将传统的测试理论与方法学运用到Web应用的测试当......
针对测试硬件种类增多导致的测试路径连接复杂、人工配置困难的问题,提出了一种在建立测试系统数据模型的基础上实现的测试路径自动......
首先介绍了Petri网在分析系统方面的优点,给出基于Petri网进行测试研究的相关概念,提出了基于Petri网的考虑控制流进行测试的标准,也......
在软件体系结构描述语言Wright的基础上,提出了基于软件体系结构的测试覆盖准则及BG动态行为图,根据BG图构造基于覆盖准则的测试路径......
采用成熟的建模仿真工具CPN tools不仅仅对程序设计语言的三种基本结构进行了建模,而且对并行程序中的并行结构也进行了建模和仿真......
为了找出WS—CDL组合流程中存在的错误,减少软件维护产生的开销,提出一种基于控制流图生成测试路径的方法,用于对WS—CDL进行测试.首先......
<正>在消费电子领域,线性变压器与高频变压器(开关变压器)已经成为重要的安全隔离器件。在GB8898、GB4943、GB4706等标准中,均有对......
针对列控中心测试,介绍了基于UML状态图的列控中心测试路径生成方法.根据列控中心需求规范建立UML状态图模型;采用改进的深度优先......
为了解决AJAx技术带来的测试新问题,针对流行的爬行算法进行了改进。通过捕获用户界面的状态以及改变状态的转换条件,从而推导出状态......
面向对象的软件的基本特征使在面向对象的系统使用传统的测试方法困难。控制流程图(CFG ) 是在程序的软件为独立路径的鉴定使用的......
传统的软件测试主要依赖人工来产生测试用例,易出错、完备性差、自动化程度低。为了提高测试的完备性和自动化程度,基于模型的测试......
文中提出了通过CHAM描述的SA规格说明生成LTS,并根据测试需求进行测试覆盖准则的选取,然后利用全路径测试方法,生成基于此覆盖准则......
针对GUI事件驱动特性产生无限多个测试路径的问题,提出在事件流图中考虑事件权重的GUI测试路径生成方法。分析了事件流图模型,采用......
针对Web应用测试方法错误覆盖率低的问题,提出了一种基于状态迁移的Web应用功能测试用例生成方法。该方法通过构造页面状态迁移图......
针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试......
服务组合是面向服务计算的关键技术,回归测试是服务组合演化与维护的重要组成部分.本文提出一种面向服务组合的回归测试方法,从服......
为了提高列控中心自动化测试的效率和质量,研究带有通信时机测试用例的生成方法.首先,通过扩展确定性有限状态机的输入输出动作,构......
为更好地对服务组合展开测试,提出一种基于BPEL的Web服务组合测试路径的生成方法.首先对BPEL流程进行建模,以一种可扩展的控制流程......
软件体系结构用来描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述。在软件体系结构描述语......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们......
针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题,提出一种基于π演算的软件体系结构测试方法......
UML状态图与传统的状态转换图存在较大的差异,导致由状态转换图得到的软件测试路径不适用于UML状态图。为此,提出一种由UML状态图......
目前,扩展有限状态机的测试问题为基于扩展有限机模型获取合适的迁移路径,然后根据这些路径导出测试数据。针对提高基于扩展有限状......
针对自动测试设备(ATE)测试程序开发中的开关资源测试路径搜索复杂、冲突判断困难、管理难度大等问题,提出了通用ATE开关资源测试......
随着并发软件的广泛应用,并发软件的测试成为很多学者的研究对象。然而,并发程序执行测试路径时的不确定性使其测试难度加剧。Petr......
集成电路技术的发展在使现场可编程门阵列(FPGA)器件的规模更大、功能更强、内部资源更丰富的同时也让芯片的测试难度大大增加。在......
软件测试中最重要的就是设计和生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.首先提供了一种......