期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于时间自动机的测试用例自动生成及执行方法
被引量:
1
1
作者
冯东伟
陈伟
赵琛
《计算机工程与设计》
CSCD
北大核心
2008年第3期521-525,702,共6页
为了实现对时间自动机模型的测试,采用符号状态拆分算法对时间自动机的状态空间进行等价划分,以得到最简稳定符号状态转移图,并将其中的抽象时间延迟转移替换为时间延迟变量;针对系统中每个时间自动机建立各自的符号状态转移图,再采用...
为了实现对时间自动机模型的测试,采用符号状态拆分算法对时间自动机的状态空间进行等价划分,以得到最简稳定符号状态转移图,并将其中的抽象时间延迟转移替换为时间延迟变量;针对系统中每个时间自动机建立各自的符号状态转移图,再采用基于符号迁移系统的测试方法分别生成相应的转移动作序列;最后通过对这些序列进行组合产生系统的测试用例,为了执行测试用例,利用TTCN-3的多PTC并发执行能力来实施测试。
展开更多
关键词
时间自动机
符号状态拆分算法
测试
用例生成
用例自动执行
测试与测控标记
下载PDF
职称材料
题名
基于时间自动机的测试用例自动生成及执行方法
被引量:
1
1
作者
冯东伟
陈伟
赵琛
机构
中国科学院软件研究所件互联网软技术实验室
出处
《计算机工程与设计》
CSCD
北大核心
2008年第3期521-525,702,共6页
基金
国家863高技术研究发展计划基金项目(2004AA1Z2100)
文摘
为了实现对时间自动机模型的测试,采用符号状态拆分算法对时间自动机的状态空间进行等价划分,以得到最简稳定符号状态转移图,并将其中的抽象时间延迟转移替换为时间延迟变量;针对系统中每个时间自动机建立各自的符号状态转移图,再采用基于符号迁移系统的测试方法分别生成相应的转移动作序列;最后通过对这些序列进行组合产生系统的测试用例,为了执行测试用例,利用TTCN-3的多PTC并发执行能力来实施测试。
关键词
时间自动机
符号状态拆分算法
测试
用例生成
用例自动执行
测试与测控标记
Keywords
timed automata
symbol state splitting method
Testcase generation
Testcase execution
TTCN-3
分类号
TP301 [自动化与计算机技术—计算机系统结构]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于时间自动机的测试用例自动生成及执行方法
冯东伟
陈伟
赵琛
《计算机工程与设计》
CSCD
北大核心
2008
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部