程序理解活动是软件维护工作中的一个重要步骤。然而由于不完整文档和系统本身的复杂性,程序理解活动往往会耗费软件维护人员大量时间和精力。因此,探索行之有效的辅助程序理解的方法一直是软件维护研究领域一个重要话题。本文针对面向对象软件系统,提出了一种基于领域本体的程序理解方法。该方法首先形式化的定义了领域本体的元模型,使得领域专家可以利用该元模型描述业务领域的基本概念。接着,结合静态代码分析技术和基于本体上下文的推理,设计了一个交互式的本体标注过程。该方法在软件维护人员的帮助下,可以准确地在源代码中识别出实现相应业务逻辑或业务概念的代码单元。在本体标注过程中,借助本体中针对实例的关系断言可以发现潜在的维护人员对业务语义或代码的错误理解,帮助他们纠正这些错误,并且能发现代码中可能出现的不合理设计。该本体标注过程的结果是建立一个源代码知识库,包含了代码和领域概念的对应关系。代码知识库建立之后,为了帮助未来新参与到软件维护任务中的维护人员利用该知识库更快更好的理解代码和业务逻辑,本文设计了一个交互式查询过程,允许维护人员使用英语的自然语言语句对代码知识库进行查询。首先,通过自然语言处理技术解析查询中的语法结构。然后,分析语法结构提取其中的语义信息。最后根据语义信息在代码知识库中定位查询目标。通过该查询方法的帮助,能有效缩短新来的软件维护人员理解软件系统的周期。