The Verification of Structure Identification Algorithm and Error Detection Strategies for Structured Flowchart
Wen-Jia Gong, Mingcheng Qu, Xianghu Wu, Peijun Ma · IERI Procedia · 2012
Automatic code generation for structured flowchart is of great practical significance. It makes software development based on MDA (Model Driven Architecture) be more practical in detailed processing logic. A depth-first search algorithm based on recursion for identification of structured flowchart is proposed in paper [1]. However, the correctness has not been rigorously proved, either the automatic identification of error structure has not been considered. In this paper, we verify the correctness of the algorithm based on mathematical induction and add some strategies for the identification of error structure.