单项选择题

A、理论
B、实验和验证
C、自动化设计及实现
D、抽象