×

米哈

swMATH ID: 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文件

0连载引用

在1个字段中引用

2 计算机科学(68至XX)

按年份列出的引文