基于UML的软件测试用例自动生成技术研究 被引量：11

1

作者 黄陇 陈致明 +1 位作者 于洪敏 于秀山 《计算机应用与软件》 CSCD 北大核心 2004年第11期16-17,113,共3页

测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试... 测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试数据的生成。 展开更多

关键词 uml模型 测试用例 软件测试 自动生成技术 测试场景 覆盖准则 软件自动化 定义 建模工具 产生

在线阅读 下载PDF 职称材料

基于UML实时扩展的嵌入式软件测试用例生成技术 被引量：11

2

作者 殷永峰 郑本焘 +1 位作者 陆民燕 倪红英 《系统工程与电子技术》 EI CSCD 北大核心 2011年第3期694-699,共6页

将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实时扩展方法。最后,... 将统一建模语言(unified modeling language,UML)和对象约束语言(object constraint language,OCL)引入嵌入式软件测试领域,首先提出了一种基于UML实时扩展的嵌入式软件测试建模过程。然后,给出了UML状态图和类图的实时扩展方法。最后,结合航空电子系统嵌入式软件测试用例生成过程,详细阐述了被测系统的静态和动态建模,提出了扩展的测试序列定义及其生成方法,最终将所生成测试用例采用扩展标记语言(extensible markup language,XML)格式存储。工程应用验证表明,上述方法可充分发挥UML作为工业标准的工具资源优势,提高嵌入式软件测试用例生成的准确性、有效性和自动化程度。 展开更多

关键词 软件工程 自动化测试 统一建模语言 嵌入式软件 测试用例

在线阅读 下载PDF 职称材料

基于UML的嵌入式软件测试用例生成方法研究 被引量：8

3

作者 殷永峰 刘斌 姜同敏 《计算机应用研究》 CSCD 北大核心 2008年第10期3018-3021,共4页

基于嵌入式软件实时性、嵌入式和反应式等特点,对UML进行了实时性扩展,运用多种UML视图描述嵌入式系统的结构和行为,提出了如何从基于UML的模型中自动生成测试用例的设计思路。

关键词 统一建模语言 面向对象 嵌入式软件 测试场景 测试用例

在线阅读 下载PDF 职称材料

基于UML顺序图的测试用例生成 被引量：10

4

作者 李志强 邵培南 朱辉 《计算机工程》 CAS CSCD 北大核心 2010年第22期58-60,共3页

为生成覆盖测试需求的测试用例集,提出一种基于UML顺序图自动生成测试用例的方法。通过分析待测系统的功能用例,对其进行顺序图建模。在基于该顺序图生成测试用例的过程中,对顺序图添加规约条件,解析顺序图,得到场景测试树,再遍历该树,... 为生成覆盖测试需求的测试用例集,提出一种基于UML顺序图自动生成测试用例的方法。通过分析待测系统的功能用例,对其进行顺序图建模。在基于该顺序图生成测试用例的过程中,对顺序图添加规约条件,解析顺序图,得到场景测试树,再遍历该树,得到场景的输入、预期输出、约束条件以及场景环境,这4部分组成了测试用例,同时对如何处理复杂的顺序图及如何满足测试用例充分性等问题进行分析总结,提出有效的解决策略。 展开更多

关键词 uml顺序图 软件测试 测试用例生成

在线阅读 下载PDF 职称材料

基于UML活动图的测试用例自动生成方法研究 被引量：18

5

作者 牟凯 顾明 《计算机应用》 CSCD 北大核心 2006年第4期844-846,共3页

基于UML活动图对系统测试的方法进行研究。针对活动图半形式化特性,给出了活动图的形式化描述及测试覆盖准则的定义。重点分析并发活动的顺序及排列,引入人机动态交互的方法在测试场景生成算法上加以约束,避免了测试场景集数量爆炸,使... 基于UML活动图对系统测试的方法进行研究。针对活动图半形式化特性,给出了活动图的形式化描述及测试覆盖准则的定义。重点分析并发活动的顺序及排列,引入人机动态交互的方法在测试场景生成算法上加以约束,避免了测试场景集数量爆炸,使自动化生成测试用例可行性有一定提高。最后,讨论了从测试场景到测试用例的方法,从而为UML活动图的自动化测试提供了系统的、有效的、可行的方法。 展开更多

