Actionable light-weight process guidance

被引:1
作者
Mayr-Dorn, Christoph [1 ]
Ratiu, Cosmina-Cristina [1 ]
de Paula, Luciano Marchezan [1 ]
Keplinger, Felix [1 ]
Egyed, Alexander [1 ]
Walden, Gala [2 ]
机构
[1] Johannes Kepler Univ Linz, Inst Software Syst Engn, Linz, Austria
[2] Robert Bosch AG, Vienna, Austria
基金
奥地利科学基金会;
关键词
Process; Constraints; Quality assurance; Traceability; Engineering guidance; Repairs; SOFTWARE; REQUIREMENTS; REPAIR; TRACEABILITY; ENVIRONMENTS; CONSISTENCY; SAFETY;
D O I
10.1016/j.jss.2024.112064
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Software engineering organizations in safety-critical domains require rigorous processes that include explicit software quality assurance measures (QA) to achieve high-quality and safe engineering artifacts. One major challenge for engineers is adhering to the correct process that is applicable in their specific working context, to understand which steps are ready to start, what actions are missing to complete their step, and when rework has happened. In this paper, we propose and evaluate ProGuide, a framework that provides actionable, light-weight process guidance by continuously assessing pre-conditions, post-conditions, and QA constraints. In case of a violation, it provides concrete repair actions. Evaluation on a safety-critical open source system and engineers from our industry partner Bosch showed that repairs are complete and small in number, and resulted in less frustration and fewer mistakes compared to being provided with no process guidance. Editor's note: Open Science material was validated by the Journal of Systems and Software Open Science Board.
引用
收藏
页数:18
相关论文
共 70 条
[1]  
Alajrami Sami, 2016, Computer Safety, Reliability and Security. 35th International Conference, SAFECOMP 2016. Proceedings: LNCS 9922, P309, DOI 10.1007/978-3-319-45477-1_24
[2]  
Ali S, 2014, LECT NOTES COMPUT SC, V8769, P223, DOI 10.1007/978-3-319-11743-0_16
[3]  
Avazpour Iman, 2013, Recommendation systems in software engineering, P245, DOI 10.1007/978-3-642-45135-5_10
[4]   Supporting cooperation in the SPADE-1 environment [J].
Bandinelli, S ;
DiNitto, E ;
Fuggetta, A .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1996, 22 (12) :841-865
[5]  
Bangor A, 2009, J USABILITY STUD, V4, P114
[6]   An extensible framework for customizable model repair [J].
Barriga, Angela ;
Heldal, Rogardt ;
Iovino, Ludovico ;
Marthinsen, Magnus ;
Rutle, Adrian .
23RD ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, MODELS 2020, 2020, :24-34
[7]   Collaboration and coordination in process-centered software development environments: a review of the literature [J].
Barthelmess, P .
INFORMATION AND SOFTWARE TECHNOLOGY, 2003, 45 (13) :911-928
[8]  
Brooke J., 1996, Usability Evaluation in Industry, P189
[9]  
Brosgol B., 2010, Do-178c: A new standard for software safety certification
[10]   A Mashup-Based Framework for Business Process Compliance Checking [J].
Cabanillas, Cristina ;
Resinas, Manuel ;
Ruiz-Cortes, Antonio .
IEEE TRANSACTIONS ON SERVICES COMPUTING, 2022, 15 (03) :1564-1577