模型驱动的自动化测试架构 被引量：7

1

作者 周景才 杨家红 陈毅波 《计算机工程与应用》 CSCD 北大核心 2010年第2期66-68,131,共4页

如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策... 如何在确保软件质量的前提下有效缩短上市周期的问题日益显得重要。在实际工作中基于MDT的思路研究出了一种基于模型驱动的自动化测试架构。该架构通过算法直接将UML系统设计模型转换成U2TP测试设计模型,然后由测试设计模型根据测试策略和测试工程方法自动生成测试用例,实现了测试资源重利用和测试活动的前移从而有效缩短了测试周期。 展开更多

关键词 统一建模语言 基于模型驱动测试 被测系统 测试用例 测试逻辑 系统设计模型 测试设计模型

在线阅读 下载PDF 职称材料

基于场景模型的DDS架构一体化舰船任务系统测试 被引量：6

2

作者 钱巨 王寅 +1 位作者 程浩 韦正现 《软件学报》 EI CSCD 北大核心 2022年第5期1711-1735,共25页

以数据分发服务(data-distribution service,DDS)为基础架构的新型一体化舰船任务系统在研发模式、结构和应用方面具有特殊特点,使得其测试相当具有挑战.基于模型的测试(model-based testing,MBT)是工业系统测试的一种有效方法.然而,对... 以数据分发服务(data-distribution service,DDS)为基础架构的新型一体化舰船任务系统在研发模式、结构和应用方面具有特殊特点,使得其测试相当具有挑战.基于模型的测试(model-based testing,MBT)是工业系统测试的一种有效方法.然而,对于类舰船任务系统,由于其自身的高度复杂性和协同开发方式,传统需要建立完整模型以表达系统内部行为的MBT技术极难应用.为此,提出了一种基于场景模型的类舰船任务系统MBT方法.方法从外部角度构建模型来表达DDS架构系统中的交互场景.模型使用扩展正则表达式来建模交互序列,使用基本数据元素限制、约束公式和计算函数来建模交互数据,能够在保留抽象性的同时便捷并相对完整地表达交互过程.基于场景模型,进一步提出算法生成直接可执行的测试用例.在某真实舰船任务系统上的实验表明,方法能够测试从一族舰船任务系统历史失效中总结出的21种常见风险场景,对类舰船任务系统的DDS架构工业系统测试具有潜在应用价值. 展开更多

关键词 基于模型的测试 分布式系统 场景 正则表达式

在线阅读 下载PDF 职称材料

一种基于模型的测试充分性评估方法 被引量：1

3

作者 张瑶 白晓颖 +1 位作者 张任伟 陆皓 《计算机科学》 CSCD 北大核心 2013年第2期153-158,共6页

测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度。如今,传统的充分性评估方法难以满足复杂软件的测试评估需求。首先,代码覆盖准则难以准确验证软件需求;其次,软件测试还需考虑软件不同特征对系统测试充分性的... 测试充分性评估通常采用覆盖率的方法来评估测试对软件特征的覆盖充分程度。如今,传统的充分性评估方法难以满足复杂软件的测试评估需求。首先,代码覆盖准则难以准确验证软件需求;其次,软件测试还需考虑软件不同特征对系统测试充分性的不同影响。对此,提出一种基于接口的建模方法和基于该模型的综合覆盖充分性评估方法。该方法根据软件接口说明,对系统功能进行特征抽取、建模,并对接口模型的测试用例进行不同层级的充分性评估,对评估结果进行归一化处理,得到系统的综合测试充分性。通过案例表明,这种评估方法能够反映功能的测试充分性,对测试用例的设计和优化有一定指导意义。 展开更多

关键词 测试充分性 基于模型的测试 测试覆盖率

在线阅读 下载PDF 职称材料

基于模型的实时系统测试方法 被引量：1

4

作者 李书浩 王戟 齐治昌 《计算机工程与科学》 CSCD 2006年第4期119-123,共5页

本文分析了基于模型的实时系统测试的主要特征,分类介绍了现有的测试方法,并对这些方法作了归纳、比较和评价,指出了这类测试面临的困难和今后的发展趋势。

关键词 实时系统 基于模型的测试 时间自动机 时序逻辑 PETRI NET

在线阅读 下载PDF 职称材料

AADL模型的测试方法研究 被引量：5

5

作者 王庚 周兴社 +1 位作者 张凡 董云卫 《计算机科学》 CSCD 北大核心 2009年第11期127-130,共4页

