程序流程图结构化验证与实时监测

作     者：王帼钕 

作者单位：西安电子科技大学 

学位级别：硕士

导师姓名：刘西洋

授予年度：2013年

学科分类：08[工学] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

主      题：模型驱动 程序流程图 结构化程序设计 实时监测 结构化验证 

摘      要：随着模型驱动开发技术的不断发展，模型驱动在软件开发过程中起着越来越关键的作用。基于模型驱动的开发技术，能够使得开发者从整体逻辑框架上去设计软件系统，而不需要关系具体的细节，这样更有利于提高软件的开发效率。另一方面，结构化程序设计在软件开发过程中所起的作用是巨大的，消除GOTO语句也是程序设计的关键。因此，在基于模型的开发中确保模型的结构化也是非常必要的。本文主要针对模型驱动开发相关领域，研究了基于程序流程图的结构化验证与实时检测算法。 提出了一种针对标准程序流程图的结构化验证算法。该算法是在充分研究程序流程图不同结构特点的基础上，利用图论等相关知识设计而成的。该算法具有以下功能：对程序流程图中的循环结构进行结构化验证;识别程序流程图中标识CONTINUE、BREAK以及RETURN的流程线，并对其进行结构化验证;将循环结构线性化，消除循环结构对分支结构的影响，同时运用递归的方式确定程序流程图中分支结构的作用域，并对分支结构进行结构化验证。本文通过大量实例，验证了该算法的正确性。 设计并实现了一种基于程序流程图的实时检测方法，该方法能够在用户建模的每一步对程序流程图进行结构化验证，并将验证结果实时地反馈给用户。以文字提示的方式反馈非结构化错误类型，并在程序流程图中突出显示造成非结构化错误的结点或连线。