Research On Consistency Detection Method Of Code Based On Model

Inconsistent of information is common, but with the continuous development of computer technology and scale of software system becomes larger and larger, which makes the software development becomes more and more complex and difficult to grasp. Object-Oriented technology, as one of the mostly common technology of software development, it improve the efficiency and quality of software system’s modele and code. But at the same time, because of its characteristic,such as inheritance and polymorphism,it cause a lot of problem to the consistent of the software model and code. Therefore, in the face of the growing problem of inconsistency, how to ensure the quality and efficiency of software development based on the characteristic objectoriented has become an urgent problem to be solved. At home and abroad,although there are many research about the consistency detection between models, but the consistency detection betweent model and code is relatively insufficient. Based on the above background, this paper based on the characteristic of object-oriented model,research on the consistency detection between model and code. It have certain significance in theory and technology.This paper is to detect the consistency of the UML model and the Java source code.Besides in this paper we do research according to the premise: the model is correct, in other words the code will be modify if there are some inconsistent information between model and code. The main work of this paper including following:Firstly, analysis the own characteristic of UML model, then according to its semi formal property provide its formal definition. Then using the concept of Sequence Diagram Call Graph(SD-CG) and compeletes the pretreatment of UML model information.Second, analysis of the Java code,extractting the key information of code, access to information and generates code call graph(CCG) according to the relationship between the code methods.Third, analysis of the relationship between classes, objects oriented and according to polymorphism, polymorphism information existing in the adjustment of polymorphism, so as to improve the completeness and consistency checking.Fourth, the consistency of the detection algorithm of UML model and the Java source code static information and dynamic information design. First the staticinformation of model and code matching, and feedback results, and according to the inconsistent information output carries on corresponding processing to the dynamic detection. The consistency test after the call and call nodes according to the call graph,finally according to the corresponding rules output consistency test report.Based on the above theory, the framework design of UML consistency model and code detection, the development of a prototype tool based on this framework, the output of the UML modeling of the XML file and the corresponding Java source code, realize the consistency checking function model and the code information analysis and extraction, timing the call graph and the call graph code structure and polymorphism of expansion, static information and dynamic information interaction. Finally, through the example for experimental verification, the output consistency test report, completion of the consistency between the model and code detection, which shows that the consistency between the model and code detection method proposed in this paper is feasible and effective.