A Formal Architecture-Based Approach to Software IntegrationTesting

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

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

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

9710078正式的软件体系结构规范通过在高抽象级别对系统进行描述，使复杂系统的分析、设计和构建变得易于智能地处理。该项目致力于通过应用于体系结构级别的测试技术来揭示系统组件的动态交互和通信行为中的缺陷。虽然测试历史上一直集中在作为调查目标的实现上，但本研究转而将系统的体系结构规范作为目标。本研究对软件体系结构和软件测试技术有五个主要贡献。首先，定义了一组基于体系结构的集成测试标准，以提供测试系统的体系结构方面的需求；还开发了将这些标准应用于体系结构样式和特定于领域的体系结构的方法。其次，开发了通过体系结构一致性预言测试实现与指定体系结构的一致性的方法。第三，定义了架构级切片技术来定位架构缺陷并最小化回归测试。第四，开发了使用功能测试从实现中发现系统架构的方法。此外，还评估了形式化体系结构规范的各种方法对测试技术的适用性。***