A Formal Architecture-Based Approach to software Integration Testing

基于正式架构的软件集成测试方法

• 批准号: 9710160
• 负责人: Debra Richardson
• 金额: $ 10万
• 依托单位: University of California-Irvine
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1997
• 资助国家: 美国
• 起止时间: 1997-08-15 至 1999-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9710160&HistoricalAwards=false
• 关键词: Formal; Architecture; Based; Approach; software

9710160 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. ***

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