单项选择题 设函数C（X）定义问题X的复杂程序，函数E（X）确定解决问题X需要的工作量（时间）。对于两个问题P1和P2，如果C（P1）>C（P2）显然E（P1）>E（P2），则得出结论E（P1+P2）>E（P1）+E（P2）就是（）

单项选择题 详细设计的基本任务是确定每个模块的（）设计。

单项选择题 软件测试的目标是（）。