首页> 外文会议>Fault Tolerant Computing, 1996., Proceedings of Annual Symposium on >Testing of fault-tolerant and real-time distributed systems via protocol fault injection
【24h】

Testing of fault-tolerant and real-time distributed systems via protocol fault injection

机译:通过协议故障注入测试容错和实时分布式系统

获取原文

摘要

As software for distributed systems becomes more complex, ensuring that a system meets its prescribed specification is a growing challenge that confronts software developers. This is particularly important for distributed applications with strict dependability and timeliness constraints. This paper reports on ORCHESTRA, a portable fault injection environment for testing implementations of distributed protocols. This tool is based on a simple yet powerful framework called script-driven probing and fault injection, for the evaluation and validation of the fault-tolerance and timing characteristics of distributed protocols. The tool, which was initially developed on the Real-Time Mach operating system and later ported to other platforms including Solaris and SunOS, has been used to conduct extensive experiments on several protocol implementations. This paper describes the design and implementation of the fault injection tool focusing on architectural features to support portability, minimizing intrusiveness on target protocols, and explicit support for testing real-time systems. The paper also describes the experimental evaluation of two protocol implementations: a real-time audio-conferencing application on Real-Time Mach, and a distributed group membership service on the Sun Solaris operating system.
机译:由于用于分布式系统的软件变得更加复杂,确保系统符合其规定的规范,这是一个越来越多的挑战,即面对软件开发人员。这对于具有严格可靠性和及时性约束的分布式应用尤其重要。本文报道了管弦乐队,一种用于测试分布式协议的实现的便携式故障注入环境。该工具基于一个简单而强大的框架,称为脚本驱动的探测和故障注入,用于评估和验证分布式协议的容错和定时特性。最初在实时Mach操作系统上开发的工具及以后移植到包括Solaris和SunoS的其他平台,用于对几种协议实现进行广泛的实验。本文介绍了专注于架构功能的故障注入工具的设计和实现,以支持可移植性,最大限度地减少目标协议上的侵入性,并明确支持测试实时系统。本文还介绍了两种协议实现的实验评估:实时Mach上的实时音频会议应用,以及Sun Solaris操作系统上的分布式组成员服务。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号