论文部分内容阅读
测试的 Reachability 是严峻的并发的程序的一条途径，没有构造静态的模型，它能系统地行使每部分订的 SYN 顺序。事实上，不是都要测试的 SYN 顺序需要。这篇论文建议了 SYN 顺序选择策略因为没有减少，活动范围能力测试，它能减少 SYN 顺序的数字产生了检测程序的错误的有效性。我们描述了一个简单算法实现策略，；然后讨论了几优化到算法。实验在案例研究被执行了验证策略的功效。