程序理解对于软件维护和软件再工程具有极其重要的作用,只有理解了程序的行为,我们才能对其进行修改或者改进.在软件开发的需求分析阶段,用况能用于表现软件的功能需求,它从用户的角度描述了软件的行为.随着用况的应用越来越广泛,如果能从软件的源代码直接抽象系统的用况图,对于程序理解工作具有很大的帮助.然而,完全自动化地从源代码逆向生成用况很难实现.该文首先引入了一个面向用况的半自动化的逆向工程方法,旨在辅助用户从源代码中抽象出软件的用况图,以帮助用户对软件行为的理解.该方法提出了BRCG(Branch Reserving Call Graph)图作为源代码的抽象表示,并以BRCG图的SCSG(Structural Complexity 0f Sub Graph)度量计算为依据,对BRCG图进行剪裁和遍历,获取软件的执行路径,抽象为候选的用况.然后,用户在工具的支持下从候选用况中抽象出软件的用况图.为了支持这个的用况逆向方法,我们设计并实现了针对ANSI C的用况提取工具UCDT(Use Case Discovery T001).该工具对源代码进行静态分析,构造其BRCG图,然后在BRCG图上进行SCSG度量和执行路径的计算过程.工具还提供了交互式的图形界面,以定制计算过程、显示执行结果、输出各种源代码中的辅助信息,以帮助用户进行程序理解,最后构造出用况图.最后,该文还介绍了工具的实例研究,并对将来的改进方向做了一些探讨.