关键词 uml活动图 测试场景 测试用例自动生成

在线阅读 下载PDF 职称材料

基于改进蚁群算法UML状态机图的测试用例生成 被引量：4

6

作者 任洪丽 张伟 李文瑞 《计算机工程与设计》 CSCD 北大核心 2010年第17期3835-3837,3928,共4页

为了减少测试工作量,防止测试用例数目过多而导致爆炸,提出了使用改进的蚁群算法直接从UML状态机图中生成测试用例的方法。利用UML状态图是对系统可能的生命历程进行建模,由于状态图具有直观性,所以简化了生成测试用例过程,从而减少了... 为了减少测试工作量,防止测试用例数目过多而导致爆炸,提出了使用改进的蚁群算法直接从UML状态机图中生成测试用例的方法。利用UML状态图是对系统可能的生命历程进行建模,由于状态图具有直观性,所以简化了生成测试用例过程,从而减少了测试的工作量。通过构造人工蚁群以及动态更新信息素矩阵,让蚂蚁选择还没有搜索或边信息素最小的顶点,确保了测试用例的数量既满足测试需求,又不会过多。通过编写算法及模拟仿真,对该算法的可行性和有效性做了验证和仿真分析。 展开更多

关键词 软件测试 测试用例 uml状态机图 蚁群算法 有向图

在线阅读 下载PDF 职称材料

应用UML顺序图的联锁测试用例生成方法 被引量：5

7

作者 高雪娟 武晓春 《计算机应用研究》 CSCD 北大核心 2013年第9期2740-2743,共4页

计算机联锁软件是安全完善度等级最高的软件,因此,在投入使用前对联锁软件的测试是必不可少的。为生成联锁软件测试用例,结合包含有充分测试信息的UML模型,提出一种以UML顺序图为主要模型的软件测试用例生成方法。通过提出有向图SG生成... 计算机联锁软件是安全完善度等级最高的软件,因此,在投入使用前对联锁软件的测试是必不可少的。为生成联锁软件测试用例,结合包含有充分测试信息的UML模型,提出一种以UML顺序图为主要模型的软件测试用例生成方法。通过提出有向图SG生成算法,将顺序图转换为SG;然后基于特定的覆盖准则和采用深度优先搜索算法遍历SG,得到场景的输入、预期输出、约束条件以及场景环境,生成测试用例;最后,以进路建立过程为例验证了该方法的可行性和正确性。 展开更多

关键词 uml顺序图 软件测试 测试用例生成 联锁

在线阅读 下载PDF 职称材料

基于UML顺序图的面向对象软件簇级测试用例生成 被引量：1

8

作者 苏荟 张毅坤 《计算机工程与科学》 CSCD 2007年第11期66-68,共3页

本文提出了一种新的面向对象软件簇级测试用例生成方法。在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;然后,依据从UML顺序图中提取出来的类间的交互信息,采用文中给出的算法生成测试用例;最后,将生成的测试用例依据XML... 本文提出了一种新的面向对象软件簇级测试用例生成方法。在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;然后,依据从UML顺序图中提取出来的类间的交互信息,采用文中给出的算法生成测试用例;最后,将生成的测试用例依据XML文档的格式存储,以便于管理,并通过实例对该测试用例生成方法进行了验证。 展开更多

关键词 面向对象软件簇级测试 uml顺序图 多态性 动态绑定 测试用例

在线阅读 下载PDF 职称材料

FADEC软件需求形式化建模与测试用例生成的实例研究

9

作者 董泽华 胡军 +3 位作者 沈翔宇 熊波 董亚炯 戴嘉磊 《南京航空航天大学学报(自然科学版)》 北大核心 2025年第5期999-1012,共14页

