会议论文《基于Petri网进程的协议测试例生成方法及其实例》提出了一种利用Petri网模型生成协议测试用例的方法。该方法通过分析Petri网的进程特性，构建符合协议行为的测试序列，提高了测试用例的有效性和覆盖率。文章结合实例验证了该方法的可行性与实用性，为协议一致性测试提供了理论支持和技术手段。
文档为pdf格式，0.5MB，总共4页。
举报
