RV-SLC: A Tool for Regression Validation of Safety and Liveness Constraints on Goal Models in DevOps Environment

被引：0

作者：

Ambade, Palak ^{[1
]}

Solanki, Diptiben ^{[1
]}

Deb, Novarun ^{[1
]}

机构：

[1] Indian Inst Informat Technol, Dept Comp Sci & Informat Technol, Vadodara, India

来源：

29TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2021) | 2021年

关键词：

Regression Validation; Safety; Liveness; Goal Models; DevOps;

D O I：

10.1109/RE51729.2021.00066

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

Requirements keep changing and getting updated in any incremental software development - including DevOps. The notion of regression validation ensures compliance to a given set of rules (or properties) even when either the requirement set changes or the associated rules themselves change due to new business policies and regulations. In this tool paper, we propose the RV-SLC tool which has the SLC framework at its core. The tool uses a formal data model that demonstrates how regression validation of safety and liveness constraints can be achieved across multiple iterations. The tool also has an analytics dashboard that allows the developers to monitor and visualize how the requirements and the associated safety and liveness constraints have been modified and updated across these iterations.

引用

页码：452 / 453

页数：2