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.