近几年来,MDA开发方式的应用使得如何保证模型质量成为研究的热点。以基于模型的测试为研究对象,研究了对AADL模型进行模型测试的方法,并提出了结合马尔可夫链对AADL模型进行测试的框架以及实施方法。最后,通过示例进一步说明了该方法。

关键词 基于模型的测试 结构分析和设计语言 马尔可夫链

在线阅读 下载PDF 职称材料

基于SCADE模型的车载ATP测试用例生成方法 被引量：10

6

作者 李兰心 王海峰 +2 位作者 齐志华 汤圣杰 张启鹤 《铁道学报》 EI CAS CSCD 北大核心 2020年第9期102-110,共9页

车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证。提出一种基于SCADE模型自动生成车载ATP测试用... 车载ATP是保证列车安全运行的关键列控设备。为满足其苛刻的安全要求,实际应用之前需要对其进行全面严格的测试。传统的编写测试用例的方法过分依赖人工经验,耗时耗力,且测试质量难以保证。提出一种基于SCADE模型自动生成车载ATP测试用例的方法。首先,利用SCADE对车载ATP系统进行建模,并针对安全状态机模型生成满足全迁移覆盖准则的测试用例;再根据MC/DC覆盖准则生成测试数据,将抽象的测试用例转化为可直接用于测试的具体测试用例集;最后,通过变异分析对生成的测试用例进行评估。结果表明,测试用例具有良好的覆盖度,优于传统人工方法。 展开更多

关键词 车载ATP系统 SCADE模型 测试用例 基于模型的测试 MC/DC覆盖准则

在线阅读 下载PDF 职称材料

一种基于模型的并发系统测试目的描述 被引量：1

7

作者 刘大光 林惠民 吴鹏 《计算机工程与应用》 CSCD 北大核心 2007年第25期105-110,共6页

提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束。阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成。缓存一致性协议和会议协议的实例... 提出了带约束事件的时序逻辑TLCE,用于描述系统运行中输入/输出事件之间的时序关系以及对事件参数的数据相关性约束。阐述了一种基于模型的并发系统测试框架,采用TLCE描述测试目的以引导测试用例生成。缓存一致性协议和会议协议的实例研究中所生成的测试用例集显著优于随机测试用例集。这说明了TLCE作为测试目的描述的有效性。 展开更多

关键词 基于模型的测试 时序逻辑 约束事件 测试用例生成:测试目的

在线阅读 下载PDF 职称材料

GUI测试中多级形态模型的分割与应用

8

作者 王皓亮 高建华 《计算机科学》 CSCD 北大核心 2017年第9期190-194,199,共6页

基于模型的GUI测试方法(MBGT)可自动化生成测试用例,在MBGT中引入多级形态模型(Multilevel Morphology Model,MMM)可以实现从不同的形态角度考察系统,可控地提高模型的错误检测效力。但多级形态模型只能整体扩展到高阶,且随着模型的扩展... 基于模型的GUI测试方法(MBGT)可自动化生成测试用例,在MBGT中引入多级形态模型(Multilevel Morphology Model,MMM)可以实现从不同的形态角度考察系统,可控地提高模型的错误检测效力。但多级形态模型只能整体扩展到高阶,且随着模型的扩展,测试用例的长度与数量急剧增长,极大地影响了测试效率。对此提出一种可进行局部扩展的多级形态模型的分割方法以及相应的测试用例生成策略。该方法通过GUI事件的分类,实现了对基础模型的分割与化简,并采用广度优先搜索(BFS)与中国邮递员问题(CPP)求解算法生成测试用例。该方法使得GUI模型的表达更为清晰直观,在有效区分测试重点的同时,缩小了测试集规模,极大地提高了多级形态模型在GUI测试中的灵活性与测试效率。实验证明,经模型分割后的多级形态模型具有与未分割模型基本等同的错误检测效力,且随着模型级数的提高,模型分割对测试效率的提升增大。 展开更多

关键词 GUI测试 基于模型的GUI测试 多级形态模型

在线阅读 下载PDF 职称材料

基于模型的自动化测试探索

9

作者 李梦静 《计算机应用与软件》 CSCD 2011年第11期234-237,260,共5页

分析测试设计的问题和挑战,结合测试设计和自动化测试的发展,提出基于模型的自动化测试基本思路和解决方案。以TD-RNC的一个特性为例,给出基于该方案的具体实现过程。

