Cloud-Based Verification of Concurrent Software
Cloud-Based Verification of Concurrent Software
复制标题
基于云的并发软件验证
DOI：
--
复制
发表时间：
2016
期刊：
影响因子：
--
通讯作者：
G. Holzmann
中科院分区：
文献类型：
--
作者：
G. Holzmann
逻辑模型检查器在发现多线程软件系统中的细微错误方面是无与伦比的。基础验证过程基于对潜在故障系统行为的系统搜索，对于较大的问题规模，这可能会导致计算代价高昂。在本文中，我们考虑是否有可能使用云计算技术显著降低验证的运行时间要求。我们探索了大量CPU核心的使用，每个CPU核心执行小的、快速的、独立的和随机不同的搜索，以实现与在单个CPU上运行的慢得多的独立运行相同的问题覆盖率。我们提出的实证结果是为了证明什么是可以实现的。
Logic model checkers are unparalleled in their ability to reveal subtle bugs in multi-threaded software systems. The underlying verification procedure is based on a systematic search of potentially faulty system behaviors, which can be computationally expensive for larger problem sizes. In this paper we consider if it is possible to significantly reduce the runtime requirements of a verification with cloud computing techniques. We explore the use of large numbers of CPU-cores, that each perform small, fast, independent, and randomly different searches to achieve the same problem coverage as a much slower stand-alone run on a single CPU. We present empirical results to demonstrate what is achievable.