期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
114
篇文章
<
1
2
…
6
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于UML活动图模型生成测试场景的设计
被引量:
18
1
作者
刘敏
金茂忠
刘超
《计算机工程与应用》
CSCD
北大核心
2002年第12期122-124,共3页
文章旨在研究运用可视化面向对象建模技术UML中的活动图生成测试场景方法和依据场景进行测试用例自动生成的方法。这种方法不仅适合于软件系统的测试,同时也适用于软件设计阶段的对软件需求和设计模型的测试和验证。文中首先确定一系列...
文章旨在研究运用可视化面向对象建模技术UML中的活动图生成测试场景方法和依据场景进行测试用例自动生成的方法。这种方法不仅适合于软件系统的测试,同时也适用于软件设计阶段的对软件需求和设计模型的测试和验证。文中首先确定一系列覆盖准则,根据准则制定活动图的一般处理思路,然后针对活动图中并发结构、对象流、信号流提出相应处理方法,最后反推出作图的一些假定条件,以及在场景基础上生成测试用例的一些设计构想。
展开更多
关键词
uml
活动图
模型
测试场景
设计
软件测试
软件工作
在线阅读
下载PDF
职称材料
基于UML的软件测试用例自动生成技术研究
被引量:
11
2
作者
黄陇
陈致明
+1 位作者
于洪敏
于秀山
《计算机应用与软件》
CSCD
北大核心
2004年第11期16-17,113,共3页
测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试...
测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试数据的生成。
展开更多
关键词
uml
模型
测试用例
软件测试
自动生成技术
测试场景
覆盖准则
软件自动化
定义
建模工具
产生
在线阅读
下载PDF
职称材料
基于UML的软件测试自动化研究
被引量:
11
3
作者
黄陇
于洪敏
+1 位作者
陈致明
于秀山
《计算机应用》
CSCD
北大核心
2004年第7期135-137,共3页
测试自动化是提高软件测试效率的重要途径。随着UML的广泛应用 ,基于UML模型的测试逐渐成为面向对象软件测试的研究热点。在总结研究现状的基础上 ,详细论述了基于UML模型的软件测试用例自动生成、自动执行以及结果自动比较的过程 ,对...
测试自动化是提高软件测试效率的重要途径。随着UML的广泛应用 ,基于UML模型的测试逐渐成为面向对象软件测试的研究热点。在总结研究现状的基础上 ,详细论述了基于UML模型的软件测试用例自动生成、自动执行以及结果自动比较的过程 ,对其中的主要问题进行了理论分析 。
展开更多
关键词
uml
软件测试
测试自动化
在线阅读
下载PDF
职称材料
基于UML面向对象软件静态测试方法的研究
被引量:
2
4
作者
张毅坤
赵宇峰
+2 位作者
张烨
姚全珠
张亚玲
《计算机工程与应用》
CSCD
北大核心
2003年第36期81-82,146,共3页
文章提出了一种基于UML面向对象软件静态测试的方法,论述了方法的基本框架及具体实现流程。针对面向对象软件的特点,静态测试主要是通过分析源程序得到类关系图,使测试人员能快速而清晰地了解程序结构,有效的设计测试用例。
关键词
软件开发
uml
面向对象
软件测试
程序结构
静态测试方法
在线阅读
下载PDF
职称材料
基于UML的面向对象软件测试系统
被引量:
5
5
作者
张保卫
张毅坤
+1 位作者
赵明
崔杜武
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第6期70-72,215,共4页
设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,...
设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置。同时,对源代码插装,以便度量代码覆盖率。在此基础上,编译测试装置和源代码,生成测试装置执行文件。最后,驱动测试装置执行文件,分析测试结果,生成测试报告。
展开更多
关键词
软件测试
uml
状态图
插装器
测试驱动器
在线阅读
下载PDF
职称材料
基于UML顺序图的测试用例生成
被引量:
10
6
作者
李志强
邵培南
朱辉
《计算机工程》
CAS
CSCD
北大核心
2010年第22期58-60,共3页
为生成覆盖测试需求的测试用例集,提出一种基于UML顺序图自动生成测试用例的方法。通过分析待测系统的功能用例,对其进行顺序图建模。在基于该顺序图生成测试用例的过程中,对顺序图添加规约条件,解析顺序图,得到场景测试树,再遍历该树,...
为生成覆盖测试需求的测试用例集,提出一种基于UML顺序图自动生成测试用例的方法。通过分析待测系统的功能用例,对其进行顺序图建模。在基于该顺序图生成测试用例的过程中,对顺序图添加规约条件,解析顺序图,得到场景测试树,再遍历该树,得到场景的输入、预期输出、约束条件以及场景环境,这4部分组成了测试用例,同时对如何处理复杂的顺序图及如何满足测试用例充分性等问题进行分析总结,提出有效的解决策略。
展开更多
关键词
uml
顺序图
软件测试
测试用例生成
在线阅读
下载PDF
职称材料
基于UML Statecharts的测试用例生成
被引量:
8
7
作者
缪淮扣
占学德
刘玲
《小型微型计算机系统》
CSCD
北大核心
2005年第4期662-666,共5页
直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测...
直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测试用例.同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法.
展开更多
关键词
uml
STATECHARTS
FREE模型
基于规格说明的测试
在线阅读
下载PDF
职称材料
基于UML状态图的软件测试研究
被引量:
7
8
作者
李晓庆
崔健
蔡立志
《计算机工程》
CAS
CSCD
北大核心
2011年第18期32-34,共3页
UML状态图与传统的状态转换图存在较大的差异,导致由状态转换图得到的软件测试路径不适用于UML状态图。为此,提出一种由UML状态图得到软件测试路径的方法。通过对UML状态图逐层分析,并将并发子状态相互组合,以获得状态迁移路径,从而得...
UML状态图与传统的状态转换图存在较大的差异,导致由状态转换图得到的软件测试路径不适用于UML状态图。为此,提出一种由UML状态图得到软件测试路径的方法。通过对UML状态图逐层分析,并将并发子状态相互组合,以获得状态迁移路径,从而得到软件测试路径。实例证明,该方法可以从UML状态图得出软件的测试路径。
展开更多
关键词
uml
状态图
软件测试
测试路径
并发子状态
组合状态
在线阅读
下载PDF
职称材料
基于UML状态图测试的充分性准则
被引量:
11
9
作者
占学德
缪淮扣
《计算机科学》
CSCD
北大核心
2005年第5期230-235,共6页
本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这...
本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这些覆盖准则之间的包含关系。
展开更多
关键词
uml
状态图
充分性
覆盖准则
测试用例
包含关系
图生成
循环
执行
在线阅读
下载PDF
职称材料
一种基于UML状态图的面向对象类级测试模型
被引量:
11
10
作者
张庆
雷航
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第21期75-77,共3页
扩展有限状态机(EFSM)因其具有对系统控制特征(即系统的状态)和数据特征的平面结构描述,而有利于对软件的测试。然而对一个较复杂的类直接建立EFSM图比较困难。将两种工具的优势相结合,提出了一种从UML状态图转为扩展有限状态机的方法,...
扩展有限状态机(EFSM)因其具有对系统控制特征(即系统的状态)和数据特征的平面结构描述,而有利于对软件的测试。然而对一个较复杂的类直接建立EFSM图比较困难。将两种工具的优势相结合,提出了一种从UML状态图转为扩展有限状态机的方法,使之能采用传统的测试方法对类进行状态覆盖和数据流覆盖。
展开更多
关键词
面向对象
软件测试
uml
状态图
扩展有限状态机
在线阅读
下载PDF
职称材料
基于UML顺序图的面向对象软件簇级测试
被引量:
3
11
作者
苏荟
张毅坤
+1 位作者
姚海波
费蓉
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第24期78-79,101,共3页
提出了一种新的面向对象软件簇级测试方法,在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;其次利用程序插桩技术从源代码中提取程序运行时类间的交互信息;最后将二者进行对比,验证源代码中类间信息交互是否正确。并通过...
提出了一种新的面向对象软件簇级测试方法,在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;其次利用程序插桩技术从源代码中提取程序运行时类间的交互信息;最后将二者进行对比,验证源代码中类间信息交互是否正确。并通过实例对该方法的正确性和有效性进行了验证。
展开更多
关键词
面向对象软件
簇级测试
uml
顺序图
程序插桩
在线阅读
下载PDF
职称材料
基于UML的C++软件静态测试方法
被引量:
1
12
作者
张毅坤
赵宇峰
+1 位作者
张烨
姚全珠
《计算机工程》
CAS
CSCD
北大核心
2004年第4期79-80,195,共3页
提出一种基于UML的面向对象软件静态测试的方法,论述了方法的基本框架及针对C++程序的具体实现,使测试人员能直观地了解程序结构上的错误,并有效地设计测试用例。本静态测试方法是通过分析源程序文件,采用数据库来保存分析结果,并...
提出一种基于UML的面向对象软件静态测试的方法,论述了方法的基本框架及针对C++程序的具体实现,使测试人员能直观地了解程序结构上的错误,并有效地设计测试用例。本静态测试方法是通过分析源程序文件,采用数据库来保存分析结果,并以UML类关系图显示出来。
展开更多
关键词
软件测试
面向对象
静态测试
uml
在线阅读
下载PDF
职称材料
基于改进蚁群算法UML状态机图的测试用例生成
被引量:
4
13
作者
任洪丽
张伟
李文瑞
《计算机工程与设计》
CSCD
北大核心
2010年第17期3835-3837,3928,共4页
为了减少测试工作量,防止测试用例数目过多而导致爆炸,提出了使用改进的蚁群算法直接从UML状态机图中生成测试用例的方法。利用UML状态图是对系统可能的生命历程进行建模,由于状态图具有直观性,所以简化了生成测试用例过程,从而减少了...
为了减少测试工作量,防止测试用例数目过多而导致爆炸,提出了使用改进的蚁群算法直接从UML状态机图中生成测试用例的方法。利用UML状态图是对系统可能的生命历程进行建模,由于状态图具有直观性,所以简化了生成测试用例过程,从而减少了测试的工作量。通过构造人工蚁群以及动态更新信息素矩阵,让蚂蚁选择还没有搜索或边信息素最小的顶点,确保了测试用例的数量既满足测试需求,又不会过多。通过编写算法及模拟仿真,对该算法的可行性和有效性做了验证和仿真分析。
展开更多
关键词
软件测试
测试用例
uml
状态机图
蚁群算法
有向图
在线阅读
下载PDF
职称材料
基于UML的软件使用模型的研究与实现
被引量:
4
14
作者
王涛
徐锡山
颜炯
《计算机工程与科学》
CSCD
2005年第3期71-73,共3页
UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生...
UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型。
展开更多
关键词
软件开发
软件可靠性测试
软件使用模型
uml
在线阅读
下载PDF
职称材料
应用UML顺序图的联锁测试用例生成方法
被引量:
5
15
作者
高雪娟
武晓春
《计算机应用研究》
CSCD
北大核心
2013年第9期2740-2743,共4页
计算机联锁软件是安全完善度等级最高的软件,因此,在投入使用前对联锁软件的测试是必不可少的。为生成联锁软件测试用例,结合包含有充分测试信息的UML模型,提出一种以UML顺序图为主要模型的软件测试用例生成方法。通过提出有向图SG生成...
计算机联锁软件是安全完善度等级最高的软件,因此,在投入使用前对联锁软件的测试是必不可少的。为生成联锁软件测试用例,结合包含有充分测试信息的UML模型,提出一种以UML顺序图为主要模型的软件测试用例生成方法。通过提出有向图SG生成算法,将顺序图转换为SG;然后基于特定的覆盖准则和采用深度优先搜索算法遍历SG,得到场景的输入、预期输出、约束条件以及场景环境,生成测试用例;最后,以进路建立过程为例验证了该方法的可行性和正确性。
展开更多
关键词
uml
顺序图
软件测试
测试用例生成
联锁
在线阅读
下载PDF
职称材料
基于UML的测试用例生成方法研究
被引量:
11
16
作者
周飞
杨根兴
蔡立志
《计算机应用与软件》
CSCD
2009年第2期107-110,共4页
基于模型的软件测试是由软件需求分析模型与设计模型中生成一套测试用例的技术。随着基于UML模型的软件开发与RUP(Rational Unified Process)开发过程的广泛应用,基于UML模型的软件测试逐渐成为基于模型软件测试的主要研究方向。结合UM...
基于模型的软件测试是由软件需求分析模型与设计模型中生成一套测试用例的技术。随着基于UML模型的软件开发与RUP(Rational Unified Process)开发过程的广泛应用,基于UML模型的软件测试逐渐成为基于模型软件测试的主要研究方向。结合UML模型中的测试信息,结合并改进了传统的测试用例生成方法,如场景法、判定表法等,提出了一套较合理的基于UML的测试用例生成方法,使得基于UML的测试用例生成方法的流程更加规范,更加易于生成满足很高覆盖要求的测试用例,并运用实例对其进行了验证。
展开更多
关键词
场景法
判定表法表
基于
uml
的测试用例生成
在线阅读
下载PDF
职称材料
基于UML软件测试技术的比较研究(英文)
被引量:
1
17
作者
白晓清
蓝秋萍
李怀忠
《广西大学学报(自然科学版)》
CAS
CSCD
2003年第4期358-362,共5页
近年来 UML图广泛应用于软件开发的各个阶段 ,特别在软件测试领域 ,基于 UML软件测试技术的研究成为学术热点 .本文对基于 UML的软件测试技术进行了详细地比较和研究 ,并且给出了组件工程中
关键词
软件测试技术
uml
图
软件开发
组件工程
在线阅读
下载PDF
职称材料
基于UML Statechart语义的测试序列生成方法
被引量:
2
18
作者
缪力
张大方
《计算机工程与科学》
CSCD
2005年第4期3-5,共3页
UML Statechart是UML的一个主要组成部分,与其他类型的 Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将Statechart转...
UML Statechart是UML的一个主要组成部分,与其他类型的 Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将Statechart转化为一个比较简单的标志变迁系统,利用路径选择算法得到一个基于标志变迁系统的测试集,然后通过判断得到的测试集中每个测试用例是否满足UML Statechart执行步的语义,从而得到一个满足UML Statechart执行步的语义的、可执行的测试集。
展开更多
关键词
软件开发
软件测试
测试序列生成方法
uml
STATECHART
语义模型
在线阅读
下载PDF
职称材料
基于UML模型的系统级测试用例生成方法
被引量:
5
19
作者
冯秋燕
《计算机应用》
CSCD
北大核心
2014年第1期276-280,共5页
采用基于UML模型的软件测试方法,主要整合用例图与顺序图进行系统级的软件测试。首先提出用例执行图(UEG)的生成算法、顺序执行图(SEG)的生成算法,及基于UEG和SEG,生成系统测试图(STG)的算法;其次,根据制定的三层次准则,遍历UEG、SEG、...
采用基于UML模型的软件测试方法,主要整合用例图与顺序图进行系统级的软件测试。首先提出用例执行图(UEG)的生成算法、顺序执行图(SEG)的生成算法,及基于UEG和SEG,生成系统测试图(STG)的算法;其次,根据制定的三层次准则,遍历UEG、SEG、STG生成测试用例,主要解决交互错、场景错、用例执行错和用例依赖错等问题。最后,经实例分析和实验验证,该方法可以基于用例图和顺序图进行系统级的软件测试。
展开更多
关键词
uml
模型
软件测试
用例图
顺序图
测试用例
在线阅读
下载PDF
职称材料
基于UML顺序图的面向对象软件簇级测试用例生成
被引量:
1
20
作者
苏荟
张毅坤
《计算机工程与科学》
CSCD
2007年第11期66-68,共3页
本文提出了一种新的面向对象软件簇级测试用例生成方法。在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;然后,依据从UML顺序图中提取出来的类间的交互信息,采用文中给出的算法生成测试用例;最后,将生成的测试用例依据XML...
本文提出了一种新的面向对象软件簇级测试用例生成方法。在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;然后,依据从UML顺序图中提取出来的类间的交互信息,采用文中给出的算法生成测试用例;最后,将生成的测试用例依据XML文档的格式存储,以便于管理,并通过实例对该测试用例生成方法进行了验证。
展开更多
关键词
面向对象软件簇级测试
uml
顺序图
多态性
动态绑定
测试用例
在线阅读
下载PDF
职称材料
题名
基于UML活动图模型生成测试场景的设计
被引量:
18
1
作者
刘敏
金茂忠
刘超
机构
北京航空航天大学计算机科学与工程系
出处
《计算机工程与应用》
CSCD
北大核心
2002年第12期122-124,共3页
基金
国家自然科学基金资助(编号:60073005)
文摘
文章旨在研究运用可视化面向对象建模技术UML中的活动图生成测试场景方法和依据场景进行测试用例自动生成的方法。这种方法不仅适合于软件系统的测试,同时也适用于软件设计阶段的对软件需求和设计模型的测试和验证。文中首先确定一系列覆盖准则,根据准则制定活动图的一般处理思路,然后针对活动图中并发结构、对象流、信号流提出相应处理方法,最后反推出作图的一些假定条件,以及在场景基础上生成测试用例的一些设计构想。
关键词
uml
活动图
模型
测试场景
设计
软件测试
软件工作
Keywords
software
test
,
software
engineering,
test
scenario,
uml
activity diagram
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML的软件测试用例自动生成技术研究
被引量:
11
2
作者
黄陇
陈致明
于洪敏
于秀山
机构
军械工程学院
中国电子设备工程公司研究所
出处
《计算机应用与软件》
CSCD
北大核心
2004年第11期16-17,113,共3页
文摘
测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用 ,基于UML模型的测试用例自动生成技术日益受到关注。本文提出了通过对UMLSequenceDiagram进行形式化分析产生测试场景的技术 ,定义了相应的测试覆盖准则 ,分析了测试数据的生成。
关键词
uml
模型
测试用例
软件测试
自动生成技术
测试场景
覆盖准则
软件自动化
定义
建模工具
产生
Keywords
uml
software testing
test
case automatically generation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
TP309.5 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于UML的软件测试自动化研究
被引量:
11
3
作者
黄陇
于洪敏
陈致明
于秀山
机构
军械工程学院
中国电子系统设备工程公司通信研究所
出处
《计算机应用》
CSCD
北大核心
2004年第7期135-137,共3页
文摘
测试自动化是提高软件测试效率的重要途径。随着UML的广泛应用 ,基于UML模型的测试逐渐成为面向对象软件测试的研究热点。在总结研究现状的基础上 ,详细论述了基于UML模型的软件测试用例自动生成、自动执行以及结果自动比较的过程 ,对其中的主要问题进行了理论分析 。
关键词
uml
软件测试
测试自动化
Keywords
uml
software testing
testing
automation
分类号
TP311.56 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML面向对象软件静态测试方法的研究
被引量:
2
4
作者
张毅坤
赵宇峰
张烨
姚全珠
张亚玲
机构
西安理工大学计算机科学与工程学院
出处
《计算机工程与应用》
CSCD
北大核心
2003年第36期81-82,146,共3页
基金
陕西省教育厅科研基金资助(编号:00JK265)
文摘
文章提出了一种基于UML面向对象软件静态测试的方法,论述了方法的基本框架及具体实现流程。针对面向对象软件的特点,静态测试主要是通过分析源程序得到类关系图,使测试人员能快速而清晰地了解程序结构,有效的设计测试用例。
关键词
软件开发
uml
面向对象
软件测试
程序结构
静态测试方法
Keywords
software testing
,
object-oriented
,
static testing
,
uml
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML的面向对象软件测试系统
被引量:
5
5
作者
张保卫
张毅坤
赵明
崔杜武
机构
西安理工大学计算机科学与工程学院
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第6期70-72,215,共4页
基金
陕西省教育厅科研基金资助项目(00JK265)
文摘
设计和实现了一个基于UML的C++测试集成开发环境CppTestIDE。它以基于UML的分析设计规约文档作为OO软件测试的重要依据,通过对UML文档的词法语法分析,提取类状态机信息;采用手工和自动生成测试用例;并根据生成的测试用例构造驱动模块,生成测试装置。同时,对源代码插装,以便度量代码覆盖率。在此基础上,编译测试装置和源代码,生成测试装置执行文件。最后,驱动测试装置执行文件,分析测试结果,生成测试报告。
关键词
软件测试
uml
状态图
插装器
测试驱动器
Keywords
software testing
uml
state-chart
Program instrumentor
testing
driver
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML顺序图的测试用例生成
被引量:
10
6
作者
李志强
邵培南
朱辉
机构
华东计算技术研究所
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第22期58-60,共3页
文摘
为生成覆盖测试需求的测试用例集,提出一种基于UML顺序图自动生成测试用例的方法。通过分析待测系统的功能用例,对其进行顺序图建模。在基于该顺序图生成测试用例的过程中,对顺序图添加规约条件,解析顺序图,得到场景测试树,再遍历该树,得到场景的输入、预期输出、约束条件以及场景环境,这4部分组成了测试用例,同时对如何处理复杂的顺序图及如何满足测试用例充分性等问题进行分析总结,提出有效的解决策略。
关键词
uml
顺序图
软件测试
测试用例生成
Keywords
uml
sequence diagram
software
test
test
cases generation .
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML Statecharts的测试用例生成
被引量:
8
7
作者
缪淮扣
占学德
刘玲
机构
上海大学计算机学院
出处
《小型微型计算机系统》
CSCD
北大核心
2005年第4期662-666,共5页
基金
国家自然科学基金(60173030
60373072)资助
+1 种基金
国家"九七三"项目(2002CB312001)资助
上海市第四期重点学科建设资助.
文摘
直接从含有层次和并发结构的UMLstatecharts图产生类的测试用例是比较困难的.提出了一种从UMLstatecharts图产生测试用例的方法:先把UMLstatecharts图转换成FREE(FlattenedRegularExpression)[1]模型图,再以FREE模型图为基础生成类的测试用例.同时,提出了FREE模型的测试覆盖准则,并提出了由FREE模型产生有限的迁移序列的算法.
关键词
uml
STATECHARTS
FREE模型
基于规格说明的测试
Keywords
uml
statecharts
FREE model
specification-based
software testing
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML状态图的软件测试研究
被引量:
7
8
作者
李晓庆
崔健
蔡立志
机构
上海计算机软件技术开发中心
上海市计算机软件评测重点实验室
上海海事大学信息工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2011年第18期32-34,共3页
基金
国家"863"计划基金资助重点项目"新概念高效能计算机体系结构及系统研究开发"(2009AA012201)
上海市科学技术委员会科研基金资助项目"软件专业技术服务平台建设与完善"(10DZ2291800)
上海市科委重大科技攻关计划基金资助项目"新概念高效能计算机体系结构及系统研究开发"(08dz501600)
文摘
UML状态图与传统的状态转换图存在较大的差异,导致由状态转换图得到的软件测试路径不适用于UML状态图。为此,提出一种由UML状态图得到软件测试路径的方法。通过对UML状态图逐层分析,并将并发子状态相互组合,以获得状态迁移路径,从而得到软件测试路径。实例证明,该方法可以从UML状态图得出软件的测试路径。
关键词
uml
状态图
软件测试
测试路径
并发子状态
组合状态
Keywords
uml
statecharts
software
test
test
path
concurrent substate
composite state
分类号
N945 [自然科学总论—系统科学]
在线阅读
下载PDF
职称材料
题名
基于UML状态图测试的充分性准则
被引量:
11
9
作者
占学德
缪淮扣
机构
上海大学计算机学院
出处
《计算机科学》
CSCD
北大核心
2005年第5期230-235,共6页
基金
国家自然科学基金(60173030和60373072)
文摘
本文描述了基于UML状态图生成测试用例的充分性准则。在测试时,循环被执行一次是很不充分的,本文提出了使循环分别执行0次、1次、2次,即ZOT循环覆盖准则,在此基础上本文还提出了全ZOT路径覆盖准则,并给出了这些覆盖准则的应用,讨论了这些覆盖准则之间的包含关系。
关键词
uml
状态图
充分性
覆盖准则
测试用例
包含关系
图生成
循环
执行
Keywords
uml
state diagram
test
criteria
Specification-based
software testing
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
F239.0 [经济管理—会计学]
在线阅读
下载PDF
职称材料
题名
一种基于UML状态图的面向对象类级测试模型
被引量:
11
10
作者
张庆
雷航
机构
电子科技大学计算机与工程学院
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第21期75-77,共3页
基金
国家"十五"预研项目
文摘
扩展有限状态机(EFSM)因其具有对系统控制特征(即系统的状态)和数据特征的平面结构描述,而有利于对软件的测试。然而对一个较复杂的类直接建立EFSM图比较困难。将两种工具的优势相结合,提出了一种从UML状态图转为扩展有限状态机的方法,使之能采用传统的测试方法对类进行状态覆盖和数据流覆盖。
关键词
面向对象
软件测试
uml
状态图
扩展有限状态机
Keywords
object-oriented
software testing
uml
statechart
Extended finite state machine
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML顺序图的面向对象软件簇级测试
被引量:
3
11
作者
苏荟
张毅坤
姚海波
费蓉
机构
西安理工大学计算机科学与工程学院
出处
《计算机工程》
EI
CAS
CSCD
北大核心
2005年第24期78-79,101,共3页
基金
陕西省教育厅科研基金资助项目(00JK265)
文摘
提出了一种新的面向对象软件簇级测试方法,在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;其次利用程序插桩技术从源代码中提取程序运行时类间的交互信息;最后将二者进行对比,验证源代码中类间信息交互是否正确。并通过实例对该方法的正确性和有效性进行了验证。
关键词
面向对象软件
簇级测试
uml
顺序图
程序插桩
Keywords
object-oriented
software
Cluster-level
testing
uml
sequence diagrams
Instrumentation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML的C++软件静态测试方法
被引量:
1
12
作者
张毅坤
赵宇峰
张烨
姚全珠
机构
西安理工大学计算机科学与工程学院
出处
《计算机工程》
CAS
CSCD
北大核心
2004年第4期79-80,195,共3页
基金
陕西省教育厅科研基金资助项目(00JK265)
文摘
提出一种基于UML的面向对象软件静态测试的方法,论述了方法的基本框架及针对C++程序的具体实现,使测试人员能直观地了解程序结构上的错误,并有效地设计测试用例。本静态测试方法是通过分析源程序文件,采用数据库来保存分析结果,并以UML类关系图显示出来。
关键词
软件测试
面向对象
静态测试
uml
Keywords
software testing
object-oriented
static testing
uml
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于改进蚁群算法UML状态机图的测试用例生成
被引量:
4
13
作者
任洪丽
张伟
李文瑞
机构
江南大学信息学院
出处
《计算机工程与设计》
CSCD
北大核心
2010年第17期3835-3837,3928,共4页
文摘
为了减少测试工作量,防止测试用例数目过多而导致爆炸,提出了使用改进的蚁群算法直接从UML状态机图中生成测试用例的方法。利用UML状态图是对系统可能的生命历程进行建模,由于状态图具有直观性,所以简化了生成测试用例过程,从而减少了测试的工作量。通过构造人工蚁群以及动态更新信息素矩阵,让蚂蚁选择还没有搜索或边信息素最小的顶点,确保了测试用例的数量既满足测试需求,又不会过多。通过编写算法及模拟仿真,对该算法的可行性和有效性做了验证和仿真分析。
关键词
软件测试
测试用例
uml
状态机图
蚁群算法
有向图
Keywords
software testing
test
cases
uml
state machine diagrams
improved ant colony optimization
directed graph
分类号
TP311.56 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML的软件使用模型的研究与实现
被引量:
4
14
作者
王涛
徐锡山
颜炯
机构
国防科技大学计算机学院
出处
《计算机工程与科学》
CSCD
2005年第3期71-73,共3页
文摘
UML作为事实上的工业标准,在软件开发中得到了日益广泛的应用。软件可靠性测试是高可靠软件质量保证的重要过程。研究基于UML的软件可靠性测试具有很强的现实意义。软件使用模型是进行软件可靠性测试的基础,可利用在软件开发早期阶段生成的UML模型,如用况图、顺序图、活动图,自动生成软件使用模型。
关键词
软件开发
软件可靠性测试
软件使用模型
uml
Keywords
software
reliability
test
uml
usage model
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
应用UML顺序图的联锁测试用例生成方法
被引量:
5
15
作者
高雪娟
武晓春
机构
兰州交通大学自动化与电气工程学院
出处
《计算机应用研究》
CSCD
北大核心
2013年第9期2740-2743,共4页
基金
国家自然科学基金资助项目(61164010)
文摘
计算机联锁软件是安全完善度等级最高的软件,因此,在投入使用前对联锁软件的测试是必不可少的。为生成联锁软件测试用例,结合包含有充分测试信息的UML模型,提出一种以UML顺序图为主要模型的软件测试用例生成方法。通过提出有向图SG生成算法,将顺序图转换为SG;然后基于特定的覆盖准则和采用深度优先搜索算法遍历SG,得到场景的输入、预期输出、约束条件以及场景环境,生成测试用例;最后,以进路建立过程为例验证了该方法的可行性和正确性。
关键词
uml
顺序图
软件测试
测试用例生成
联锁
Keywords
uml
sequence diagram
software
test
test
case generation
interlocking
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML的测试用例生成方法研究
被引量:
11
16
作者
周飞
杨根兴
蔡立志
机构
华东理工大学计算机科学与工程系
上海市计算机软件评测重点试验室
出处
《计算机应用与软件》
CSCD
2009年第2期107-110,共4页
文摘
基于模型的软件测试是由软件需求分析模型与设计模型中生成一套测试用例的技术。随着基于UML模型的软件开发与RUP(Rational Unified Process)开发过程的广泛应用,基于UML模型的软件测试逐渐成为基于模型软件测试的主要研究方向。结合UML模型中的测试信息,结合并改进了传统的测试用例生成方法,如场景法、判定表法等,提出了一套较合理的基于UML的测试用例生成方法,使得基于UML的测试用例生成方法的流程更加规范,更加易于生成满足很高覆盖要求的测试用例,并运用实例对其进行了验证。
关键词
场景法
判定表法表
基于
uml
的测试用例生成
Keywords
Scene Decision table
uml
based
software testing
分类号
TP311.132 [自动化与计算机技术—计算机软件与理论]
TP311.56 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML软件测试技术的比较研究(英文)
被引量:
1
17
作者
白晓清
蓝秋萍
李怀忠
机构
广西大学电气工程学院
伊迪思.考文大学计算机和信息工程学院
出处
《广西大学学报(自然科学版)》
CAS
CSCD
2003年第4期358-362,共5页
基金
Supported in part by a SEAWA ( Software Engineering Australia
Western Australia) research grantand an Edith Cowan University research grant
文摘
近年来 UML图广泛应用于软件开发的各个阶段 ,特别在软件测试领域 ,基于 UML软件测试技术的研究成为学术热点 .本文对基于 UML的软件测试技术进行了详细地比较和研究 ,并且给出了组件工程中
关键词
软件测试技术
uml
图
软件开发
组件工程
Keywords
software testing
uml
component- based
software
engineering
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML Statechart语义的测试序列生成方法
被引量:
2
18
作者
缪力
张大方
机构
湖南大学计算机与通信学院
出处
《计算机工程与科学》
CSCD
2005年第4期3-5,共3页
基金
国家自然科学基金资助项目(60273070 )
文摘
UML Statechart是UML的一个主要组成部分,与其他类型的 Statechart相比,由于采用事件队列的调度方式,UML Statechart有着更多的不确定性,使得针对UML Statechart模型的测试非常困难。本文给出了一个形式化的语义模型,并将Statechart转化为一个比较简单的标志变迁系统,利用路径选择算法得到一个基于标志变迁系统的测试集,然后通过判断得到的测试集中每个测试用例是否满足UML Statechart执行步的语义,从而得到一个满足UML Statechart执行步的语义的、可执行的测试集。
关键词
软件开发
软件测试
测试序列生成方法
uml
STATECHART
语义模型
Keywords
uml
statechart
software testing
test
sequence generation
分类号
TP311.52 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML模型的系统级测试用例生成方法
被引量:
5
19
作者
冯秋燕
机构
河南财经政法大学图书馆
出处
《计算机应用》
CSCD
北大核心
2014年第1期276-280,共5页
文摘
采用基于UML模型的软件测试方法,主要整合用例图与顺序图进行系统级的软件测试。首先提出用例执行图(UEG)的生成算法、顺序执行图(SEG)的生成算法,及基于UEG和SEG,生成系统测试图(STG)的算法;其次,根据制定的三层次准则,遍历UEG、SEG、STG生成测试用例,主要解决交互错、场景错、用例执行错和用例依赖错等问题。最后,经实例分析和实验验证,该方法可以基于用例图和顺序图进行系统级的软件测试。
关键词
uml
模型
软件测试
用例图
顺序图
测试用例
Keywords
uml
model
software testing
use ease diagram
sequence diagram
test
ease
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于UML顺序图的面向对象软件簇级测试用例生成
被引量:
1
20
作者
苏荟
张毅坤
机构
西安财经学院信息学院
西安理工大学计算机科学与工程学院
出处
《计算机工程与科学》
CSCD
2007年第11期66-68,共3页
文摘
本文提出了一种新的面向对象软件簇级测试用例生成方法。在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;然后,依据从UML顺序图中提取出来的类间的交互信息,采用文中给出的算法生成测试用例;最后,将生成的测试用例依据XML文档的格式存储,以便于管理,并通过实例对该测试用例生成方法进行了验证。
关键词
面向对象软件簇级测试
uml
顺序图
多态性
动态绑定
测试用例
Keywords
OO
software
cluster-level
testing
uml
sequence
polymorphism
dynamic binding
testing
case
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于UML活动图模型生成测试场景的设计
刘敏
金茂忠
刘超
《计算机工程与应用》
CSCD
北大核心
2002
18
在线阅读
下载PDF
职称材料
2
基于UML的软件测试用例自动生成技术研究
黄陇
陈致明
于洪敏
于秀山
《计算机应用与软件》
CSCD
北大核心
2004
11
在线阅读
下载PDF
职称材料
3
基于UML的软件测试自动化研究
黄陇
于洪敏
陈致明
于秀山
《计算机应用》
CSCD
北大核心
2004
11
在线阅读
下载PDF
职称材料
4
基于UML面向对象软件静态测试方法的研究
张毅坤
赵宇峰
张烨
姚全珠
张亚玲
《计算机工程与应用》
CSCD
北大核心
2003
2
在线阅读
下载PDF
职称材料
5
基于UML的面向对象软件测试系统
张保卫
张毅坤
赵明
崔杜武
《计算机工程》
EI
CAS
CSCD
北大核心
2005
5
在线阅读
下载PDF
职称材料
6
基于UML顺序图的测试用例生成
李志强
邵培南
朱辉
《计算机工程》
CAS
CSCD
北大核心
2010
10
在线阅读
下载PDF
职称材料
7
基于UML Statecharts的测试用例生成
缪淮扣
占学德
刘玲
《小型微型计算机系统》
CSCD
北大核心
2005
8
在线阅读
下载PDF
职称材料
8
基于UML状态图的软件测试研究
李晓庆
崔健
蔡立志
《计算机工程》
CAS
CSCD
北大核心
2011
7
在线阅读
下载PDF
职称材料
9
基于UML状态图测试的充分性准则
占学德
缪淮扣
《计算机科学》
CSCD
北大核心
2005
11
在线阅读
下载PDF
职称材料
10
一种基于UML状态图的面向对象类级测试模型
张庆
雷航
《计算机工程》
EI
CAS
CSCD
北大核心
2005
11
在线阅读
下载PDF
职称材料
11
基于UML顺序图的面向对象软件簇级测试
苏荟
张毅坤
姚海波
费蓉
《计算机工程》
EI
CAS
CSCD
北大核心
2005
3
在线阅读
下载PDF
职称材料
12
基于UML的C++软件静态测试方法
张毅坤
赵宇峰
张烨
姚全珠
《计算机工程》
CAS
CSCD
北大核心
2004
1
在线阅读
下载PDF
职称材料
13
基于改进蚁群算法UML状态机图的测试用例生成
任洪丽
张伟
李文瑞
《计算机工程与设计》
CSCD
北大核心
2010
4
在线阅读
下载PDF
职称材料
14
基于UML的软件使用模型的研究与实现
王涛
徐锡山
颜炯
《计算机工程与科学》
CSCD
2005
4
在线阅读
下载PDF
职称材料
15
应用UML顺序图的联锁测试用例生成方法
高雪娟
武晓春
《计算机应用研究》
CSCD
北大核心
2013
5
在线阅读
下载PDF
职称材料
16
基于UML的测试用例生成方法研究
周飞
杨根兴
蔡立志
《计算机应用与软件》
CSCD
2009
11
在线阅读
下载PDF
职称材料
17
基于UML软件测试技术的比较研究(英文)
白晓清
蓝秋萍
李怀忠
《广西大学学报(自然科学版)》
CAS
CSCD
2003
1
在线阅读
下载PDF
职称材料
18
基于UML Statechart语义的测试序列生成方法
缪力
张大方
《计算机工程与科学》
CSCD
2005
2
在线阅读
下载PDF
职称材料
19
基于UML模型的系统级测试用例生成方法
冯秋燕
《计算机应用》
CSCD
北大核心
2014
5
在线阅读
下载PDF
职称材料
20
基于UML顺序图的面向对象软件簇级测试用例生成
苏荟
张毅坤
《计算机工程与科学》
CSCD
2007
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
2
…
6
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部