论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 科教文艺期刊 \
- 大学学报期刊 \
- 福建广播电视大学学报期刊 \
基于模型的软件测试新工具——UPPAAL TRON
基于模型的软件测试新工具——UPPAAL TRON
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
首先由介绍基于模型测试方法产生的必要性及其优点,引出对于TRON工具的推荐.结合一个关于TRON应用的小实例,以更好地说明TRON的工作原理,并公布了实例的运行结果,务求让读者对TRON的验错能力有一个直观的印象.
推荐文章
基于UPPAAL软件的实时系统设计研究
UPPAAL
时间状态机
模拟
模型检查
校验
基于UML模型集成测试工具的建模与设计
需求驱动
UML模型
集成测试工具
UPPAAL--一种适合自动验证实时系统的工具
UPPAAL
时间自动机
实时系统
模型检测
协议验证
软件自动测试工具的研究
树形结构的软件
自动化测试
测试用例
软件可靠性
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 基于模型的软件测试新工具——UPPAAL TRON | ||
| 来源期刊 | 福建广播电视大学学报 | 学科 | 工学 |
| 关键词 | 软件测试 基于模型的自动测试 UPPAAL TRON 验错能力 | ||
| 年，卷（期） | 2010,（6） | 所属期刊栏目 | |
| 研究方向 | 页码范围 | 91-93 | |
| 页数 | 3页 | 分类号 | T31 |
| 字数 | 语种 | 中文 | |
| DOI | |||
五维指标
引文网络
引文网络
二级参考文献 (13)
共引文献 (57)
参考文献 (3)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
1978(1)
- 参考文献（0）
- 二级参考文献（1）
1987(1)
- 参考文献（0）
- 二级参考文献（1）
1991(1)
- 参考文献（0）
- 二级参考文献（1）
1992(1)
- 参考文献（0）
- 二级参考文献（1）
1994(1)
- 参考文献（0）
- 二级参考文献（1）
1995(1)
- 参考文献（0）
- 二级参考文献（1）
1997(2)
- 参考文献（0）
- 二级参考文献（2）
1998(1)
- 参考文献（0）
- 二级参考文献（1）
2000(4)
- 参考文献（0）
- 二级参考文献（4）
2004(1)
- 参考文献（1）
- 二级参考文献（0）
2009(2)
- 参考文献（2）
- 二级参考文献（0）
2010(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
软件测试
基于模型的自动测试
UPPAAL
TRON
验错能力
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
福建广播电视大学学报
主办单位：
福建广播电视大学
出版周期：
双月刊
ISSN：
1008-7346
CN：
35-1200/G4
开本：
大16开
出版地：
福州市铜盘路15号
邮发代号：
创刊时间：
1993
语种：
chi
出版文献量（篇）
2542
总下载数（次）
2
总被引数（次）
3821
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
福建广播电视大学学报2020
福建广播电视大学学报2019
福建广播电视大学学报2018
福建广播电视大学学报2017
福建广播电视大学学报2016
福建广播电视大学学报2015
福建广播电视大学学报2014
福建广播电视大学学报2013
福建广播电视大学学报2012
福建广播电视大学学报2011
福建广播电视大学学报2010
福建广播电视大学学报2009
福建广播电视大学学报2008
福建广播电视大学学报2007
福建广播电视大学学报2006
福建广播电视大学学报2005
福建广播电视大学学报2004
福建广播电视大学学报2003
福建广播电视大学学报2002
福建广播电视大学学报2001
福建广播电视大学学报2010年第6期
福建广播电视大学学报2010年第5期
福建广播电视大学学报2010年第4期
福建广播电视大学学报2010年第3期
福建广播电视大学学报2010年第2期
福建广播电视大学学报2010年第1期
