Program analysis là gì?

Phân tích chương trình (program analysis) là quá trình tự động phân tích hành vi của các chương trình máy tính liên quan đến một đặc tính như tính đúng đắn (correctness), robustness, tính an toàn (safety) và liveness. Phân tích chương trình (program analysis) tập trung vào hai lĩnh vực chính: tối ưu hóa chương trình (program optimization) và tính đúng đắn (correctness) của chương trình. Phần đầu tiên tập trung vào việc cải thiện hiệu suất của chương trình trong khi giảm mức sử dụng tài nguyên (resource) trong khi phần thứ hai tập trung vào việc đảm bảo rằng chương trình thực hiện những gì nó phải làm. Phân tích chương trình có thể được thực hiện mà không cần thực thi chương trình (phân tích chương trình tĩnh (static program analysis)), trong runtime (phân tích chương trình động (dynamic program analysis)) hoặc kết hợp cả hai.

Program analysis tương đồng với đặc tả chương trình (program specification).