Write a Blog >>
ICSE 2021
Sun 16 May - Sat 5 June 2021

This program is tentative and subject to change.

Tue 25 May 2021 15:20 - 15:40 at Blended Sessions Room 1 - 1.3.1. Quality Assurance Chair(s): Silvia Abrahão

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.

This program is tentative and subject to change.

Tue 25 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

15:20 - 16:15
1.3.1. Quality AssuranceTechnical Track / NIER - New Ideas and Emerging Results at Blended Sessions Room 1
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
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
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