一个软件之所以成为能长时间应用的一个工具，它除了要对“测试过的”（如为项目验收而做的测试）功能是正确的外，还要看其架构、数据流、控制流等，之所以做这些规范设计，是因为软件很多时候它的正确定是靠规范的开发，甚至是形式化验证完成的，所以才有软件成熟度模型CMMI。
发布于 上海
裴喜龙
一个软件之所以成为能长时间应用的一个工具，它除了要对“测试过的”（如为项目验收而做的测试）功能是正确的外，还要看其架构、数据流、控制流等，之所以做这些规范设计，是因为软件很多时候它的正确定是靠规范的开发，甚至是形式化验证完成的，所以才有软件成熟度模型CMMI。