模块化C程序的编码方法及C模块接口的检查工具

1.引言 随着Unix操作系统的流行,C语言越来越广泛地被用来编写系统和应用程序,在开发大型C程序时,我们都会将程序分成若干文件,每个文件就大致实现了模块的功能。 我们定义“模块”为包括以下特征的文件: (1)文件中定义一些“实体”(entities):包括数据类型、变量、子程序和函数。