A Formal Architecture-Based Approach to Software IntegrationTesting

9710078一个正式的软件体系结构规范使分析，设计和构造一个复杂的系统，通过在一个高层次的抽象系统的特点，智能上易于处理。该项目的重点是通过应用于体系结构级别的测试技术来揭示系统组件的动态交互和通信行为中的缺陷。虽然测试在历史上集中在实现作为查询的目标，而本研究认为，作为目标的系统的体系结构规范。本文的研究成果对软件体系结构和软件测试技术有五大贡献。首先，定义了一组基于架构的集成测试标准，以提供测试系统的架构方面的要求;还开发了将这些标准应用于架构风格和特定于域的架构的方法。其次，开发了通过架构一致性预言机测试实现与指定架构的一致性的方法。 第三，架构级切片技术被定义为本地化架构缺陷和最小化回归测试。第四，方法开发使用功能测试，发现一个系统的架构，从它的实现。 此外，各种方法，以正式的体系结构规范的测试技术的适用性进行评估。 ***

9710078 A formal software architecture specification makes the analysis, design, and construction of a complex system intellectually tractable by characterizing the system at a high level of abstraction. This project focuses on revealing defects in the dynamic interaction and communication behavior of system components through testing techniques applied at the architectural level. While testing has historically concentrated on the implementation as the target of inquiry, this research instead considers the architectural specification of the system as the target. There are five major contributions to software architecture and software testing technology arising from this research. First, a set of architecture-based integration test criteria are defined to provide requirements for testing architectural aspects of a system; methods are also developed for applying these criteria to architectural styles and domain-specific architectures. Second, methods are developed for testing an implementation in terms of its conformance to a specified architecture via architecture conformance oracles. Third, architecture-level slicing techniques are defined for localizing architectural defects and minimizing regression testing. Fourth, methods are developed for using feature tests to discover the architecture of a system from its implementation. In addition, various approaches to formal architecture specification are evaluated with respect to their suitability to testing technologies. ***