%0 Journal Article
%A WANG Lei
%T Consistency Checking Between UML Models and Code Based on Graph Theory and FSM
%D 2019
%R 10.13190/j.jbupt.2018-283
%J Journal of Beijing University of Posts and Telecommunications
%P 70-75
%V 42
%N 4
%X A unified modeling language (UML) model and code consistency checking method based on graph theory and finite state machine (FSM) was proposed. The basic idea of this method was given; the static consistency checking and the dynamic consistency checking algorithms between UML models and code were discussed respectively; a support tool for this method was implemented, and C++ project UMLChecker 1.0 was checked by using this tool. The experimental results show that this method can check consistency between UML models and code, and has a high checking accuracy. For consistency checking in behavioral aspects, checking accuracy rate is improved obviously.
%U https://journal.bupt.edu.cn/EN/10.13190/j.jbupt.2018-283