问题:
A、静态测试
B、动态测试
C、程序正确性证明
D、系统测试
相关内容