检验和有效性验证-Read.pptVIP

静态分析的使用 对于一种弱类型检查的语言特别有价值，如C语言，许多错误无法由编译器检测出来 对强类型检查的语言来说性价比不高，如Java，很多错误可以在编译中检测出来 名称是从半导体生产过程中的“净室”得来的。其思想是缺陷避免，而不是缺陷移除。 基于下列要点的软件开发: 增量开发 形式化描述 使用正确性论证进行静态检验 用统计性测试以决定程序可靠性 净室软件开发 净室过程 净室过程的特征 形式化描述，使用状态迁移模型 增量式开发 结构化编程 – 使用有限的控制结构和抽象结构 静态检验，使用严格的检查 系统统计性测试 增量式开发 形式化描述和检验 基于状态的系统模型，是系统描述和静态检查的基础 模型和系统之间的对应关系清晰 数学化的论证 (不是证明) 用来提高软件检查的信任程度 描述团队. 负责开发和维护系统描述 开发团队. 负责对软件的开发和检验。在这个检验过程中软件是不执行的，甚至不编译。 认证团队. 负责开发统计性测试用例集合，在软件开发出来后对其进行测试. 使用可靠性增长模型来决定何时可靠性是可接受的。 净室过程的团队 IBM公司用净室开发的系统在交付后故障很少，给人们留下深刻印象 独立的评估显示该过程并不比其它方法昂贵 比起传统的开发过程，错误更少 要由技术熟练、有责任心的软件工程人员执行时才起作用。 净室过程的评估 要点 检验和有效性验证不是一回事。检验的目的是要看