D3S公司 swMATH编号： 44357 软件作者： 刘学政；郭振宇；王熙；陈飞波；廉晓晨；唐健；吴明；Kaashoek，M.Frans；张，郑 描述： D3S：调试部署的分布式系统。测试大规模分布式系统是一项挑战，因为一些错误只有在涉及机器和网络故障的分布式事件序列之后才会显现出来。D3S是一个检查器，允许开发人员在已部署系统的分布式属性上指定谓词，并在系统运行时检查这些谓词。当D3S发现问题时，它会产生导致问题的状态变化序列，使开发人员能够快速找到问题的根本原因。开发人员以简单有序的编程风格编写谓词，而D3S则以分布式并行方式检查这些谓词，以允许检查可扩展到大型系统和容错。通过使用二进制指令插入，D3S可以透明地与遗留系统一起工作，并且可以更改要在运行时检查的谓词。对5个部署系统的评估表明，D3S可以在运行时检测非平凡的正确性和性能错误，并且性能开销低（小于8 主页： https://www.usenix.org/legacy/event/nsdi08/tech/full_papers/lu_xuezheng/liu_xue zheng.pdf 相关软件： ASM公司;PeerSim公司;Coq公司;TLA公司;MODIST公司;D匹配;张开;BuzzPSS系统;数据瓶;dBug（分贝）;内科;升高;SAMC公司;压铸;Elas测试;乌姆西姆;Minha公司;糕点;Hadoop公司;行星实验室 引用于： 1文件 4位作者引用 1 法比奥·科埃略 1 努诺·马查多 1 梅亚，弗朗西斯科 1 弗朗西斯科·奈维斯 0连载引用 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文