AsiaIPEX is a one-stop-shop for players in the IP industry, facilitating IP trade and connection to the IP world. Whether you are a patent owner interested in selling your IP, or a manufacturer looking to buy technologies to upgrade your operation, you will find the portal a useful resource.
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.
Country/Region
USA
For more information, please click Here
