2024年8月25日
星期日
|
欢迎来到南京江宁区图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
您的位置:
专家智库
>
>
浙江省科技计划项目(2005C21027)
作品数:
1
被引量:13
H指数:1
相关作者:
孟兆航
魏仰苏
舒挺
更多>>
相关机构:
浙江水利水电学院
浙江理工大学
更多>>
发文基金:
浙江省自然科学基金
浙江省科技计划项目
更多>>
相关领域:
自动化与计算机技术
更多>>
相关作品
相关人物
相关机构
相关资助
相关领域
题名
作者
机构
关键词
文摘
任意字段
作者
题名
机构
关键词
文摘
任意字段
在结果中检索
文献类型
1篇
中文期刊文章
领域
1篇
自动化与计算...
主题
1篇
有限状态机
1篇
通信
1篇
通信协议
1篇
状态机
1篇
自动生成
1篇
可达性
1篇
可达性分析
机构
1篇
浙江理工大学
1篇
浙江水利水电...
作者
1篇
舒挺
1篇
魏仰苏
1篇
孟兆航
传媒
1篇
计算机工程与...
年份
1篇
2007
共
1
条 记 录,以下是 1-1
全选
清除
导出
排序方式:
相关度排序
被引量排序
时效排序
通信协议一致性测试序列自动生成算法研究
被引量:13
2007年
在通信协议的一致性测试领域中,自动生成满足测试需要的一致性测试序列一直是该领域研究的一个重要问题。在对两种基于UIO序列的通信协议的一致性测试序列的自动生成算法进行了研究和比较后,分析了这两种算法各自的测试序列的生成过程及优缺点。实验结果表明,将这两种测试序列的生成算法相结合,能够对通信协议的控制流部分进行充分的测试,使生成的测试序列具有比较高的错误覆盖率,从而提高了一致性测试的效率。
魏仰苏
孟兆航
舒挺
关键词:
可达性分析
有限状态机
全选
清除
导出
共1页
<
1
>
聚类工具
0
执行
隐藏
清空
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张