Using Formal Verification and Model Checking in Agile Development to Improve the Quality of Software Development: Review

Taimoor Hassan; Abrar Ahmed; Mehmood Anwar; Muhammad Basit Ali Gilani; Sajid Saleem

Taimoor Hassan University of Central Punjab
Abrar Ahmed The University of Lahore
Mehmood Anwar The University of Lahore
Muhammad Basit Ali Gilani University of Central Punjab
Sajid Saleem University of Central Punjab

Keywords: System-Theoretic Process Analysis, Model Checking, Formal Verification, Agile Methodology, Scrum, XP (Extreme Programming)

Abstract

Abstract Views: 0

In this paper, analysis the efficiency of software development through modeling checking, formal verification and different tools that is supported to develop it. A lot of real-life examples are quoted in this paper. Implement different model checking techniques, STPA methods and analysis on game development, railway management system and other sectors. In the innovation and huge development in software industries, we must heavy knowledge about software engineering course and must taught in universities. Software engineering plays a vital and great role in development of software. In this paper, proposed the requirement divided approach, in which divide the requirements through filer vise, break it, priority them, numbering in specific order and convert it in requirement document. We well known that in every software development, requirements phase is major and initial phase and whole software development based on it. After that apply the testing tools to test it for quality purpose and customer satisfaction.

Downloads

Download data is not yet available.