Runtime Verification Of Java Programs Based On UML Interaction Models

With the increasing scale of software engineering,the software application is becoming more and more extensive,and the software development process is more and more flexible.At the same time,the difficulty of software development is also growing,the quality of the software is difficult to be guaranteed.In the process of model-driven software development,through the analysis of demand by the system analyst,then design and refine the corresponding model,and ultimately hope that it can automatically generate code from the model.At this stage,the model is mainly used to help software design and development staff to understand and analysis system,rather than completely generated the available code from the model,the code still needs to be manually written after the software design and development staff in the analysis of the model,it may cause inconsistencies between the model and the code.Therefore,it is of great significance to ensure the consistency between the model and the code.Based on the Unified Modeling Language(UML)2.0 interactive overview and sequence diagram,this paper constructs a intuitive and expressive scenario-based specifications,and proposes a method for the runtime verification of UML interaction model and java program use on exception consistency and mandatory consistency verification.The exception consistency specifications requires that prohibited scenarios described by a given interaction overview never occur during program execution,and the mandatory consistency specifications requires that if a reference scenario described by a given sequence diagram occurs during program execution,which the program execution path must also immediately follow the scenario described by the given interaction profile.How to extract the key information of the model and the code correctly and efficiently,and how to judge the consistency of the model and the code effectively is the key content of this paper.The method of runtime verification described in this paper is mainly composed of three steps.Firstly,study and analyze the UML interaction model,extract the key information of the interactive view and the object interaction in the sequence diagram.Then,the java program to be verified is inserted to track the interactive event of the object during the execution of the program.Finally,in the scenario-based specifications,the consistency verification algorithm is designed to check whether the program execution trajectory is consistent with the message in the U ML interaction model and complete the runtime verification based on the UML interaction model and the java program.Ultimately,we integrated the runtime verification functionality into the UML modeling tool UMLet,which provides a tool for the integration of modeling and verification.