单项选择题
设函数C（X）定义问题X的复杂程序，函数E（X）确定解决问题X需要的工作量（时间）。对于两个问题P1和P2，如果C（P1）>C（P2）显然E（P1）>E（P2），则得出结论E（P1+P2）>E（P1）+E（P2）就是（）
A.模块化的根据 B.逐步求精的根据 C.抽象的根据 D.信息隐藏和局部化的根据
单项选择题 详细设计的基本任务是确定每个模块的（）设计。
单项选择题 软件测试的目标是（）。
单项选择题 软件是（）。
