一种静态测试程式的方法。由有经验之程式员与测试员组成小组，会前阅读相关资料，会上由撰写者介绍程式的演算法，逐步审查程式本身。在过程中利用一张完善的错误检查表，便于及时对照、分析及提出疑问。此方法之关键技术之一为设计一个完善的错误检查表，包括类型错误和字符串错误检查表。