安徽大学学报（自然科学版）2013，Vol.37Issue(3)：75-80,6.DOI:10.3969/j.issn.1000-2162.2013.03.014
基于形式活动图的协议一致性测试用例生成方法研究
Research on test case generation using formal activity diagram of protocol conformance testing
摘要
关键词
协议/一致性测试/测试用例/形式活动图分类
信息技术与安全科学引用本文复制引用
齐建业,李强,余祥..基于形式活动图的协议一致性测试用例生成方法研究[J].安徽大学学报（自然科学版）,2013,37(3):75-80,6.基金项目
技术基础项目(7211019) （7211019）
电子工程学院科研基金资助项目(KY11026) （KY11026）
