Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking
Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking
复制标题
DOI：
10.1109/icse43902.2021.00118
复制
发表时间：
2021-05
期刊：
影响因子：
--
通讯作者：
Christoph Mayr-Dorn;Michael Vierhauser;Stefan Bichler;Felix Keplinger;J. Cleland-Huang;Alexander Egyed;Thomas Mehofer
中科院分区：
文献类型：
--
作者：
Christoph Mayr-Dorn;Michael Vierhauser;Stefan Bichler;Felix Keplinger;J. Cleland-Huang;Alexander Egyed;Thomas Mehofer
安全关键系统的法规、标准和指南规定了严格的可追溯性，但没有规定相应的详细软件工程流程。鉴于工业实践中仅使用半正式符号来描述工程流程，这些流程很少是“可执行的”，开发人员必须花费大量的人力来确保他们遵循质量保证所要求的步骤。系统和法规的规模和复杂性使得质量保证（QA）工程师无法进行手动的及时反馈。在本文中，我们提出了一个新颖的框架，用于在后台跟踪流程，根据流程进展自动检查QA约束，并告知开发人员未满足的QA约束。我们通过将其应用于两个不同的案例研究来评估我们的方法；一个开源社区系统和一个空中交通管制领域的安全关键系统。分析结果表明，追溯链接往往是在事后纠正或完成的，因此及时和自动化的约束检查支持在减少返工方面具有巨大潜力。
Regulations, standards, and guidelines for safety-critical systems stipulate stringent traceability but do not prescribe the corresponding, detailed software engineering process. Given the industrial practice of using only semi-formal notations to describe engineering processes, processes are rarely "executable" and developers have to spend significant manual effort in ensuring that they follow the steps mandated by quality assurance. The size and complexity of systems and regulations makes manual, timely feedback from Quality Assurance (QA) engineers infeasible. In this paper we propose a novel framework for tracking processes in the background, automatically checking QA constraints depending on process progress, and informing the developer of unfulfilled QA constraints. We evaluate our approach by applying it to two different case studies; one open source community system and a safety-critical system in the air-traffic control domain. Results from the analysis show that trace links are often corrected or completed after the fact and thus timely and automated constraint checking support has significant potential on reducing rework.