通常情况下，在软件生存周期中，将某种形式表示的软件转换成更高抽象形式表示的软件的活动称为逆向工程。逆向工程导出的信息可以分为4个抽象层次，其中（ ）抽象出的信息，要求人参与判断和推理的工作最多，恢复的难度最大。

[解析]逆向工程导出的信息按抽象级别由低到高依次是：实现级、结构级、功能级、领域级。其中， 实现级可以抽象出程序的抽象语法树、符号表等信息；结构级可以抽象出反映程序分量之间相互依赖 关系的信息(例如调用图、结构图等);功能级可以抽象出反映程序段功能及程序段之间关系的信息； 领域级可以抽象出反映程序分量或程序与应用领域概念之间对应关系的信息。这些信息的抽象级别越 高，则与代码的距离越远，通过逆向工程恢复的难度越大，而自动化工具支持的可能性相对变小，要 求人参与判断和推理的工作增多。