关键词 基于模型的测试 自动化测试 测试设计 测试脚本 ActionWord TTCN

在线阅读 下载PDF 职称材料

面向民用飞机需求验证的自动化测试技术研究

10

作者 汪澔 武仲芝 唐剑 《图学学报》 CSCD 北大核心 2024年第2期308-316,共9页

在商用飞机全生命周期的研制过程中,需求与概念论证环节作为商用飞机研制的早期环节,将极大地影响整个商用飞机的全生命周期成本。其中功能定义作为需求与概念论证阶段的核心产物之一,以一种统一化、标准化的描述了目标产品一系列的预... 在商用飞机全生命周期的研制过程中,需求与概念论证环节作为商用飞机研制的早期环节,将极大地影响整个商用飞机的全生命周期成本。其中功能定义作为需求与概念论证阶段的核心产物之一,以一种统一化、标准化的描述了目标产品一系列的预期行为表达。功能性需求作为功能定义的重点输出产物,决定了商用飞机的核心产品竞争力。基于功能仿真的需求验证作为一种常用的需求质量评价手段,通过建立飞机的测试模型,仿真模拟特定场景下飞机的运行行为,以结果为评判依据确认早期方案设计是否满足需求。然而,在实际面向需求的仿真测试过程中,碍于场景外部环境的多变性,往往会出现“组合爆炸式”的测试用例,极大地增加了测试的规模和成本。为解决上述问题,提出基于模型的测试(MBT)方法,通过基于系统建模语言(SysML)模型自动化生成测试用例,缩短验证过程的周期并保证需求验证的可追溯性。 展开更多

关键词 需求验证 测试用例 基于模型的测试 SYSML

在线阅读 下载PDF 职称材料

基于模型的图形用户界面事件交互图生成方法 被引量：3

11

作者 丰凯 高建华 《计算机科学》 CSCD 北大核心 2013年第06A期184-187,203,共5页

用户界面(GUI)测试是一项很困难的工作,一个重要的原因是背景事件会影响测试结果,基于模型的图形用户界面测试技术可以解决这个问题。目前基于模型的图形用户界面测试技术有两种常用的GUI模型:事件流图(EFG)和事件交互图(EIG)。这两种... 用户界面(GUI)测试是一项很困难的工作,一个重要的原因是背景事件会影响测试结果,基于模型的图形用户界面测试技术可以解决这个问题。目前基于模型的图形用户界面测试技术有两种常用的GUI模型:事件流图(EFG)和事件交互图(EIG)。这两种模型可以表示GUI事件之间的交互关系,其中EIG是从EFG转换而来的。通过一个简单的GUI实例对GUI中的事件进行了明确的划分,并且为适应文中的划分事件改进了原有的MX算法。最后根据GUI的事件驱动性和对GUI事件的划分提出了一种由EFG转换成EIG的新方法:驱动算法。实例表明,此方法使EFG转换成EIG的过程更简单。 展开更多

关键词 图形用户界面 基于模型测试 事件流图 事件交互图

在线阅读 下载PDF 职称材料

一种全覆盖的列控车载系统测试用例自动生成算法研究 被引量：24

12

作者 袁磊 吕继东 +2 位作者 刘雨 李辰岭 赵伟慧 《铁道学报》 EI CAS CSCD 北大核心 2014年第8期55-62,共8页

列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车... 列控车载系统是保证列车行车安全的重要装备,是典型的安全苛求系统。测试用例生成是测试车载系统功能的关键和基础。根据车载系统的特点,本文利用时间自动机建模工具UPPAAL,对车载系统模式转换的规范建立DRB-TE自动机网络模型,并指出车载系统模型的非确定性会导致模式转换测试用例不能达到全覆盖。针对该问题设计一种能够满足全状态、全变迁覆盖准则测试用例的生成算法,利用实时系统测试用例自动生成工具CoVer生成模式转换测试用例套,从而实现自动生成覆盖全部车载模式转换规范的测试用例,同时提高了测试用例的生成效率和重用性。 展开更多

关键词 列控系统 基于模型的测试 测试准则 测试用例生成 UPPAAL COVER

在线阅读 下载PDF 职称材料

铁路信号安全关键软件的组合测试序列集约简 被引量：8

13

作者 饶畅 李楠 +2 位作者 张亚东 郭进 李耀 《西南交通大学学报》 EI CSCD 北大核心 2020年第3期596-603,共8页

