程序的静态测试是在不执行程序的条件下，有条理地仔细审查软件设计、体系结构和代码，从而找出软件错误的过程。静态测试的重要方法有同行审查、代码会审、代码走查等，这些审查方法具有四个基本要素：
（1） 查找问题
　　审查的目的是找出软件的问题，所有批评应该直接针对代码，而不是编写代码的人。
（2） 遵守规则
　　审查需要遵守一套固定的规则，包括可能会设定所审查的代码量、所花的时间、那些内容要做备注等。
（3） 审查准备
　　每一个合作者都要为审查做准备，审查过程中找出的问题大部分是在准备期间发现的，而不是实际的审查期间。
（4） 编写报告
　　审查小组必须做出总结审查结果的书面报告，并将审查会议结果尽快通知。
同行审查
　　同行审查常常仅在编写代码的程序员和充当审查者的其他1～2个程序员和测试员之间进行。为了保证审查的高效率，不致流于休息闲聊，所有参与人员切实保证审查的四个基本要素，即查找问题、遵守规则、审查准备和编写报告。
代码会审
　　代码会审是由若干程序员和测试员组成一个会审小组，编写代码的程序员逐句讲解代码是如何以及为什么工作的，审查人员聆听陈述，提出有疑义的问题。审查人员应该在审查之前接到软件拷贝，以便检查并编写备注和问题，在审查过程中提问。
代码走查
　　代码走查与代码会审基本相同，所不同的是它不是简单地阅读程序代码和对照错误检查表进行检查，而是由测试人员为被测程序准备一批具有代表性的测试用例，走查小组按照所提交的测试用例，模仿计算机运行一遍，并记录跟踪情况。经过讨论分析后，找出软件的错误。