A Model-Based Checking Approach to Test Java Implementation Against its UML Design Model
- Detailed Technology Description
- The software efficiently identifies inconsistencies between design models created by the MDA language, UML, and programs created from the design models using programming languages, like Java. It has been shown to detect previously unknown errors in a software package and to be more efficient than existing verifier software through removal of redundant branches during testing.
- *Abstract
-
Software errors are becoming increasingly prevalent as the size and complexity of computer programs continue to increase and are more difficult to identify before widespread distribution of the software. Consequently, this results in increasing costs to find and fix problems in the software. As programs extend to additional applications and aspects of everyday life, the costs to businesses and society for such errors accelerates. A design model is used as a blueprint for coding of many software programs. The Model Driven Architecture language, Unified Modeling Language (UML), is used to create a design model and programming languages, like Java, are used to create code from the model. Often-times, machine and programmer-generated code contains inaccuracies with respect to the model that cannot easily be detected, causing the program to not accomplish its designed purposes. Currently, there are several programs for detecting errors in software that are derived from UML. These programs are time intensive and laborious, while many times not detecting all errors.
- Country/Region
- USA
