论文部分内容阅读
协议测试领域专家们已经达成共识:新一代的协议测试系统应该是分布式架构的.本文用广义随机Petri网(GSPN)对目前提出的几种协议分布式测试框架构造了性能模型,进行了性能比较和分析.为了解决状态空间爆炸的问题,提出了一种同步变迁实施速率等价法(STER),这种方法能够对具有同步变迁的随机Petri网模型分解求解.