Code Reachability Visualization Based on Probabilistic Model Checking
Hiroyuki Nakagawa, Shimon Sumita, Shinobu Saito · Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering · 2024
Software system developments generally involve writing codes.As code reduction is not considered, with accelerated software development, the number of code increases, which in turn increases the system management load.In this study, we pursue an analysis process to determine the necessity of each code present in the software.To handle a large amount of code, we utilize a probabilistic model checking technique.The analysis process identifies the trends in code usage by estimating probabilistic reachability.We implemented a prototype tool for the analysis.Results of two case studies in the real world demonstrate that the tool set has a possibility of extracting components that can be eliminated in the projects.