Feature-Oriented Software Engineering

面向特征的软件工程

• 批准号: RGPIN-2020-04219
• 负责人: Atlee, Joanne
• 金额: $ 2.99万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2022
• 资助国家: 加拿大
• 起止时间: 2022-01-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=750177
• 关键词: Feature; Oriented; Software; Engineering

A software system is often thought of in terms of its constituent features, where each feature is an optional or incremental unit of functionality (e.g., undo, word count, and track changes are features in word processing software). Software developers use features as a criterion for decomposing their work into tasks that can be performed incrementally, in parallel, or by third-party vendors. Feature-oriented software engineering enables incremental development and rapid evolution of software systems. The downside is that integrating seemingly orthogonal features can result in feature interactions where one feature unexpectedly affects the behaviour of another (e.g., conflicting actions, emergent behaviours, violated assumptions). Interactions are common problems in feature-rich software products. As a notable example: in both of the Boeing 737 MAX aircraft crashes, a faulty input sensor led to multiple feature interactions in which the infamous MCAS feature overpowered other features related to the aircraft's pitch (including pilot-controlled features) and forced the aircraft into a nose dive. To be safe, software engineers need to manage how features behave when integrated together. This proposal investigates two avenues of research that address different aspects of the Feature Interaction Problem. The first focuses on establishing a precise system-wide analysis to detect feature interactions in large feature-rich software systems. Novel advancements will be analyses that (1) examine actual software rather than models or test results (2) are comprehensive in the types of interactions they detect, (3) scale to large software products, and (4) are adequately precise. The second research avenue pursues a more holistic approach to manage feature interactions, by means of a software architecture that the features plug into. The architecture coordinates and constrains how features can execute and communicate, thereby avoiding or resolving certain classes of interactions. An architectural solution to managing interactions has the potential of ensuring safe integration of features, thereby reducing the number of residual interactions that the engineer must detect and resolve. The result will be technologies and HQP trained in feature-oriented designs and analyses that realize the improvements in developer productivity and product quality that feature-oriented software engineering has always promised.

一个软件系统通常是根据它的组成特性来考虑的，其中每个特性都是一个可选的或增量的功能单元（例如，撤销、单词计数和跟踪更改是文字处理软件中的特性）。软件开发人员使用特性作为将工作分解为任务的标准，这些任务可以增量地、并行地或由第三方供应商执行。面向特征的软件工程支持软件系统的增量开发和快速演进。缺点是，整合看似正交的特征可能导致特征交互，其中一个特征意外地影响另一个特征的行为（例如，冲突的行动，紧急行为，违反假设）。交互是功能丰富的软件产品中常见的问题。一个值得注意的例子是：在两起波音737 MAX飞机坠毁事件中，一个故障的输入传感器导致多个特征交互，其中臭名昭著的MCAS特征压倒了与飞机俯仰相关的其他特征（包括飞行员控制的特征），迫使飞机俯冲。为了安全起见，软件工程师需要管理集成在一起时功能的行为。本提案探讨了解决特征交互问题的两个不同方面的研究途径。第一个重点是建立一个精确的系统范围的分析，以检测大型功能丰富的软件系统中的功能交互。新的进步将是分析：(1)检查实际的软件而不是模型或测试结果；(2)在它们检测的交互类型中是全面的；(3)适用于大型软件产品；(4)足够精确。第二种研究途径追求一种更全面的方法来管理功能交互，通过功能插入的软件架构。体系结构协调并约束了功能如何执行和通信，从而避免或解决某些类的交互。管理交互的体系结构解决方案具有确保特性安全集成的潜力，从而减少工程师必须检测和解决的剩余交互的数量。其结果将是在面向功能的设计和分析中训练的技术和HQP，这些技术和HQP实现了面向功能的软件工程一直承诺的开发人员生产力和产品质量的改进。