C程序代码结构自动审查方法研究  

An Automatic Examination Method for C Language Code Structure

作　　者：张晓欣[1] 孙伟杰[1] 

机构地区：[1]中国人民解放军61081部队

出　　处：《通信技术》2013年第4期130-132,共3页Communications Technology

摘　　要：在C程序代码结构自动审查方法研究中提出了一种针对C程序代码结构的自动化审查方法。通过对源码的静态分析,分析程序的逻辑联接关系和语义相似度关系,提取程序的合理模块划分,通过与设计文档的比较,从而达到判断程序的结构是否合理的审查目的。根据这一原理,基于静态分析和聚类方法进行了程序结构自动审查方法的流程设计,并通过具体的样例进行了验证。最后,对该研究进行了总结及展望。Based on study of the automatic examination method for C code structure, an automatic examination method for C code structure is proposed. Through static analysis of source code, the logic connection relation of the program and the semantic similarity relation are analyzed, the reasonable module divisions of the program extracted, and also through comparison with the design document, the judgement on reasonableness of the program structure is realized. According to this principle and based on the static analysis and clustering method, the process design of automatic examination method for program structure is implemented and verified with specific examples. Finally, a summary and outlook of this research is given in this paper.

关 键 词：代码审查 程序结构 软件度量 

分 类 号：TP311.1[自动化与计算机技术—计算机软件与理论]