A lightweight approach to software validation by comparing UML use cases with internal program documentation selected via call graphs

Abstract

This research involves a methodology and associated proof of concept tool to partially automate software validation by comparing UML use cases with particular execution scenarios in source code. These execution scenarios are represented as the internal documentation (identifier names and comments) associated with sequences of execution in static call graphs. This methodology has the potential to reduce validation time and associated costs in many organizations, by enabling quick and easy validation of software relative to the use cases that describe the requirements. The proof of concept tool as it currently stands is intended as an aid to an IV&V software engineer, to assist in directing the software validation process. The approach is lightweight and easily implemented.

Object-Oriented Analysis and Design for one Algorithm of Computational Geometry: Forward, Reverse and Round-Trip Engineering

“…Th e authors of the paper [24] propose combination of the three relations in such way that enables a comprehensive measure of complexity of class diagrams in reverse engineering. A research that is relevant to the application of UML use case diagrams and their comparison, in order to obtain the best possible software at the stage of verifi cation and validation of the software, is presented in [9]. Th e paper [4] describes the procedure of modelling at the level of hardware, systems and algorithms.…”