针对不断发展的软件产品线的保证案例开发：一种正式的方法

《Formal Aspects of Computing》：Assurance Case Development for Evolving Software Product Lines: A Formal Approach

该研究提出了一种形式化方法用于软件产品线（SPL）的结构化保证案例（ACs）开发，通过设计变异感知的AC语言和模板化开发流程，结合模型验证工具实现整个SPL的AC同步开发与回归分析，并以医疗设备产品线为例验证了方法的有效性。

　　

摘要AI 摘要

要查看此由 AI 生成的摘要，您必须具有高级访问权限。

了解更多登录

摘要

摘要

在关键软件工程中，结构化保证案例（ACs）用于展示关键系统属性是如何通过证据（例如测试结果、证明）得到支持的。在软件产品线（SPLs）的背景下创建严谨的 ACs 尤具挑战性，因为软件产品线包含具有重叠但不同特性和行为的软件产品。由于软件产品线可能包含大量产品，为每个产品单独开发严谨的 ACs 是不可行的。此外，如果软件产品线发生变化（例如通过修改或引入新特性），评估这种变化的影响也可能变得不可行。因此，应该提升ACs 的开发和维护方式，以便能够为整个软件产品线同时开发一个统一的 AC，并以考虑变异性的方式进行分析。在本文中，我们描述了一种用于提升 AC 开发和回归分析的形式化方法。我们为软件产品线定义了一种考虑变异性的 AC 语言，并研究了基于模板的 AC 开发的提升机制。我们还定义了一种回归分析方法，用于确定软件产品线变化对考虑变异性的 ACs 的影响。我们描述了一个基于模型的保证管理工具，该工具实现了这些技术，并通过为一系列医疗设备开发 AC 来说明我们的贡献。

AI 摘要

AI 生成的摘要（实验性）

此摘要是使用自动化工具生成的，并非由文章作者撰写或审核。它旨在帮助发现、评估相关性，并帮助来自相关研究领域的读者理解本文内容。它旨在补充作者提供的摘要，后者仍然是论文的主要摘要。完整文章才是权威版本。点击此处了解更多。

点击此处对摘要的准确性、清晰度和实用性进行评论。您的反馈将有助于改进未来的摘要版本。

要查看此由 AI 生成的通俗语言摘要，您必须具有高级访问权限。