RV-SLC: A Tool for Regression Validation of Safety and Liveness Constraints on Goal Models in DevOps EnvironmentDemonstration
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.
Thu 23 SepDisplayed time zone: Eastern Time (US & Canada) change
12:00 - 13:00 | |||
12:00 60mDemonstration | ARF: Automatic Requirements Formalisation ToolDemonstration Posters and Tool Demos Aya Zaki Ismail Deakin University, Mohamed Osama Deakin University, Mohamed Abdelrazek Deakin University, Australia, John Grundy Monash University, Amani Ibrahim Deakin University | ||
12:00 60mDemonstration | CARO: A Conflict Aware Requirement Ordering Tool for DevOpsDemonstration Posters and Tool Demos MANDIRA ROY UNIVERSITY OF CALCUTTA, Novarun Deb Indian Institute of Information Technology, Vadodara, Agostino Cortesi Università Ca' Foscari Venezia, Rituparna Chaki UNIVERSITY OF CALCUTTA, Nabendu Chaki UNIVERSITY OF CALCUTTA | ||
12:00 60mDemonstration | MRDQA: A Deep Multimodal Requirement Document Quality AnalyzerDemonstration Posters and Tool Demos yeming ZTE, Jicheng Cao ZTE Corporation, Shengyu Cheng ZTE Corporation, Dong Liu ZTE, Shenghai Xu ZTE, Jinning He ZTE | ||
12:00 60mPoster | Enhancing NL Requirements Formalisation using A Quality Checking ModelPoster Posters and Tool Demos Mohamed Osama Deakin University, Aya Zaki Ismail Deakin University, Mohamed Abdelrazek Deakin University, Australia, John Grundy Monash University, Amani Ibrahim Deakin University | ||
12:00 60mDemonstration | Pri-AwaRE: Tool Support for priority-aware decision-making under uncertaintyDemonstration Posters and Tool Demos | ||
12:00 60mDemonstration | RV-SLC: A Tool for Regression Validation of Safety and Liveness Constraints on Goal Models in DevOps EnvironmentDemonstration Posters and Tool Demos Palak Ambade Indian Institute of Information Technology, Vadodara, Diptiben Solanki Indian Institute of Information Technology, Vadodara, Novarun Deb Indian Institute of Information Technology, Vadodara | ||