Quá trình đánh giá một chương trình mà không cần thực hiện chương trình. Xem thêm bàn kiểm tra, mã kiểm tra, kiểm tra, phân tích tĩnh, hướng dẫn. Phân tích tương phản với động lực.