针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列,导致测试执行成本较高的问题,提出了一种基于贪婪-粒子群混合优化算法的t-路组合测试序列集约简方法,用于降低序列集的执行成本.首先,以... 针对现有铁路信号系统安全关键软件t-路组合测试序列生成方法在处理大规模输入时产生冗余测试序列,导致测试执行成本较高的问题,提出了一种基于贪婪-粒子群混合优化算法的t-路组合测试序列集约简方法,用于降低序列集的执行成本.首先,以执行成本最低为约简目标,建立针对t-路组合测试序列集约简的优化模型;然后,在保证测试序列集逻辑覆盖特性的基础上,采用贪婪-粒子群混合优化算法求解模型,计算约简后的测试序列集;最后,以ZPW-2000轨道电路接收器软件作为研究对象,以其生成的2-路组合测试序列集为例开展约简验证.结果表明,所提方法在保证2-路组合覆盖和逻辑覆盖的前提下,对单个序列集的执行成本约简幅度最高达到98.33%,对序列集总的执行成本约简幅度达到36.10%,验证了所提方法的可行性和有效性. 展开更多

关键词 安全关键软件 基于模型的测试 组合测试 测试序列约简 二进制粒子群优化

在线阅读 下载PDF 职称材料

基于MSC的网络游戏软件测试方法研究 被引量：1

14

作者 赵会群 苏玉兰 孙晶 《计算机应用研究》 CSCD 北大核心 2009年第1期146-148,161,共4页

针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体... 针对网络游戏软件测试方法研究方面的不足,结合基于模型测试方法和TTCN测试技术,对网络游戏软件可玩性的测试方法进行研究。采用MSC图作为网络游戏玩法建模工具,建立玩法测试模型;用TTCN-3核心语言对玩法测试模型加以实现;结合一个具体的网络游戏软件测试案例,给出上述测试方法和技术的解释。从理论角度验证了基于模型测试方法在网络游戏软件测试上的可行性;从技术角度表明了TTCN对网络游戏软件测试的有效性。 展开更多

关键词 网络游戏 消息顺序图 测试及测试控制表示法第3版 协议一致性测试 基于模型的测试

在线阅读 下载PDF 职称材料

采用扩展π演算的测试用例生成方法

15

作者 罗玲 《计算机工程与设计》 北大核心 2016年第11期2985-2991,共7页

针对时间相关并发系统的测试问题,提出一种采用扩展π演算p-π的测试用例生成方法。采用p-π为时间相关并发系统建模,由p-π的操作规则构造出系统模型的时间相关标记迁移系统,基于时间相关标记迁移系统和用例规约生成测试用例,测试用例... 针对时间相关并发系统的测试问题,提出一种采用扩展π演算p-π的测试用例生成方法。采用p-π为时间相关并发系统建模,由p-π的操作规则构造出系统模型的时间相关标记迁移系统,基于时间相关标记迁移系统和用例规约生成测试用例,测试用例的生成满足执行动作覆盖准则、路径覆盖准则和时间约束覆盖准则,给出测试用例的选择策略。基于网上订票系统的分析结果表明,该方法能够为时间相关并发系统有效地生成测试用例,通过p-π的验证方法,保证了产生的测试用例的正确性。 展开更多

关键词 Π演算 进程代数 测试用例 基于模型的测试 形式化模型

在线阅读 下载PDF 职称材料

构件功能行为测试的研究 被引量：5

16

作者 李良明 王志坚 唐龙业 《小型微型计算机系统》 CSCD 北大核心 2010年第4期686-690,共5页

由于构件的内部信息屏蔽和演变速度快等特点,使用者在验证构件所提供的功能与其需求是否真正一致时往往比较困难.我们用接口自动机为构件的行为建模,研究构件功能行为的测试问题.首先提出基于简单运行的测试准则,然后介绍了从构件模型... 由于构件的内部信息屏蔽和演变速度快等特点,使用者在验证构件所提供的功能与其需求是否真正一致时往往比较困难.我们用接口自动机为构件的行为建模,研究构件功能行为的测试问题.首先提出基于简单运行的测试准则,然后介绍了从构件模型中生成简单运行序列并获得功能行为的算法,最后用一个实例对所提出的方法进行了说明并与相关方法进行了对比.文中介绍的方法在系统级别对构件整体行为进行测试,可自动生成测试序列,有利于构件的验证和测试. 展开更多

