判断题 程序正确性证明能证明程序的功能和动态特性符合设计要求.

判断题 开发软件时投入的人员越多，开发时间就越短.

判断题 CMM定义的5个等级能引导软件机构不断识别出其软件过程的缺陷，指出应该做哪些改进，并（不）提供做这些改进的具体措施。