用于知情群态空间探索的 HIVE 工具

Anton Wijs

doi:10.4204/EPTCS.72.10

用于知情群态空间探索的 HIVE 工具

软件工程 2011-11-10 v1 分布式、并行与集群计算计算机科学中的逻辑

作者: Anton Wijs

在 arXiv 上查看 ↗ PDF ↗ DOI ↗

摘要

群验证和并行随机深度优先搜索是 hunt 大型状态空间中 bug 非常有效的并行技术。然而，若不存在 bug，则并行化的可扩展性将完全丧失。在最近的研究中，我们提出了一种机制，用于告知工作进程应探索状态空间的哪些部分。该机制兼容任何基于动作的形式化方法，其中状态空间可由标记转换系统表示。通过此扩展，每个工作进程可被严格限制为每次仅探索状态空间的一小部分。本文介绍了 HIVE 工具，以及添加到 LTSmin 工具套件中的两种搜索算法，它们既执行预处理步骤，又执行有界工作进程搜索。新工具用于协调知情群探索，而这两种新的 LTSmin 算法则用于对模型进行预处理并执行单独搜索。

关键词

群验证并行随机深度优先搜索 HIVE 工具 LTSmin 知情群探索标记转换系统有界工作进程搜索

引用

@article{arxiv.1111.0375,
  title  = {The HIVE Tool for Informed Swarm State Space Exploration},
  author = {Anton Wijs},
  journal= {arXiv preprint arXiv:1111.0375},
  year   = {2011}
}

备注

In Proceedings PDMC 2011, arXiv:1111.0064

用于知情群态空间探索的 HIVE 工具

摘要

关键词

引用

备注

相关论文