随着软件工程领域的发展,软件维护问题已成为当前软件产业面临的重要课题。在软件维护过程中,程序理解是一项枯燥、费时且困难的任务,必须借助程序理解辅助系统进行辅助分析。而信息的存储与检索效率是影响程序理解辅助系统效率,乃至程序理解效率的关键因素之一。目前,绝大多数程序理解辅助系统采用专业的数据库管理系统作为信息存储与检索的后台支撑。由于专业数据库管理系统在其他方面考虑的因素较多,相应地降低了存储与检索的效率。另外,专业数据库管理系统要求使用特定的检索语言,这也增加了检索操作的处理时间和程序理解的难度。针对上述问题,本文的主要工作是研究和实现了一个具有较高存储与检索效率、支持大型程序和增量式更新的程序信息库。首先,根据程序设计语言的符号类型,提出信息分类存储的思想。按照类型的不同,将软件源程序信息存储在不同的信息库文件中,由各个库文件共同组成一个统一的程序信息库;接着在借鉴专业数据库存储与检索机制的基础上,分析研究了B+树的性能和索引机制,提出利用B+树结构设计程序信息库的存储与检索模型。从“自底向上批量插入关键字”、“对关键字进行压缩存储”和“选定合适的阶数m值”三个方面出发对B+树的存储结构进行优化设计,并设计B+树结点间与结点内双层索引;然后根据程序理解的需要设计了四种不同的检索方式,分别支持程序理解辅助系统四个窗口中的信息显示要求;最后对一系列由不同数量的信息记录组成的文件进行实验,在信息的存储空间与检索时间上测试信息库的存储与检索效率。实验结果表明,信息库在牺牲部分存储空间的基础上较好地实现了信息的快速存储与检索。