协议一致性测试用例生成模型研究

协议一致性测试用例生成模型研究

齐建业;李强;余祥

【期刊名称】《计算机工程与设计》 【年(卷),期】2014(035)003

【摘要】为设计并生成有效的测试用例,通过测试用例的自动生成,提高了设计和执行测试用例的效率.建立了协议一致性测试用例生成模型,由形式活动图、扩展有限状态机和相关的转换算法组成.在定义形式活动图和扩展有限状态机概念的基础上,设计了从形式活动图生成扩展有限状态机的算法和从扩展有限状态机自动生成测试用例的算法.对算法进行了分析与比较,分析结果表明,该算法在测试序列的长度、错误覆盖度等方面具有一定的优越性. 【总页数】6页(1110-1114,封3)

【关键词】协议测试;一致性测试;测试用例;形式活动图;扩展有限状态机 【作者】齐建业;李强;余祥

【作者单位】电子工程学院,安徽合肥230037;电子工程学院,安徽合肥230037;电子工程学院,安徽合肥230037 【正文语种】中文 【中图分类】TP311 【相关文献】

1.基于形式活动图的协议一致性测试用例生成方法研究 [J], 齐建业; 李强; 余祥 2.一致性测试中的时间约束及测试用例生成算法 [J], 赵保华; 柯尧

3.基于一致性测试理论的Statechart描述的测试用例自动生成 [J], 苗春雨; 陈丽娜; 赵建民

4.OSEK操作系统一致性测试用例的生成 [J], 李锐; 王三宏; 范德全; 蒋建春 5.面向IEC 61850服务器一致性闭环测试系统的设计和实现（一）测试平台和Ed 1.0测试用例 [J], 郑永康; 魏博渊; 舒鹏; 李鹏; 方芳; 吴栋萁

以上内容为文献基本信息，获取文献全文请下载