研发具有安全关键特征的全权限数字化发动机控制(Full authority digital engine control,FADEC)软件是当前大飞机航空发动机控制系统研制的重要任务。本文工作面向大飞机FADEC软件研发中的需求分析与测试挑战,基于变量关系模型(Variabl... 研发具有安全关键特征的全权限数字化发动机控制(Full authority digital engine control,FADEC)软件是当前大飞机航空发动机控制系统研制的重要任务。本文工作面向大飞机FADEC软件研发中的需求分析与测试挑战,基于变量关系模型(Variable relation model,VRM)提出了对条目化自然语言描述的FADEC软件需求形式化建模、分析和基于模型测试用例生成的技术方法,并对FADEC中启动燃油控制软件(Start fuel control,SFC)功能实例进行了研究。研究包括对FADEC自然语言需求文档开展结构化预处理,生成领域概念库;通过需求规范化生成形式化建模框架;基于变量关系模型开展多范式的分析;基于需求模型自动生成测试用例;对FADEC需求建模分析中的领域特征问题进行总结分析等。本文对FADEC软件需求提供了建模与测试的工程经验。 展开更多

关键词 计算机软件与理论 机载软件形式化建模 变量关系模型 自然语言需求建模 测试用例自动生成

在线阅读 下载PDF 职称材料

基于UML模型的嵌入式软件测试用例生成方法

10

作者 黄晨 段永颢 《空间控制技术与应用》 2013年第1期57-62,共6页

软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言(UML)状态图生成测试用例集的方法,根据状态、迁移不变性原则以及动作映射,将UML状态图转换为扩展有限状态机(EFSM),采... 软件测试是保证嵌入式软件质量的重要手段之一,测试用例集的完备性是软件测试的关键因素.研究一种基于统一建模语言(UML)状态图生成测试用例集的方法,根据状态、迁移不变性原则以及动作映射,将UML状态图转换为扩展有限状态机(EFSM),采用广度优先搜索满足状态、迁移覆盖准则,由测试序列建立查找表生成测试用例集.最后给出实例说明该方法的可行性和有效性. 展开更多

关键词 嵌入式软件 测试用例 uml状态图 EFSM

在线阅读 下载PDF 职称材料

基于UML的构件软件集成测试用例生成研究 被引量：7

11

作者 尚绪全 张毅坤 《计算机工程》 EI CAS CSCD 北大核心 2006年第1期96-98,104,共4页

对构件软件测试的特点进行了分析,结合扩展的UML状态图规约和时序图规约,以文献[1]4个能模拟构件间交互特性的要素作为测试用例产生的基础,特别是分析了构件间的内容依赖关系和上下文依赖关系获取算法,从而提出一种有效地构件软件集成... 对构件软件测试的特点进行了分析,结合扩展的UML状态图规约和时序图规约,以文献[1]4个能模拟构件间交互特性的要素作为测试用例产生的基础,特别是分析了构件间的内容依赖关系和上下文依赖关系获取算法,从而提出一种有效地构件软件集成测试用例的生成方法。 展开更多

关键词 构件软件 软件测试 uml 测试用例

在线阅读 下载PDF 职称材料

基于UML的CPN模型在软件测试中的应用 被引量：5

12

作者 刘烁 陈俊杰 《计算机工程》 CAS CSCD 北大核心 2008年第3期119-121,共3页

UML在被工业界广泛接受的同时也成为学术界遵循的一种标准建模语言。许多面向对象软件测试的研究都围绕UML模型开展。但UML模型属于半形式化模型,往往无法自动生成测试用例。将UML模型与Petri网相结合,能够弥补其数学支持的不足。文章... UML在被工业界广泛接受的同时也成为学术界遵循的一种标准建模语言。许多面向对象软件测试的研究都围绕UML模型开展。但UML模型属于半形式化模型,往往无法自动生成测试用例。将UML模型与Petri网相结合,能够弥补其数学支持的不足。文章给出了基于UML的CPN模型的测试框架和一个从UML模型构造CPN模型的算法,并根据该方法给出了自动化支持工具U2CPN的类图结构。 展开更多

关键词 面向对象软件测试 统一建模语言 着色PETRI网 测试用例生成

在线阅读 下载PDF 职称材料

UML模型驱动的划分测试用例生成方法研究 被引量：2

13

作者 王瑞雪 张涛 《计算机应用研究》 CSCD 北大核心 2012年第9期3334-3337,共4页

测试用例的自动生成是软件测试研究的主要方向之一。针对现有的UML模型驱动测试方法在测试数据生成方面存在低效、无目的性、冗余等问题,提出了基于UML活动图模型驱动的划分测试用例自动生成方法。该方法将测试场景归为五种类型,并为每... 测试用例的自动生成是软件测试研究的主要方向之一。针对现有的UML模型驱动测试方法在测试数据生成方面存在低效、无目的性、冗余等问题,提出了基于UML活动图模型驱动的划分测试用例自动生成方法。该方法将测试场景归为五种类型,并为每种类型规划了测试数据取值范围和选择方法。构建了基于该方法的原型工具软件,提供被测软件原模型和数据约束即可生成测试用例。实验结果表明,该方法能够在不降低测试覆盖率的情况下,能生成数量少、针对性强的测试用例集。 展开更多

关键词 软件测试 测试用例生成 uml活动图 划分测试

在线阅读 下载PDF 职称材料

基于UML状态图的测试用例自动生成方法 被引量：2

14

作者 杨晶 顾春华 《华东理工大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第3期346-351,共6页

随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记... 随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记忆化搜索高效地生成测试用例。实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率。 展开更多

关键词 uml状态图 函数最小化 测试用例自动生成

在线阅读 下载PDF 职称材料

基于UML规格说明测试用例生成工具 被引量：1

15

作者 叶仁召 郑玉墙 李玉珍 《计算机工程》 CAS CSCD 北大核心 2001年第3期157-159,共3页

利用ＵＭＬ状态图，采用基于状态的测试数据生成标准生成测试用例．其中ＵＭＬ状态图是测试用树生成的关键部分，在某种意义上，ＵＭＬ状态图能够较容易生成测试用例．

关键词 软件测试 类图 测试用例 测试工具 uml 面向对象

在线阅读 下载PDF 职称材料

基于自然语言需求的SCADE模型测试用例自动生成方法 被引量：4

16

作者 邵温欣 杨志斌 +1 位作者 李维 周勇 《计算机科学》 CSCD 北大核心 2024年第7期29-39,共11页

随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法... 随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法主要采用手工方式构造SCADE模型测试用例,存在需求与测试用例不一致、成本代价高且容易出错的问题。文中提出了一种基于自然语言需求的SCADE模型测试用例自动生成方法。首先,给出了基于模型检测的测试用例自动生成方法,通过自然语言需求处理生成原子命题,用于生成前提假设Assume和观察者模型,同时给出了陷阱性质(Trap Properties)生成规则来生成陷阱性质用于模型检测;其次,给出了基于覆盖分析和变异测试的测试用例质量评估方法,并在SCADE模型上进行变异测试;最后,设计和实现了原型工具,并基于一个工业界案例飞行员弹射座椅控制系统进行了案例分析,验证了所提方法的有效性。 展开更多

关键词 安全关键软件 模型驱动开发 SCADE 测试用例自动生成 模型检测

在线阅读 下载PDF 职称材料

基于面向路径的遗传算法的测试用例自动生成 被引量：9

17

作者 金虎 李志蜀 +2 位作者 张磊 李宝林 李勇军 《计算机工程》 CAS CSCD 北大核心 2007年第3期21-23,共3页

采用遗传算法用于自动生成测试用例的设计,算法面向路径测试作了下列工作:(1)以控制路径表CFDPATH_T为基础分析测试用例与执行路径的关系;(2)设计面向路径的遗传算法实现测试用例的自动生成,证明了该方法能实现测试用例空间上对路径的... 采用遗传算法用于自动生成测试用例的设计,算法面向路径测试作了下列工作:(1)以控制路径表CFDPATH_T为基础分析测试用例与执行路径的关系;(2)设计面向路径的遗传算法实现测试用例的自动生成,证明了该方法能实现测试用例空间上对路径的等价类划分;(3)从统计角度对该方法的错误检测能力进行了量化分析;(4)在该算法的基础上设计了试验和结果分析,结果表示该算法较随机方法有更好的性能。 展开更多

关键词 自动软件测试 遗传算法 自适应 测试用例

在线阅读 下载PDF 职称材料

一种API自动化测试工具的设计与实现 被引量：11

18

作者 崔红军 饶若楠 邵培南 《计算机工程》 CAS CSCD 北大核心 2007年第4期270-271,274,共3页

给出一种API自动化测试工具的设计和实现方案,实现了被测API信息的自动提取、API测试数据和测试用例辅助生成以及测试执行过程驱动与监控的自动化。介绍了使用该工具对一个实际的被测程序进行测试的过程和结果。

关键词 软件测试自动化 API测试 软件测试驱动 软件测试用例生成

在线阅读 下载PDF 职称材料

基于形式规约的软件测试用例自动生成技术研究 被引量：4

19

作者 邹北骥 张保国 +1 位作者 李军义 孙家广 《湖南大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第3期81-85,共5页

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展.该方法基于软件的Z语言规约;以Hierons提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如∨iPi∧Qi的析取范式;然后根据析取范式将Z语言描述... 在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展.该方法基于软件的Z语言规约;以Hierons提出的推理规则为基础,提出了分裂树的算法,将操作模式的约束条件转换为形如∨iPi∧Qi的析取范式;然后根据析取范式将Z语言描述的操作模式划分为子操作模式;依据子操作模式的前置条件和后置条件,将子操作模式作为状态转换图的转换关系,构建了被测试软件的状态转换图;依据状态转换图,提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则. 展开更多

关键词 自动化测试 软件测试 Z语言 测试用例生成 状态转换

在线阅读 下载PDF 职称材料

Android软件可靠性测试用例自动生成的设计研究 被引量：3

20

作者 李震 王肖 +2 位作者 卢超 王敏 李阳 《计算机应用与软件》 CSCD 2016年第1期235-239,共5页

Android是近几年新兴的智能手机操作系统,同时也出现了各种类型的Android应用软件,竞争激烈。对其进行可靠性测试是保证Android软件质量和可靠性的重要途径,同时也可帮助开发方在满足用户期望和尽快上市发布产品两者之间找到合理的平衡... Android是近几年新兴的智能手机操作系统,同时也出现了各种类型的Android应用软件,竞争激烈。对其进行可靠性测试是保证Android软件质量和可靠性的重要途径,同时也可帮助开发方在满足用户期望和尽快上市发布产品两者之间找到合理的平衡。而测试用例的生成是软件可靠性测试的重要环节。针对Android软件可靠性测试用例的自动生成问题,首先提出收集用户对Android软件使用的习惯数据,以便于构建软件的马尔科夫链模型的方法,并基于马尔科夫链模型,提出和实现了设置状态间转移概率算法和测试用例生成算法,最终根据以上的研究内容设计了带有自动记录用户操作习惯模块的Android文件管理器和Android软件可靠性测试用例自动生成工具,给出了Android软件可靠性测试用例设计的总体思路。实验结果表明,该方法大大降低了Android软件测试用例生成的难度,同时节约了测试用例生成的时间和成本,提高了可靠性测试的效率。 展开更多

关键词 马尔科夫链模型 Android软件开发 测试用例自动生成 Eclipse插件开发 遍历算法

在线阅读 下载PDF 职称材料