期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
7
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于覆盖准则的多轮测试用例优先排序方法
1
作者
何展翔
舒挺
《软件工程》
2024年第10期60-63,共4页
针对测试用例优先排序中存在的覆盖准则选择困难、确定最优准则序列难等问题,提出了一种基于扩展有限状态机模型的最优覆盖准则序列排序方法(CWTCP)。该方法首先运用鲸鱼优化算法挑选出最优覆盖准则序列,为后续的排序提供了有力支持;其...
针对测试用例优先排序中存在的覆盖准则选择困难、确定最优准则序列难等问题,提出了一种基于扩展有限状态机模型的最优覆盖准则序列排序方法(CWTCP)。该方法首先运用鲸鱼优化算法挑选出最优覆盖准则序列,为后续的排序提供了有力支持;其次将覆盖准则序列依次应用在多轮排序中,以应对可能出现的平局问题。为了验证CWTCP方法的有效性,在5个扩展有限状态机模型上进行了实验,采用平均故障检测百分比(APFD)作为度量标准。实验结果表明,CWTCP的平均APFD值为0.918,比随机算法的相应值高了19.8%。
展开更多
关键词
回归测试
覆盖准则
鲸鱼优化算法
扩展有限状态机
下载PDF
职称材料
面向对象程序的异常分析与测试方法述评
被引量:
2
2
作者
毛澄映
卢炎生
+1 位作者
闫伟
江胜
《计算机应用研究》
CSCD
北大核心
2007年第8期25-29,37,共6页
从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测试技术改进和工具实现方面所做的工作;探讨了异常分析和测试的若干研究方向。
关键词
异常处理
分析与测试
控制流图
形式推理
覆盖准则
下载PDF
职称材料
基于UML状态图和基本Petri网生成测试用例
被引量:
4
3
作者
崔尚森
孙琳
《交通与计算机》
2006年第4期116-119,共4页
结合UM L状态图和Petri网提出了一种生成测试用例的方法。将UM L状态图转换成对应的EN—系统模型,利用EN—系统的性质检测并排除UM L状态图中的不可达状态和事件的冲突和冲撞;再应用与合理的UM L状态图对应的EN—系统生成可达状态图,利...
结合UM L状态图和Petri网提出了一种生成测试用例的方法。将UM L状态图转换成对应的EN—系统模型,利用EN—系统的性质检测并排除UM L状态图中的不可达状态和事件的冲突和冲撞;再应用与合理的UM L状态图对应的EN—系统生成可达状态图,利用可达状态图生成测试用例。该方法一方面可以很好地实现并行子状态的嵌套问题,避免了将并行的UM L子状态展平成EFSM时引起的状态爆炸问题;另一方面,由于测试用例的覆盖标准是基于可达状态图的基路径、事件和可达状态覆盖,所以还很好地解决了对系统的不同测试要求和状态的可达性问题。
展开更多
关键词
UML状态图
基本Petri网
测试用例
测试覆盖标准
可达状态图
下载PDF
职称材料
基于状态转移图的箭载软件时序控制测试用例生成方法
被引量:
3
4
作者
汪冬瑾
张舒
《计算机测量与控制》
2020年第8期32-35,共4页
为提升箭载嵌入式软件测试的效率和质量,针对箭载软件时序控制这一测试需求,文章提出了一种基于状态转移图的测试用例自动生成算法设计方法;具体分析步骤为首先分析时序控制特性,其次选取状态转移图来表征,自定义所需图元属性以及图元...
为提升箭载嵌入式软件测试的效率和质量,针对箭载软件时序控制这一测试需求,文章提出了一种基于状态转移图的测试用例自动生成算法设计方法;具体分析步骤为首先分析时序控制特性,其次选取状态转移图来表征,自定义所需图元属性以及图元关系、触发条件全面性与一致性的约束条件从而保证模型合理性;再次采用基路径覆盖、转移对覆盖、条件元覆盖3种覆盖准则相结合方式实现测试用例的自动生成;最后以某箭上软件全飞行周期时序控制为基础,多次结果表明该方法生成的软件测试用例可完全覆盖时序控制功能和性能需求,验证了方法的有效性和稳定性,可为箭载软件自动化测试工程化实践提供一定的借鉴。
展开更多
关键词
状态转移图
时序控制
测试用例
覆盖准则
下载PDF
职称材料
基于有限状态机的Web服务测试用例生成方法
被引量:
1
5
作者
黎升洪
王任
《计算机时代》
2009年第11期34-37,共4页
提出了一种基于有限状态模型(FSM)的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序...
提出了一种基于有限状态模型(FSM)的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。
展开更多
关键词
WEB服务
有限状态机
正则表达式
覆盖准则
测试用例
下载PDF
职称材料
基于状态迁移的Web应用功能测试用例生成方法
被引量:
6
6
作者
张绍康
王曙燕
孙家泽
《计算机应用》
CSCD
北大核心
2014年第6期1779-1782,1787,共5页
针对Web应用测试方法错误覆盖率低的问题,提出了一种基于状态迁移的Web应用功能测试用例生成方法。该方法通过构造页面状态迁移图、事件迁移表和导航迁移表对Web应用的链接关系进行表示。基于页面状态迁移图生成的页面状态迁移树生成测...
针对Web应用测试方法错误覆盖率低的问题,提出了一种基于状态迁移的Web应用功能测试用例生成方法。该方法通过构造页面状态迁移图、事件迁移表和导航迁移表对Web应用的链接关系进行表示。基于页面状态迁移图生成的页面状态迁移树生成测试路径,根据等价类划分原则,提出了一种测试用例覆盖准则,结合事件迁移表和导航迁移表中的信息记录构造测试用例。典型案例实验结果表明,该方法有效地表示了Web应用中页面间的链接关系,提高了测试用例的错误检测率。
展开更多
关键词
状态迁移
WEB应用
覆盖准则
测试路径
测试用例
下载PDF
职称材料
面向对象软件和EFSM规范测试覆盖准则比较
被引量:
1
7
作者
王晓峰
赵瑞莲
《清华大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2011年第S1期1445-1450,共6页
测试覆盖准则是软件测试的一个重要组成部分。目前已有的覆盖准则研究大多从程序代码或者规范出发,很少将两者结合起来考虑。另外,面向对象软件和扩展有限状态机(EFSM)规范应用越来越广泛。该文从面向对象程序代码和EFSM规范两方面出发...
测试覆盖准则是软件测试的一个重要组成部分。目前已有的覆盖准则研究大多从程序代码或者规范出发,很少将两者结合起来考虑。另外,面向对象软件和扩展有限状态机(EFSM)规范应用越来越广泛。该文从面向对象程序代码和EFSM规范两方面出发,对现有测试覆盖准则进行了分析比较,给出了2个新的测试覆盖准则,对现有测试覆盖准则进行了扩充,并对基于面向对象程序和EFSM规范的测试覆盖准则进行了公理化评估。通过实验进一步分析了基于规范的和面向对象程序的测试覆盖准则之间的一些对应关系,为测试人员在测试准则的选取上提供了一定的指导。
展开更多
关键词
面向对象程序
EFSM规范
测试覆盖准则
原文传递
题名
基于覆盖准则的多轮测试用例优先排序方法
1
作者
何展翔
舒挺
机构
浙江理工大学计算机科学与技术学院
出处
《软件工程》
2024年第10期60-63,共4页
文摘
针对测试用例优先排序中存在的覆盖准则选择困难、确定最优准则序列难等问题,提出了一种基于扩展有限状态机模型的最优覆盖准则序列排序方法(CWTCP)。该方法首先运用鲸鱼优化算法挑选出最优覆盖准则序列,为后续的排序提供了有力支持;其次将覆盖准则序列依次应用在多轮排序中,以应对可能出现的平局问题。为了验证CWTCP方法的有效性,在5个扩展有限状态机模型上进行了实验,采用平均故障检测百分比(APFD)作为度量标准。实验结果表明,CWTCP的平均APFD值为0.918,比随机算法的相应值高了19.8%。
关键词
回归测试
覆盖准则
鲸鱼优化算法
扩展有限状态机
Keywords
regression
testing
coverage
criteria
Whale Optimization Algorithm(WOA)
Extended Finite State Machine(EFSM)
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
面向对象程序的异常分析与测试方法述评
被引量:
2
2
作者
毛澄映
卢炎生
闫伟
江胜
机构
华中科技大学计算机科学与技术学院
出处
《计算机应用研究》
CSCD
北大核心
2007年第8期25-29,37,共6页
基金
国家"十五"科技预研基金资助项目(41315.9.2
10104010201)
湖北省自然科学基金资助项目(2005ABA266)
文摘
从异常处理的分析方法和测试技术两个方面概述当前对异常处理的研究现状,分析和比较了一些典型方法;简要介绍了在C++程序中异常测试技术改进和工具实现方面所做的工作;探讨了异常分析和测试的若干研究方向。
关键词
异常处理
分析与测试
控制流图
形式推理
覆盖准则
Keywords
exception handling
analysis and
testing
control flow
graph
formal inferencing
coverage
criteria
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于UML状态图和基本Petri网生成测试用例
被引量:
4
3
作者
崔尚森
孙琳
机构
长安大学
出处
《交通与计算机》
2006年第4期116-119,共4页
文摘
结合UM L状态图和Petri网提出了一种生成测试用例的方法。将UM L状态图转换成对应的EN—系统模型,利用EN—系统的性质检测并排除UM L状态图中的不可达状态和事件的冲突和冲撞;再应用与合理的UM L状态图对应的EN—系统生成可达状态图,利用可达状态图生成测试用例。该方法一方面可以很好地实现并行子状态的嵌套问题,避免了将并行的UM L子状态展平成EFSM时引起的状态爆炸问题;另一方面,由于测试用例的覆盖标准是基于可达状态图的基路径、事件和可达状态覆盖,所以还很好地解决了对系统的不同测试要求和状态的可达性问题。
关键词
UML状态图
基本Petri网
测试用例
测试覆盖标准
可达状态图
Keywords
UML state diagrams
elementary net system test case
testing coverage criteria reachable states graph
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
基于状态转移图的箭载软件时序控制测试用例生成方法
被引量:
3
4
作者
汪冬瑾
张舒
机构
宇航智能控制技术国家级重点实验室
北京航天自动控制研究所
出处
《计算机测量与控制》
2020年第8期32-35,共4页
文摘
为提升箭载嵌入式软件测试的效率和质量,针对箭载软件时序控制这一测试需求,文章提出了一种基于状态转移图的测试用例自动生成算法设计方法;具体分析步骤为首先分析时序控制特性,其次选取状态转移图来表征,自定义所需图元属性以及图元关系、触发条件全面性与一致性的约束条件从而保证模型合理性;再次采用基路径覆盖、转移对覆盖、条件元覆盖3种覆盖准则相结合方式实现测试用例的自动生成;最后以某箭上软件全飞行周期时序控制为基础,多次结果表明该方法生成的软件测试用例可完全覆盖时序控制功能和性能需求,验证了方法的有效性和稳定性,可为箭载软件自动化测试工程化实践提供一定的借鉴。
关键词
状态转移图
时序控制
测试用例
覆盖准则
Keywords
state transition diagram
timing control
test case
coverage
criteria
分类号
TP934 [自动化与计算机技术]
下载PDF
职称材料
题名
基于有限状态机的Web服务测试用例生成方法
被引量:
1
5
作者
黎升洪
王任
机构
江西财经大学信息管理学院
出处
《计算机时代》
2009年第11期34-37,共4页
文摘
提出了一种基于有限状态模型(FSM)的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。
关键词
WEB服务
有限状态机
正则表达式
覆盖准则
测试用例
Keywords
Web services
finite state machine
regular expression
coverage
criteria
testing
case
分类号
TP393 [自动化与计算机技术—计算机应用技术]
TN915.04 [电子电信—通信与信息系统]
下载PDF
职称材料
题名
基于状态迁移的Web应用功能测试用例生成方法
被引量:
6
6
作者
张绍康
王曙燕
孙家泽
机构
西安邮电大学计算机学院
出处
《计算机应用》
CSCD
北大核心
2014年第6期1779-1782,1787,共5页
基金
国家自然科学基金资助项目(61050003)
陕西省教育厅自然科学基金资助项目(12JK0732)
西安邮电大学青年基金资助项目(ZL2013-26)
文摘
针对Web应用测试方法错误覆盖率低的问题,提出了一种基于状态迁移的Web应用功能测试用例生成方法。该方法通过构造页面状态迁移图、事件迁移表和导航迁移表对Web应用的链接关系进行表示。基于页面状态迁移图生成的页面状态迁移树生成测试路径,根据等价类划分原则,提出了一种测试用例覆盖准则,结合事件迁移表和导航迁移表中的信息记录构造测试用例。典型案例实验结果表明,该方法有效地表示了Web应用中页面间的链接关系,提高了测试用例的错误检测率。
关键词
状态迁移
WEB应用
覆盖准则
测试路径
测试用例
Keywords
state transition
Web application
coverage
criteria
test path
test case
分类号
TP311.5 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
面向对象软件和EFSM规范测试覆盖准则比较
被引量:
1
7
作者
王晓峰
赵瑞莲
机构
北京化工大学计算机科学系
出处
《清华大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2011年第S1期1445-1450,共6页
基金
国家自然科学基金资助项目(61073035
60903002)
文摘
测试覆盖准则是软件测试的一个重要组成部分。目前已有的覆盖准则研究大多从程序代码或者规范出发,很少将两者结合起来考虑。另外,面向对象软件和扩展有限状态机(EFSM)规范应用越来越广泛。该文从面向对象程序代码和EFSM规范两方面出发,对现有测试覆盖准则进行了分析比较,给出了2个新的测试覆盖准则,对现有测试覆盖准则进行了扩充,并对基于面向对象程序和EFSM规范的测试覆盖准则进行了公理化评估。通过实验进一步分析了基于规范的和面向对象程序的测试覆盖准则之间的一些对应关系,为测试人员在测试准则的选取上提供了一定的指导。
关键词
面向对象程序
EFSM规范
测试覆盖准则
Keywords
object-oriented program
extended finite state machine(EFSM) specification
testing
coverage
criteria
分类号
N55 [自然科学总论]
原文传递
题名
作者
出处
发文年
被引量
操作
1
基于覆盖准则的多轮测试用例优先排序方法
何展翔
舒挺
《软件工程》
2024
0
下载PDF
职称材料
2
面向对象程序的异常分析与测试方法述评
毛澄映
卢炎生
闫伟
江胜
《计算机应用研究》
CSCD
北大核心
2007
2
下载PDF
职称材料
3
基于UML状态图和基本Petri网生成测试用例
崔尚森
孙琳
《交通与计算机》
2006
4
下载PDF
职称材料
4
基于状态转移图的箭载软件时序控制测试用例生成方法
汪冬瑾
张舒
《计算机测量与控制》
2020
3
下载PDF
职称材料
5
基于有限状态机的Web服务测试用例生成方法
黎升洪
王任
《计算机时代》
2009
1
下载PDF
职称材料
6
基于状态迁移的Web应用功能测试用例生成方法
张绍康
王曙燕
孙家泽
《计算机应用》
CSCD
北大核心
2014
6
下载PDF
职称材料
7
面向对象软件和EFSM规范测试覆盖准则比较
王晓峰
赵瑞莲
《清华大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2011
1
原文传递
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部