กระบวนการประเมินโปรแกรมโดยไม่มีการดำเนินการโปรแกรม เห็นโต๊ะทำงานในการตรวจสอบ รหัสการตรวจสอบ ตรวจสอบ การวิเคราะห์แบบคงที่ walk-through การวิเคราะห์ ความคมชัดกับไดนามิก