system code verification
การทวนสอบโปรแกรมระบบ
การทบทวนการเขียนรหัสต้นทางที่สัมพันธ์กับคำอธิบายในเอกสารกำกับโปรแกรมระบบ