基于模型的测试相关论文
联锁系统是保障铁路行车安全的关键技术装备。联锁仿真试验是联锁系统安全性验证的重要环节。传统的联锁仿真试验方法面临着效率低......
列车自动防护(Automatic Train Protection,ATP)是列控系统的核心,负责监控列车速度,防止列车超速,是典型的安全苛求系统。作为安......
当今世界飞速变化,软件系统需要不断演进以适应日新月异的需求。每次系统被修改后,都需要开展回归测试来保证原有的、变化的与新增......
当前,智能手机以及平板电脑之类的移动终端逐渐成为日常生活中不可或缺的一部分,其上的移动应用也随之蓬勃发展,应用复杂度呈几何......
Android已经成为市场占有率最高的移动端系统,Android应用的数量也快速增长,Android应用自动化测试技术成为当下研究热点。目前商......
近年来，工作流技术越来越多的应用于软件程序中，与之相关的新工作流语言以及工作流引擎也得到了快速的发展；但是，目前辅助工作流应用软......
根据研究表明，测试工作消耗了超过半数的软件开发工作量，而这正是阻碍软件质量保证的重要因素之一。软件复用技术在提高软件质量和生......
为满足基于模型的测试需求,研究了基于搜索的Simulink模型测试数据生成方法。对于严格约束,该方法利用代价函数规则构建目标函数,......
随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,基于模型的软件测试逐渐得到了软件开发人员和软件测试人员的认可和......
近年来,工作流技术越来越多的应用于软件程序中,与之相关的新工作流语言以及工作流引擎也得到了快速的发展;但是,目前辅助工作流应......
通过深入地研究数据交换的通用模型,抽象数据交换的过程状态和规则,提出了一种基于数据交换的测试模型及其测试的方法,该方法能够......
为了提高航空机载软件回归测试效率、降低回归测试成本，提出应用遗传算法实现测试用例优先级排序的方法。该方法将统一建模语言（UML）......
在模型驱动软件开发过程中,基于模型的测试方法往往用于检验软件代码针对软件模型的一致性以确保软件质量.然而,随着当今软件系统......
针对基于构件的软件开发过程中构件的使用者难以验证构件的动态行为这一问题，提出了一种基于用户需求的构件行为测试方法。用接口自......
分析测试设计的问题和挑战,结合测试设计和自动化测试的发展,提出基于模型的自动化测试基本思路和解决方案。以TD-RNC的一个特性为......
分布式异构的系统间存在大量的数据交换,数据交换测试是分布式异构系统测试中的重要内容,同时也是软件测试比较重要的研究方向之一......
1引言如今系统越来越为复杂，工程师针对控制系统的系统级测试采取了新的方法。硬件在环（HIL）测试和机械测试草元之间的界限正逐渐变得......
为了提高列控中心自动化测试的效率和质量,研究带有通信时机测试用例的生成方法.首先,通过扩展确定性有限状态机的输入输出动作,构......
针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列,导致测试执行成本较高的问题,提......
车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用......
SQL注入漏洞一直以来都是威胁Web应用安全的主要问题之一,其中二阶SQL注入漏洞相较于一阶SQL注入更加隐蔽且威胁更大,对其检测通常......
根据研究表明,测试工作消耗了超过半数的软件开发工作量,而这正是阻碍软件质量保证的重要因素之一。软件复用技术在提高软件质量和......
随着网络、分布式系统及移动计算的迅速发展,并发理论成为计算机科学前沿的研究热点。本文围绕这一前沿领域,研究并发软件的分析、......
随着软件复杂性的增长、软件不断向其它领域的渗透及对软件可靠性要求的增加,如何保证软件的质量和可信性变得越来越困难,相应的成......
由于构件的内部信息屏蔽和演变速度快等特点,使用者在验证构件所提供的功能与其需求是否真正一致时往往比较困难.我们用接口自动机......
针对时间相关并发系统的测试问题,提出一种采用扩展π演算p-π的测试用例生成方法。采用p-π为时间相关并发系统建模,由p-π的操作......
随着智能机以及平板电脑的普及,安卓应用逐渐成为日常生活中不可或缺的重要元素之一,其复杂度也呈几何倍数增长.安卓平台存在的多......
当前,嵌入式软件的复杂度越来越高,可靠性、安全性和实时性要求也越来越严格,但软件产品上市的时间要求却越来越短。为满足这些严......
在软件测试中,测试用例生成是其关键环节,也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试......
列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统......
JavaScript在现代Web应用程序中扮演着重要角色。作为一门动态语言,它能动态添加、删除对象属性,方便相关技术人员快速开发Web应用......
随着面向对象软件开发技术的广泛应用和软件测试自动化的要求,特别是基于UML的软件开发技术的逐渐普及,基于模型的软件测试逐渐得......
针对网络游戏软件测试方法研究方面的不足，结合基于模型测试方法和TTCN测试技术，对网络游戏软件可玩性的测试方法进行研究。采用MSC......
介绍了一种基于模型的软件动态测试方法,该方法通过将被测程序抽象成有限状态机,将测试程序及测试用例的编写集中到单个状态上。在......
随着Internet的普及以及组件、中间件和Web Services等技术的迅速发展以及Web的广泛应用,Web应用的可靠性和质量保证成为一个非常......
随着Web技术的快速发展，软件应用已经贯穿到社会和生活的各个方面，软件测试在保证软件应用的正确性和可行性方面的作用越来越重要。......
目前Android商业应用变得越来越庞大,通常具有上百个Activity,并且其GUI也变得愈加复杂,这给测试这类应用带来挑战。现有的自动化......
随着Internet极快发展革新，保证Web应用质量的技术也成为了人们近年来研究的热点之一。Web应用的可靠性以及质量保证成为其中一个非......
随着计算机网络的发展,网络协议在网络通信中发挥着越来越重要的作用。协议是网络的灵魂,通信系统能否正常运转,网络产品能否互通......
随着信息技术的发展,软件规模不断扩大,如何保证和提高软件质量成为软件工程最为关心的问题之一。软件测试能够有效地发现软件中的......
软件测试作为软件实践中最常用的软件验证技术,其基本过程主要分为三步：(1)针对待测系统设计有效的测试用例；(2)执行这些测试用例；(3)......
移动应用的GUI测试不同于传统桌面端软件测试,主要介绍移动应用的GUI测试技术,清晰给出GUI测试的定义,然后依次从GUI测试框架、GUI......
近几年来，MDA开发方式的应用使得如何保证模型质量成为研究的热点。以基于模型的测试为研究对象，研究了对AADI，模型进行模型测试的方......
软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件（FCS）系统的重要挑战。采用模型驱动工程（MDE）的框架,使用......
针对航空航天等安全关键领域里嵌入式软件测试中存在的困难，引入并研究了用户需求模型和任务剖面模型的概念及表示方法，设计并实现了......
提出了带约束事件的时序逻辑TLCE，用于描述系统运行中输入／输出事件之间的时序关系以及对事件参数的数据相关性约束。阐述了一种基于......
