| 基于形式活动图的协议一致性测试用例生成方法研究 |
| |
| 引用本文： | 齐建业,李强,余祥.基于形式活动图的协议一致性测试用例生成方法研究[J].安徽大学学报(自然科学版),2013(3). |
| |
| 作者姓名： | 齐建业 李强 余祥 |
| |
| 作者单位： | 电子工程学院; |
| |
| 基金项目： | 技术基础项目(7211019);电子工程学院科研基金资助项目(KY11026) |
| |
| 摘 要： | 在对协议的一致性进行测试的过程中,首先要设计并生成有效的测试用例,通过测试用例的自动生成可以大大提高设计和生成测试用例的效率.文章描述了一种形式活动图和扩展有限状态机,介绍了从形式活动图生成扩展有限状态机的算法以及从扩展有限状态机自动生成测试用例的算法.最后对算法进行了相关分析并给予一个实例进行说明.
|
| 关 键 词： | 协议 一致性测试 测试用例 形式活动图 |
Research on test case generation using formal activity diagram of protocol conformance testing |
| |
| Abstract: | In the beginning of protocol conformance testing an efficient test case was to be designed and generated,and automated test case generation could multiply efficiency greatly.First,a formal activity diagram and extended finite state machine were introduced,and then the algorithms of transformation from formal activity diagram to extended finite state machine and test cases generated automatically from extended finite state machine were represented in detail.Last the algorithms were analyzed and an instance was presented. |
| |
| Keywords: | protocol conformance testing test case formal activity diagram |
| 本文献已被 CNKI 等数据库收录！ |
