基于形式活动图的协议一致性测试用例生成方法研究

作     者：齐建业 李强 余祥 QI Jian-ye;LI Qiang;YU Xiang

作者机构：电子工程学院安徽合肥230037 

基　　金：技术基础项目(7211019) 电子工程学院科研基金资助项目(KY11026) 

出 版 物：《安徽大学学报（自然科学版）》 (Journal of Anhui University(Natural Science Edition))

年 卷 期：2013年第37卷第3期

页      码：75-80页

摘      要：在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.

主 题 词：协议 一致性测试 测试用例 形式活动图 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-2162.2013.03.014

馆 藏 号：203128837...