dBug（分贝） swMATH编号： 44352 软件作者： Simsa、Jiri；兰迪·布莱恩特；加思·吉布森A 描述： dBug：分布式系统的系统评估。本文介绍了“dBug”的设计、实现和评估，该工具利用手动工具对分布式和并发系统进行系统评估。具体来说，对于给定的分布式并发系统、其初始状态和工作负载，dBug工具系统地研究了工作负载触发的并发事件可能发生的顺序。此外，dBug可选地使用部分降阶机制来避免探索等效阶。通过提供正确性检查，dBug工具能够验证给定并发工作负载的所有可能序列化是否正确执行。遇到错误时，该工具会生成一个跟踪，可以重放该跟踪以调查错误。我们将dBug工具应用于两个分布式系统——用C实现的并行虚拟文件系统（PVFS）和用C++实现的基于FAWN的键值存储（FAWN-KV）。特别是，我们将这两个系统与dBug集成，以暴露由于并发导致的不确定性。该机制用于验证从固定初始状态并发执行多个基本操作的结果符合PVFS和FAWN-KV的高级规范。实验证据表明，dBug工具能够在模块化、实用化、，和有效的方式 主页： https://www.cs.cmu.edu/~ jsimsa/dbug/ssv2010.pdf 相关软件： D匹配;SAMC公司;Minha公司;MODIST公司;Coq公司;常春藤;铁人舰队;常春藤;z3（零3）;github;快速通道;ASM公司;对等SIM;TLA公司;D3S公司;张开;BuzzPSS系统;数据瓶;内科;升高 引用于： 2文件 全部的 前5名6位作者引用 2 努诺·马查多 1 法比奥·科埃略 1 梅亚，弗朗西斯科 1 弗朗西斯科·奈维斯 1 乔·卡洛斯·佩雷拉 1 豪尔赫·索萨·品托 0连载引用 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文