一句话：提出后台过程跟踪并自动检查质量保证约束的框架，及时提醒开发者未满足的约束以减少返工。
安全关键系统的法规和标准要求严格的追溯性，却未规定详细的软件工程过程。实践中过程多以半形式化方式描述，难以直接执行，开发者需大量手动投入确保遵循质量保证（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.
@inproceedings{Mayr-DornVBKCEM21,
title = {Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking},
author = {Christoph Mayr-Dorn and Michael Vierhauser and Stefan Bichler and Felix Keplinger and Jane Cleland-Huang and Alexander Egyed and Thomas Mehofer},
booktitle = {ICSE},
year = {2021},
doi = {10.1109/icse43902.2021.00118}
}