随着嵌入式领域中模型驱动开发技术的日益成熟和广泛应用，工程的开发效率及自动化程度被高度重视。其中代码自动生成技术将开发人员从繁琐的代码实现中解放出来使其最大程度的关注系统逻辑的设计，从而保证了系统设计的合理性、高效性和鲁棒性。针对程序流程图模型的代码自动生成技术，其难点在于流程图的结构分析与识别。本文基于结构化程序设计思想的原则，充分考虑流程图中半结构化和非结构化元素的特征，设计并实现了标准程序流程图的结构分析与识别算法。结构化流程图中基本控制结构之间形成了复杂的组合与嵌套关系。结合上下文结构信息，算法运用图论知识准确识别各个循环结构及分支结构，同时在条件判断结点识别算法中判断循环结构的类型。通过遍历循环结构寻找控制流的改变，算法识别出流程图中有continue、break和return含义的半结构化元素。针对非结构化流程图，本文提出了结构化验证规则，验证算法依此辨别出流程图中有GOTO含义的非结构化元素。本文参与实现的流程图代码自动生成工具经大量测试用例验证，能够正确识别流程图的结构组成和非结构化元素并生成含有半结构化语句的C程序代码。