测试路径相关论文
随着软件复用成为现代软件工程的重要目标,人们希望使用更高效的软件设计和开发方法,降低开发费用,提高生产效率。软件构件技术的......
当今社会，软件与人们的联系越来越密切，软件质量的重要性已不言而喻。软件发生失效后，如何自动调试程序是一个非常有意义的研究课题。......
Web系统使用广泛，如何进行有效的测试保证Web系统的可靠性至关重要。但是由于Web应用程序多采用分布式结构，各类实体间的藕合度小，Web......
Web应用是一种基于网络的应用程序，通常使用浏览器访问。随着用户需求的剧增以及技术的不断进步，Web应用的规模也逐渐庞大起来。为适......
随着软件系统规模的剧增,软件开发变得越来越复杂。历史上,大型软件失败的事件屡见不鲜。此类的事件频频发生,如何提高整个开发软......
在城市轨道交通领域,基于通信的列车控制(Communication Based Train Control,CBTC)系统是当前信号系统发展的主流方向。CBTC系统......
本文简述了检测家用电器产品爬电距离和电气间隙的重要意义,阐述了标准中关于爬电距离和电气间隙的定义及其内在涵义,介绍了其测量......
对于交互式软件而言,功能的实现是通过复杂的人机交互完成的,目前的功能测试用例生成方法常常只考虑软件的界面信息,而不考虑软件......
有限状态机（Finite State Machine,简称FSM）模型是软件测试领域的流行测试模型之一.基于FSM模型生成测试用例的方法假设给定的模型与......
目前测试数据生成方法多数未考虑到面向对象软件的多态特性,无法运用生成的测试数据对程序的多态信息进行充分的测试。根据多态路......
化学抽象机形式化语言（CHAM）通过把化学反应和抽象机的概念有机地结合来描述系统状态的变化,以此来指导分析和测试.针对软件体系结构......
Web测试是保证高质量Web应用的一种有效技术。然而，由于其特殊性和复杂性，很难直接将传统的测试理论与方法学运用到Web应用的测试当......
针对测试硬件种类增多导致的测试路径连接复杂、人工配置困难的问题，提出了一种在建立测试系统数据模型的基础上实现的测试路径自动......
在软件体系结构描述语言Wright的基础上，提出了基于软件体系结构的测试覆盖准则及BG动态行为图，根据BG图构造基于覆盖准则的测试路径......
采用成熟的建模仿真工具CPN tools不仅仅对程序设计语言的三种基本结构进行了建模，而且对并行程序中的并行结构也进行了建模和仿真......
为了找出WS—CDL组合流程中存在的错误，减少软件维护产生的开销，提出一种基于控制流图生成测试路径的方法，用于对WS—CDL进行测试．首先......
<正>在消费电子领域,线性变压器与高频变压器(开关变压器)已经成为重要的安全隔离器件。在GB8898、GB4943、GB4706等标准中,均有对......
针对列控中心测试,介绍了基于UML状态图的列控中心测试路径生成方法.根据列控中心需求规范建立UML状态图模型;采用改进的深度优先......
为了解决AJAx技术带来的测试新问题，针对流行的爬行算法进行了改进。通过捕获用户界面的状态以及改变状态的转换条件，从而推导出状态......
针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试......
服务组合是面向服务计算的关键技术,回归测试是服务组合演化与维护的重要组成部分.本文提出一种面向服务组合的回归测试方法,从服......
为了提高列控中心自动化测试的效率和质量,研究带有通信时机测试用例的生成方法.首先,通过扩展确定性有限状态机的输入输出动作,构......
为更好地对服务组合展开测试,提出一种基于BPEL的Web服务组合测试路径的生成方法.首先对BPEL流程进行建模,以一种可扩展的控制流程......
软件体系结构用来描述系统的高层结构和行为特征,软件体系结构描述语言ADLs是对软件体系结构的形式化描述。在软件体系结构描述语......
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们......
针对目前体系结构描述语言对描述软件系统行为方面的不足而难以生成实时测试路径的问题，提出一种基于π演算的软件体系结构测试方法......
UML状态图与传统的状态转换图存在较大的差异,导致由状态转换图得到的软件测试路径不适用于UML状态图。为此,提出一种由UML状态图......
目前,扩展有限状态机的测试问题为基于扩展有限机模型获取合适的迁移路径,然后根据这些路径导出测试数据。针对提高基于扩展有限状......
综合模块化航空电子(IMA)平台网络通信结构复杂,在进行故障注入测试时,存在难以选取合适的测试路径及等效、无效故障注入较多的问......
随着并发软件的广泛应用,并发软件的测试成为很多学者的研究对象。然而,并发程序执行测试路径时的不确定性使其测试难度加剧。Petr......
集成电路技术的发展在使现场可编程门阵列(FPGA)器件的规模更大、功能更强、内部资源更丰富的同时也让芯片的测试难度大大增加。在......
软件测试中最重要的就是设计和生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.首先提供了一种......
Web应用的迅猛发展及其自身的复杂特性给其测试带来了一定的难度,使得传统的测试方法已不能满足需求,迫切需要新的Web测试方法和技......
软件可靠性测试技术是保证软件质量的重要研究内容,针对传统可靠性测试中测试用例生成过于随机、生成个数不可控、测试用例生成＂早......
COBOL语言应用于很多商业银行的核心技术研发,随着各大银行互联网化、信息化、大数据化的发展,基于COBOL的农村商业银行的核心系统......
针对Web应用测试用例生成过程中导航图规模过大以及存在冗余测试路径的问题,提出了一种基于Selenium页面对象设计模式和图遍历算法......
