INAP协议一致性测试生成的形式化方法

• 作者: 兰海涛 马玉祥
• 来源期刊: 微电子学与计算机
• 关键词: INAP UIO序列 一致性测试 形式化方法
• 年，卷（期）: 2003,（1）
• 所属期刊栏目: 网络与通讯
• 页码范围: 57-58,66
• 页数: 3页
• 分类号: TP393
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2003.01.017

摘要

文章应用形式化方法对INAP协议进行测试.基于INAP协议描述的I/O FSM模型,应用UIO方法生成一致性测试序列,然后应用中国乡村邮递员算法对测试序列进行优化.生成的测试序列可以覆盖状态机的每个变迁,且生成的测试序列较短.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	马玉祥		43	454	12.0	20.0
2	兰海涛		1	6	1.0	1.0