可配置飞行软件系统中可变性约束的需求分析
Requirements Analysis of Variability Constraints in a Configurable Flight Software System
AI总结：
本文针对飞行软件框架中可变性需求约束分散的问题，提出了一种新的轻量级软件可变性模型及结构化开发技术，实验证明其能有效发现缺失和不一致的约束，并集中规范以改进分析。
摘要：
可变性约束是可配置系统需求的一个组成部分。需求中规定的关于合法选项组合的约束定义了待建系统的潜在有效配置空间。本文报告了我们在一个被多个空间任务使用的飞行软件框架的可变性相关需求约束方面的经验。我们看到使用当前框架（现已开源）的从业者面临的一个挑战是，其可变性相关需求和约束的规范分散在多个文档中，而不是集中在软件需求规范中。这种分散会导致对设计选择的副作用产生误解，增加开发人员的工作量，并在运行期间引发错误。基于我们的经验，我们在飞行软件框架中提出了一种新的软件可变性模型，类似于产品线特征模型。我们描述了开发该模型的结构化技术，展示了其用法，并在飞行软件的一个关键服务模块上对其进行了评估。结果表明，我们的轻量级建模技术有助于发现缺失和不一致的可变性相关需求和约束。更广泛地说，我们建议这样的可变性建模技术可以成为开发人员集中规范并改进其他可配置系统中分散的可变性相关需求和约束分析的有效方法。
英文摘要：
Variability constraints are an integral part of the requirements for a configurable system. The constraints specified in the requirements on the legal combinations of options define the space of potential valid configurations for the system-to-be. This paper reports on our experience with the variability-related requirements constraints of a flight software framework used by multiple space missions. A challenge that we saw for practitioners using the current framework, now open-sourced, is that the specifications of its variability-related requirements and constraints are dispersed across several documents, rather than being centralized in the software requirements specification. Such dispersion can contribute to misunderstandings of the side-effects of design choices, increased effort for developers, and bugs during operations. Based on our experience, we propose a new software variability model, similar to a product-line feature model, in the flight software framework. We describe the structured technique by which our model is developed, demonstrate its use, and evaluate it on a key service module of the flight software. Results show that our lightweight modeling technique helped find missing and inconsistent variability-related requirements and constraints. More generally, we suggest that a variability modeling technique such as this can be an efficient way for developers to centralize the specification and improve the analysis of dispersed variability-related requirements and constraints in other configurable systems.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
