随着软件项目规模的扩大,高效复用代码成为软件开发者们的共识,其中使用应用程序编程接口(Application Programming Interface,即API)是代码复用的一种重要手段。通过接口文档,开发者们可以清楚、快速地了解到相关接口的功能、使用条件以及使用限制。然而,接口文档中的描述存在与API代码不一致的情况,尤其是文档对于接口的参数约束描述不一致,会误导使用API的开发者,降低软件开发效率及软件稳定性等。因此,对API文档进行分析,检测其中存在的不一致性,对软件开发具有重要意义。针对API代码约束与文档描述不一致问题,本文提出一种自动检测方法。由于Java源代码中,Javadoc注解文档为接口代码与其文档的对应过程提供便利,故以Java API源代码及其文档作为研究对象。首先,使用静态分析方法分析代码,对代码语法树结构及其调用关系进行分析,提取约束条件,并生成逻辑表达式。然后,使用自然语言处理方法分析对应的API文档,关注Javadoc中文档条目对约束条件的描述,通过在依存语法基础上定义的语义理解规则,对语句中特殊词汇和复合语句进行处理,理解文档条目中对约束条件的描述,生成逻辑表达式。最后,利用可满足性模型理论,对二者表达逻辑进行验证,从而对API代码约束与文档描述不一致情况进行自动检测。以JDK部分源代码为基础,对其API文档进行分析,总结和归纳启发式的语义理解规则,利用所提出方法对JDK源代码进行检测实验。实验结果显示,本方法的检测效果能达到83.1%的准确率以及81.2%的召回率,证明其有效性。为进一步验证本方法的通用性,对JDK中其他部分源代码进行了实验,也获得了58.3%的准确率以及83.5%的召回率,验证了本方法的通用性以及启发式规则的普适性。为提供更好的可用性,根据对API代码约束与文档描述不一致问题的自动检测方法,开发了一个基于Eclipse插件结构的原型软件。