|
|||||
|
|
| 基于形式活动图的协议一致性测试用例生成方法研究 | |
| 引用本文： | 齐建业,李强,余祥.基于形式活动图的协议一致性测试用例生成方法研究[J].安徽大学学报(自然科学版),2013(3):75-80. |
| 作者姓名： | 齐建业 李强 余祥 |
| 作者单位： | 电子工程学院 |
| 基金项目： | 技术基础项目(7211019);电子工程学院科研基金资助项目(KY11026) |
| 摘 要： | 在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明. |
| 关 键 词： | 协议 一致性测试 测试用例 形式活动图 |
| 本文献已被 CNKI 等数据库收录！ | |