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

1

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

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

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

在线阅读 下载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

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

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

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

在线阅读 下载PDF 职称材料

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

4

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

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

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

在线阅读 下载PDF 职称材料

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

5

作者 李兰心 王海峰 +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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

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

8

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

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

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

在线阅读 下载PDF 职称材料

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

9

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

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

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

在线阅读 下载PDF 职称材料

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

10

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

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

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

在线阅读 下载PDF 职称材料

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

11

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

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

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

在线阅读 下载PDF 职称材料

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

12

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

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

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

在线阅读 下载PDF 职称材料

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

13

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

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

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

在线阅读 下载PDF 职称材料

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

14

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

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

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

在线阅读 下载PDF 职称材料

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

15

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

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

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

在线阅读 下载PDF 职称材料

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

16

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

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

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

在线阅读 下载PDF 职称材料

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

17

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

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

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

在线阅读 下载PDF 职称材料

基于用户需求的构件行为测试

18

作者 李良明 王志坚 刘磊 《高技术通讯》 EI CAS CSCD 北大核心 2010年第7期727-732,共6页

针对基于构件的软件开发过程中构件的使用者难以验证构件的动态行为这一问题,提出了一种基于用户需求的构件行为测试方法。用接口自动机为构件的行为建模,研究如何根据模型和用户需求对构件进行测试的问题。首先通过对行为模型的分析,... 针对基于构件的软件开发过程中构件的使用者难以验证构件的动态行为这一问题,提出了一种基于用户需求的构件行为测试方法。用接口自动机为构件的行为建模,研究如何根据模型和用户需求对构件进行测试的问题。首先通过对行为模型的分析,确定出构件中不同接口之间的关系,进而用一组相关的接口序列来表示构件的动态行为;然后再根据用户在使用时的具体要求,确定出实际要运行的测试序列。文中介绍的方法能够从整体上检验构件的行为并且可以根据构件模型和使用要求自动生成测试序列,便于用户对构件的验证和测试。 展开更多

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

在线阅读 下载PDF 职称材料

面向联锁功能测试的模型转换方法

19

作者 叶晨雨 梁志国 +2 位作者 张宏扬 齐志华 王海峰 《铁道学报》 2025年第11期127-135,共9页

基于模型的测试是保障计算机联锁系统质量的自动化测试手段。为解决基于模型的测试中形式化建模的问题,提出一种基于模型转换间接构建联锁测试模型的方法。采用直观易理解的统一建模语言(UML)序列图对进路处理功能建模,描述联锁软件子... 基于模型的测试是保障计算机联锁系统质量的自动化测试手段。为解决基于模型的测试中形式化建模的问题,提出一种基于模型转换间接构建联锁测试模型的方法。采用直观易理解的统一建模语言(UML)序列图对进路处理功能建模,描述联锁软件子模块之间的交互以及联锁条件的执行顺序;采用ATLAS转换语言将UML序列图转换为分层时间自动机,得到形式化的联锁功能模型;将分层时间自动机导入UPPAAL工具生成测试用例。研究结果表明,该方法具备通用性,可以实现多个联锁功能模型的自动化转换,生成有效的联锁测试用例,且测试用例覆盖了UML序列图的所有场景。 展开更多

关键词 模型转换 计算机联锁 基于模型的测试 UML序列图 自动机

在线阅读 下载PDF 职称材料

面向安卓应用建模的IFML扩展 被引量：6

20

作者 陆一飞 潘敏学 +2 位作者 张天 王林章 李宣东 《软件学报》 EI CSCD 北大核心 2019年第10期3148-3167,共20页

随着智能机以及平板电脑的普及,安卓应用逐渐成为日常生活中不可或缺的重要元素之一,其复杂度也呈几何倍数增长.安卓平台存在的多设备类型、多操作系统版本问题,使得应用的设计和开发更为复杂.在这一现状下,提倡在安卓应用开发中使用模... 随着智能机以及平板电脑的普及,安卓应用逐渐成为日常生活中不可或缺的重要元素之一,其复杂度也呈几何倍数增长.安卓平台存在的多设备类型、多操作系统版本问题,使得应用的设计和开发更为复杂.在这一现状下,提倡在安卓应用开发中使用模型来描述其开发需求与设计,以帮助开发人员更好地将注意力集中于应用,加深对开发意图的理解,更好地进行后续的开发工作.然而,当前对安卓应用的建模都采用了传统模型,无法满足安卓应用事件驱动和注重图形用户界面的特点.为此,将注重前端展示以及事件交互的交互流建模语言(IFML)应用于安卓应用的建模,描述应用中的 GUI 结构以及其中工作流的传递,从而指导应用的开发工作.考虑到安卓平台的特点,对IFML 进行了相应的面向安卓的扩展,提高了其可用性与对安卓应用的适用性,并对 IFML 模型进行了形式化定义,使得 IFML 模型能以丰富而又精确的语义来刻画开发者对于安卓应用的设计,并在应用的实现和演化中不断发挥指导作用.另外,进一步探索了 IFML 模型在应用测试这一场景中的作用.基于模型的测试方法能够检验设计和实现的一致性,还能在应用的演化过程中避免测试用例的重复编写.在案例研究中,针对 5 个安卓应用进行了 IFML 建模与测试.实验结果表明,扩展后的 IFML 在安卓应用的建模上可行、有效,所建立的 IFML 模型可直接用于测试工作,用于检测应用实现与设计是否保持一致,从而保证应用的开发质量. 展开更多

关键词 交互流建模语言 安卓应用 模型驱动工程 基于模型的测试

在线阅读 下载PDF 职称材料