详细设计阶段需要具体地编写程序。

将软件进行模块化分可以减小问题解决的复杂度，但是不应该不受限制地将模块细化。

判断题将软件进行模块化分可以减小问题解决的复杂度，但是不应该不受限制地将模块细化。

软件测试是对程序设计工作的检验，是为了证明程序不存在错误。

判断题软件测试是对程序设计工作的检验，是为了证明程序不存在错误。

UML中用状态图、顺序图、协作图和包图来建立动态模型。

判断题UML中用状态图、顺序图、协作图和包图来建立动态模型。