在软件工程中，白盒测试法可用于测试程序的内部结构。此方法将程序看做( )。

A．循环的集合

B．地址的集合

C．路径的集合

D．目标的集合

逆向工程过程的抽象层次是指可从源代码中抽取出来的设计信息的精制程度。抽象层次分为4层，其中，“最低层”抽象能够导出过程的设计表示文档，“低层”抽象能够导出程序和数据结构信息，“中层”能够导出 (12) ，“高层”抽象能够导出 (13) 。

A．实体关系模型
B．程序和文档结构信息
C．全部文档信息
D．数据流和控制流模型