ITR: Experimental Validation of Large-Scale Networked Software Systems

大规模的网络软件系统很难设计，更难以验证。这类系统的验证变得越来越重要，因为它们越来越多地被要求执行关键功能。这种验证困难源于这些系统固有的复杂性，并且通常是由于它们通常被设计为适应进程、节点和网络级别的可变工作负载和操作条件。在动态适应期间的不正确操作可能导致不可预测的和潜在的危险后果。为了确保此类系统在关键环境中正确运行，必须执行验证以确认它们在存在故障/故障时能够可靠地运行，具有可预测的性能，并且在入侵发生时能够继续运行。多个行为维度的验证（例如，可靠性/可用性、性能和生存能力）也很重要。本研究将发展必要的理论、方法和工具，以实验验证大规模网络软件系统的可靠性/可用性、性能和生存能力。目的是为实验验证大规模网络软件系统开发一个全面的框架。作为一个整体，这项工作将提供一个健全的和基本的方法来验证网络软件和应用程序。

Large-scale networked software systems are hard to design, and even moredifficult to validate. Validation of such systems is increasinglyimportant, since they are more and more being called on to perform criticalfunctions. This validation difficulty stems from the inherent complexity ofthese systems, and often is due to the fact that they are often designed toadapt to variable workloads and operating conditions at the process, node,and network levels. Incorrect operation during periods of dynamicadaptation can lead to unpredictable and potentially hazardousconsequences. In order to ensure that such systems operate correctly incritical environments, one must perform validations to confirm that theywill function reliably in the presence of faults/failures, have predictableperformance, and will continue to operate when intrusions occur. Validationof multiple behavior dimensions (e.g., reliability/availability,performance, and survivability) is also critical. This research willdevelop the theory, methodology, and tools necessary to experimentallyvalidate the reliability/availability, performance, and survivability oflarge-scale networked software systems. The intention is to develop acomprehensive framework for experimentally validating large-scale networkedsoftware systems. Taken as a whole, this work will provide a sound andfundamental approach to validation of networked software and applications.