ProCon: An automated process-centric quality constraints checking framework
ProCon: An automated process-centric quality constraints checking framework
复制标题
ProCon：以流程为中心的自动化质量约束检查框架
DOI：
10.1016/j.jss.2023.111727
复制
发表时间：
2023
影响因子：
3.5
通讯作者：
Mehofer, Thomas
中科院分区：
文献类型：
--
作者：
Mayr-Dorn, Christoph;Vierhauser, Michael;Bichler, Stefan;Keplinger, Felix;Cleland-Huang, Jane;Egyed, Alexander;Mehofer, Thomas
在处理安全关键系统时，各种法规、标准和指南规定了对工件的认证和可追溯性的严格要求，但通常缺乏关于相应软件工程过程的细节。由于工业实践中只使用半正式的符号来描述工程过程-缺乏适当的工具映射-工程师和开发人员需要投入大量的时间和精力来确保遵循质量保证所要求的所有步骤。系统和法规的庞大规模和复杂性使得质量保证（QA）工程师的手动及时反馈变得不可行。为了解决这些问题，在本文中，我们提出了一种新的框架跟踪，并“被动”在后台执行过程中，自动检查QA的限制，根据过程的进展，并通知开发人员未履行的QA约束。我们评估我们的方法，将其应用到三个案例研究：一个安全关键的开源社区系统，在空中交通管制领域的安全关键系统，和一个非安全关键的，基于Web的系统。我们的分析结果证实，跟踪链接通常在工作步骤被认为已经完成之后才被纠正或完成，并且工程师已经进入另一个步骤。因此，支持及时和自动化的约束检查具有减少返工的巨大潜力，因为工程师在其工作步骤中已经收到了连续的反馈。
When dealing with safety–critical systems, various regulations, standards, and guidelines stipulate stringent requirements for certification and traceability of artifacts, but typically lack details with regards to the corresponding software engineering process. Given the industrial practice of only using semi-formal notations for describing engineering processes – with the lack of proper tool mapping – engineers and developers need to invest a significant amount of time and effort to ensure that all steps mandated by quality assurance are followed. The sheer size and complexity of systems and regulations make manual, timely feedback from Quality Assurance (QA) engineers infeasible. In order to address these issues, in this paper, we propose a novel framework for tracking, and “passively” executing 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 three case studies: a safety–critical open-source community system, a safety–critical system in the air-traffic control domain, and a non-safety–critical, web-based system. Results from our analysis confirm that trace links are often corrected or completed after the work step has been considered finished, and the engineer has already moved on to another step. Thus, support for timely and automated constraint checking has significant potential to reduce rework as the engineer receives continuous feedback already during their work step.
登录
查看更多内容
汽车 SPICE、安全和网络安全集成
DOI：
--
发表时间：
2017
期刊：
SAFECOMP Workshops
影响因子：
--
作者：
Georg Macher;Alexander Much;A. Riel;R. Messnarz;Christian Kreiner
通讯作者：
Christian Kreiner
支持软件工程决策中的流程撤消和重做
DOI：
--
发表时间：
2013
期刊：
International Conference on Software and Systems Process
影响因子：
--
作者：
Xiang Zhao;Yuriy Brun;L. Osterweil
通讯作者：
L. Osterweil
软件过程模型与描述：从业者使用和需要什么？
DOI：
--
发表时间：
2016
期刊：
International Conference on Software and Systems Process
影响因子：
--
作者：
Philipp Diebold;Simon André Scherr
通讯作者：
Simon André Scherr
PROCESS WEAVER：向 UNIX 添加进程支持
DOI：
--
发表时间：
1993
期刊：
International Conference on the Software Process
影响因子：
--
作者：
Christer Fernström
通讯作者：
Christer Fernström
影响因子：
2.2
作者：
J. Cleland-Huang;B. Berenbach;Stephen Clark;Raffaella Settimi;E. Romanova
通讯作者：
J. Cleland-Huang;B. Berenbach;Stephen Clark;Raffaella Settimi;E. Romanova