Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Tue 25 May 2021 15:20 - 15:40 at Blended Sessions Room 1 - 1.3.1. Quality Assurance Chair(s): Silvia Abrahão
Wed 26 May 2021 03:20 - 03:40 at Blended Sessions Room 1 - 1.3.1. Quality Assurance

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.

Conference Day
Tue 25 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:20 - 16:15
1.3.1. Quality AssuranceNIER - New Ideas and Emerging Results / Technical Track at Blended Sessions Room 1 +12h
Chair(s): Silvia AbrahãoUniversitat Politècnica de València
15:20
20m
Paper
Supporting Quality Assurance with Automated Process-Centric Quality Constraints CheckingTechnical Track
Technical Track
Christoph Mayr-DornJohannes Kepler University, Linz, Michael VierhauserJohannes Kepler University Linz, Stefan BichlerJOHANNES KEPLER UNIVERSITY LINZ, Felix KeplingerJOHANNES KEPLER UNIVERSITY LINZ, Jane Cleland-HuangUniversity of Notre Dame, Alexander EgyedJohannes Kepler University, Thomas MehoferFrequentis AG
Pre-print Media Attached
15:40
15m
Paper
Inconsistency-tolerating guidance for software engineering processesNIER
NIER - New Ideas and Emerging Results
Christoph Mayr-DornJohannes Kepler University, Linz, Roland KretschmerJohannes Kepler University, Linz, Alexander EgyedJohannes Kepler University, Ruben HeradioUNED (Universidad Nacional de Educacion a Distancia), David Fernandez-AmorosUNED
Pre-print Media Attached
15:55
20m
Paper
Understanding Bounding Functions in Safety-Critical UAV SoftwareTechnical Track
Technical Track
Xiaozhou LiangSUNY Binghamton, John Henry BurnsSUNY Binghamton, Joseph SanchezSUNY Binghamton, Karthik DantuUniversity at Buffalo, Lukasz ZiarekUniversity at Buffalo, Yu David LiuSUNY Binghamton
Pre-print Media Attached

Conference Day
Wed 26 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

03:20 - 04:15
03:20
20m
Paper
Supporting Quality Assurance with Automated Process-Centric Quality Constraints CheckingTechnical Track
Technical Track
Christoph Mayr-DornJohannes Kepler University, Linz, Michael VierhauserJohannes Kepler University Linz, Stefan BichlerJOHANNES KEPLER UNIVERSITY LINZ, Felix KeplingerJOHANNES KEPLER UNIVERSITY LINZ, Jane Cleland-HuangUniversity of Notre Dame, Alexander EgyedJohannes Kepler University, Thomas MehoferFrequentis AG
Pre-print Media Attached
03:40
15m
Paper
Inconsistency-tolerating guidance for software engineering processesNIER
NIER - New Ideas and Emerging Results
Christoph Mayr-DornJohannes Kepler University, Linz, Roland KretschmerJohannes Kepler University, Linz, Alexander EgyedJohannes Kepler University, Ruben HeradioUNED (Universidad Nacional de Educacion a Distancia), David Fernandez-AmorosUNED
Pre-print Media Attached
03:55
20m
Paper
Understanding Bounding Functions in Safety-Critical UAV SoftwareTechnical Track
Technical Track
Xiaozhou LiangSUNY Binghamton, John Henry BurnsSUNY Binghamton, Joseph SanchezSUNY Binghamton, Karthik DantuUniversity at Buffalo, Lukasz ZiarekUniversity at Buffalo, Yu David LiuSUNY Binghamton
Pre-print Media Attached