by Christoph Mayr-Dorn, Michael Vierhauser, Stefan Bichler, Felix Keplinger, Jane Cleland-Huang, Alexander Egyed, Thomas Mehofer
Abstract:
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.
Reference:
Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking (Christoph Mayr-Dorn, Michael Vierhauser, Stefan Bichler, Felix Keplinger, Jane Cleland-Huang, Alexander Egyed, Thomas Mehofer), In 43rd IEEE/ACM International Conference on Software Engineering, ICSE 2021, Madrid, Spain, 22-30 May 2021, IEEE, 2021.
Bibtex Entry:
@Conference{DBLP:conf/icse/Mayr-DornVBKCEM21,
author = {Christoph Mayr-Dorn and Michael Vierhauser and Stefan Bichler and Felix Keplinger and Jane Cleland-Huang and Alexander Egyed and Thomas Mehofer},
booktitle = {43rd {IEEE/ACM} International Conference on Software Engineering, {ICSE} 2021, Madrid, Spain, 22-30 May 2021},
title = {Supporting Quality Assurance with Automated Process-Centric Quality Constraints Checking},
year = {2021},
pages = {1298--1310},
publisher = {{IEEE}},
abstract = {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.},
bibsource = {dblp computer science bibliography, https://dblp.org},
biburl = {https://dblp.org/rec/conf/icse/Mayr-DornVBKCEM21.bib},
doi = {10.1109/ICSE43902.2021.00118},
file = {:Conferences/ICSE 2021 - Supporting Quality Assurance with AutomatedProcess-Centric Quality Constraints Checking/Supporting Quality Assurance with Automated Process-Centric Engineering Processes-preprint.pdf:PDF},
keywords = {FWF P29415, FWF P31989, LIT CEME},
timestamp = {Mon, 07 Jun 2021 16:39:41 +0200},
url = {https://doi.org/10.1109/ICSE43902.2021.00118},
}