如果通过软件测试没有发现错误，则说明软件是正确的。

编程语言应该在软件概要设计时选择。

判断题编程语言应该在软件概要设计时选择。

过程描述语言可以用于描述软件的系统结构。

判断题过程描述语言可以用于描述软件的系统结构。

一个模块实际上就是一个进程。

判断题一个模块实际上就是一个进程。