单选题 程序的静态错误分析和设计分析共同研究的题目是 ______。
A．接口一致性 B．表达式分析
C．引用分析 D．类型和单位分析