关键词 构件测试 构件行为 测试序列 基于模型的测试

在线阅读 下载PDF 职称材料

无人机飞控软件系统建模与测试用例生成研究 被引量：4

17

作者 吴黎明 胡军 +2 位作者 曹东 徐丙凤 于笑丰 《计算机科学》 CSCD 北大核心 2012年第7期112-118,共7页

软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动... 软件规模与复杂度的迅速增长已成为设计与检验现代高质量无人机飞行控制软件(FCS)系统的重要挑战。采用模型驱动工程(MDE)的框架,使用嵌入式实时系统建模语言(MARTE)建立起某型无人机飞控软件系统的模型,给出了基于时间自动机的系统动态行为的形式化模型实例;结合无人机FCS系统的应用背景,建立了基于时间自动机模型的测试用例生成方法,包括建立测试用例生成框架、测试用例生成规则以及用例生成策略等;对某型无人机飞控软件系统中的主控模块进行了建模与测试用例生成的实例分析研究。 展开更多

关键词 模型驱动工程 基于模型的测试 飞行控制软件 时间自动机 无人机系统

在线阅读 下载PDF 职称材料

基于Petri网的测试用例生成研究进展 被引量：4

18

作者 牟小玲 丁晓明 张望 《重庆交通大学学报（自然科学版）》 CAS 北大核心 2012年第1期163-167,共5页

在软件测试中,测试用例生成是其关键环节,也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试对象进行建模,由模型产生测试序列,进而生成测试用例。分析了目前基于Petri网生成测试用例的研究现状并指... 在软件测试中,测试用例生成是其关键环节,也对实现软件测试的自动化有着重要影响。基于Petri网的测试用例生成方法是通过对被测试对象进行建模,由模型产生测试序列,进而生成测试用例。分析了目前基于Petri网生成测试用例的研究现状并指出了在存在的问题。 展开更多

关键词 测试用例 基于模型的测试 PETRI网 建模

在线阅读 下载PDF 职称材料

列控中心自动化测试测试用例生成方法 被引量：3

19

作者 王硕 张亚东 +2 位作者 郭进 李耀 兰浩 《北京交通大学学报》 CAS CSCD 北大核心 2020年第5期49-54,共6页

为了提高列控中心自动化测试的效率和质量,研究带有通信时机测试用例的生成方法.首先,通过扩展确定性有限状态机的输入输出动作,构建带有输入输出时间的确定性有限状态机模型,并利用改进的广度优先搜索生成测试路径,形成抽象测试集.然后... 为了提高列控中心自动化测试的效率和质量,研究带有通信时机测试用例的生成方法.首先,通过扩展确定性有限状态机的输入输出动作,构建带有输入输出时间的确定性有限状态机模型,并利用改进的广度优先搜索生成测试路径,形成抽象测试集.然后,利用边界值分析将测试路径中的时间约束离散化,并利用提出的控制条件覆盖测试生成算法生成测试用例.最后,以列控中心改变运行方向场景为例,生成测试用例.结果表明:采用所提出方法生成的测试用例可以有效表达接口通信的内容和时机.为列控中心自动化测试用例的自动生成提供重要的方法支撑. 展开更多

关键词 列控中心 自动化测试 测试路径 测试用例 基于模型的测试

在线阅读 下载PDF 职称材料

基于搜索的Simulink测试数据生成 被引量：1

20

作者 邓绍鹏 杨志义 王宇英 《计算机应用研究》 CSCD 北大核心 2012年第7期2527-2530,共4页

为满足基于模型的测试需求,研究了基于搜索的Simulink模型测试数据生成方法。对于严格约束,该方法利用代价函数规则构建目标函数,针对Simulink模型复杂性的特点,采用模拟退火算法对目标函数求优,最终搜索出满足目标约束的测试数据。由... 为满足基于模型的测试需求,研究了基于搜索的Simulink模型测试数据生成方法。对于严格约束,该方法利用代价函数规则构建目标函数,针对Simulink模型复杂性的特点,采用模拟退火算法对目标函数求优,最终搜索出满足目标约束的测试数据。由此设计了一种综合考虑宽松约束和严格约束的Simulink测试数据生成框架,最后实现了该方法在典型案例的应用。实践证明,该方法快速有效地解决了Simulink模型的测试数据生成问题。 展开更多

关键词 测试数据生成 Simulink测试 基于搜索的测试 基于模型的测试 模拟退火

在线阅读 下载PDF 职称材料