基于 PRISMA 的保障削弱因素系统映射研究
软件工程
2023-11-15 v1
摘要
背景：保障用例是一种结构化的主张层次，旨在证明给定关键任务系统支持特定需求（如安全性、安全性、隐私性）。保障用例中保障削弱因素（即保障缺陷、逻辑谬误）的存在反映了证据、知识或推理中的不足。这些削弱因素会削弱对保障论证的信心，可能阻碍关键任务系统能力的验证。目标：作为未来保障削弱因素研究的垫脚石，我们旨在发起首个关于该主题的综合系统映射研究。方法：我们遵循成熟的 PRISMA 2020 与 SEGRESS 指南开展系统映射研究。我们在五个数字图书馆中检索原始研究，并聚焦于 2012–2023 年发表范围。我们的筛选标准关注在建模层面处理保障削弱因素的研究，最终在系统综述中纳入 39 篇原始研究。结果：我们的系统映射研究提出了一个分类法（地图），对保障削弱因素及在建模层面提出的管理方法进行了统一归类。结论：我们的研究结果表明，SACM（结构化保障用例元模型）——由 OMG（对象管理组）制定的标准——可能是捕获结构化论证并推理其潜在保障削弱因素的最佳规范。
引用
@article{arxiv.2311.08328,
title = {A PRISMA-driven systematic mapping study on system assurance weakeners},
author = {Kimya Khakzad Shahandashti and Alvine B. Belle and Timothy C. Lethbridge and Oluwafemi Odu and Mithila Sivakumar},
journal= {arXiv preprint arXiv:2311.08328},
year = {2023}
}