面向设计流图的代码支撑工具

摘要：

在通信网络软件中,代码的可靠性格外重要,编码与测试在很大程度上决定着代码的可靠性.如果让机器自动生成代码,将会减少人工编码出错的概率,而且,也为代码的跟踪、测试提供了方便.为此,本文结合UML的相关理论,提出了设计流图的概念并描述基于设计流图的代码生成的原理及其应用.本文首先描述设计流图在软件开发过程中的作用;然后,给出设计流图的形式化定义;第3部分给出代码自动生成算法;第4部分给出基于设计流图的跟踪、测试方法,最后一部分对工具作了简要的介绍.本文详细描述了如何根据设计流图生成代码,并简要介绍实现基于设计流图的跟踪与测试.本文还实现了一个集成开发环境AutoCodeGen,在该环境中可以编辑设计流图、对设计流图进行简单的检查、编译设计流图(生成代码)、编译代码、执行设计流图(执行编译后的代码)、基于设计流图的跟踪与测试(动态显示执行路径、当前执行点、路径覆盖情况、异常点位置等).在实践中,利用该工具实现了TCAP(Transaction Capabilities Application Part)协议中部分编码与解码.

关键词：设计流图、任务节点、转换边

所属期刊栏目：32

分类号：TN91

资助基金：中国科学院资助项目6027036;602339291;国家科技攻关项目2002AA116090;江苏省自然科学基金BK2002079

在线出版日期：2005-12-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：203-206