Phân tích chương trình tĩnh

Phân tích chương trình tĩnh là quá trình phân tích phần mềm máy tính được thực hiện mà không có thực sự chạy chương trình đó (ngược lại, phân tích một chương trình đang chạy gọi là phân tích động). Trong hầu hết các trường hợp, phân tích được thực hiện trên một số phiên bản của mã nguồn, và trong các trường hợp khác, trên vài dạng của mã đối tượng.

Thuật ngữ này thường được áp dụng cho phân tích được thực hiện bởi một công cụ tự động, với sự tham gia của người hiểu về chương trình, program comprehension, hay code review. Software inspection và software walkthrough cũng được sử dụng trong trường hợp sau.

Xem thêm 

 Kiểm tra mã
 Bộ sinh tài liệu
 Ngữ nghĩa của ngôn ngữ lập trình
 Formal verification
 Danh sách công cụ phân tích mã tĩnh
 Phân tích hình khối (phần mềm)

Tham khảo

Trích dẫn

Nguồn 
 Kaner, Cem; Nguyen, Hung Q; Falk, Jack (1988). Testing Computer Software (Second ed.). Boston: Thomson Computer Press. ISBN 0-47135-846-0.
 Static Testing C++ Code: A utility to check library usability

Đọc thêm 
 Syllabus and readings for Alex Aiken’s Stanford CS295 course.
 
 
 
 "Abstract interpretation and static analysis,"  International Winter School on Semantics and Applications 2003, by David A. Schmidt

Liên kết ngoài 
 Code Quality Improvement - Coding standards conformance checking (DDJ)
 Competition on Software Verification (SV-COMP)
 Episode 59: Static Code Analysis Interview (Podcast) at Software Engineering Radio
 Implementing Automated Governance for Coding Standards Explains why and how to integrate static code analysis into the build process
 Integrate static analysis into a software development process
 Static Analysis (InfoQ)
 Static Code Analysis - Polyspace
 The SAMATE Project, a resource for Automated Static Analysis tools

Phân tích chương trình
Software review
Kiểm thử phần mềm
Phân tích chương trình tĩnh
Bảo đảm chất lượng