Consistency Checking And Automatic Code Generation In Incremental Software Development

Incremental development,as a common strategy in software development,is widely used because of its low cost and low risk.The incremental model consists mainly of refinement and extension operations,which are often performed alternately during development.Consistency checking is essential to ensure the correctness of mixing two different operations.In addition,based on the research of consistency,automatic code generation technology can also be developed and improved.When consistency is maintained throughout the development process,developers can transform the model into the corresponding code framework without causing additional errors,thus greatly improving development efficiency.Unfortunately,although consistency checking and automatic code generation techniques are hot topics in software engineering,the current research on them is still incomplete.To address the above issues,the specific research ideas of this paper is: Firstly,using the activity diagram in Unified Modeling Language(UML)to model the system.As a behavior diagram used to model the work flow,activity diagram can describe the sequence of activities of the system;Secondly,refinement and extension operations are defined on the activity diagram along with the nature of both operations,based on these two operations,vertical consistency and horizontal consistency between models are defined;Subsequently,on the basis of these two kinds of consistency,a new consistency relation,“incremental consistency”,that can be directly compared between the original activity diagram and the activity diagram obtained after the incremental operation;Next,an automatic code generation method based on activity diagram is presented,some common operations between codes and the consistency between code and model are studied;Finally,with the support of the prototype tool,a case study is given to verify the feasibility of the above method.