Minha公司 swMATH编号： 44341 软件作者： 努诺·马查多；梅亚，弗朗西斯科；弗朗西斯科·奈维斯；科埃略，法比奥；何塞·佩雷拉 描述： 米哈：大规模分布式系统测试变得切实可行。测试大规模分布式系统软件仍然很不实用，因为所需的规模太大，而且固有的不确定性使得部署和使用实际的大型环境非常昂贵，即使使用云计算和最先进的自动化技术也是如此。此外，在不干扰被测系统的情况下观察全局状态本身就很困难。这尤其令人不安，因为分布式算法及其实现之间的差距很容易引入细微的错误，而这些错误只有通过适当的大规模测试才能发现。我们使用Minha解决了这一挑战，Minha是一个框架，它在单个JVM中虚拟化多个JVM实例，从而模拟分布式环境，其中每个主机在单独的机器上运行，访问专用网络和CPU资源。其关键贡献在于能够运行离线并发和分布式JVM字节码程序，同时扩展到数千个虚拟节点；并在标准软件测试框架内实现全球观察。我们在两个分布式系统上的实验表明，Minha在揭示错误、评估全局属性以及使用相同的硬件资源缩放数量级测试方面非常有用。 主页： https://jopereira.github.io/minha/ 源代码： https://github.com/jopereira/minha 依赖项： Java语言 关键词： 分布式软件测试;大规模分布式系统;模拟 相关软件： D匹配;dBug（分贝）;SAMC公司;MODIST公司;Coq公司;常春藤;铁人舰队;常春藤;z3（零3）;github;快速通道;ASM公司;PeerSim公司;TLA公司;D3S公司;张开;BuzzPSS系统;数据瓶;内科;升高 引用于： 2文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 米哈：大规模分布式系统测试变得切实可行。 Zbl 07650861号努诺·马查多;梅亚，弗朗西斯科;弗朗西斯科·奈维斯;法比奥·科埃略;何塞·佩雷拉 2020 全部的 前5名6位作者引用 2 努诺·马查多 1 法比奥·科埃略 1 梅亚，弗朗西斯科 1 弗朗西斯科·奈维斯 1 乔·卡洛斯·佩雷拉 1 豪尔赫·索萨·品托 0连载引用 在1个字段中引用 2 计算机科学（68至XX） 按年份列出的引文