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.