开发组内部进行的,采用讲解、提问并使用编码模板进行的查找错误的活动。一般有正式的计划、流程和结果报告。代码审查( Cocle Inspection)是代码评审(Cocle Review)的一 种严格形式。
静态方法是指不运行被测程序本身,仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性。对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错。静态方法通过程序静态特性的分析,找出欠缺或可疑之处,例如不匹配的参数、不适当的循......