单项选择题

A、结构合理性
B、软件外部功能
C、程序正确性
D、程序内部逻辑