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

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

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

静态模型不包括包图。

判断题静态模型不包括包图。

数据库设计包括概念设计、逻辑设计和物理设计。

判断题数据库设计包括概念设计、逻辑设计和物理设计。