静态方法是指不运行被测程序本身,仅通过分析或检查源程序的语法、结构、过程、接口等来检查程序的正确性.对需求规格说明书、软件设计说明书、源程序做结构分析、流程图分析、符号执行来找错.静态方法通过程序静态特...