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

Phát triển phần mềm
Một phần của loạt bài về
Hoạt động cốt lõi Mô hình hóa dữ liệu Quy trình Yêu cầu Thiết kế Xây dựng Công nghệ Thử nghiệm Gỡ lỗi Triển khai Bảo trì
Mô hình và hình mẫu Linh hoạt Phòng sạch Tăng dần Nguyên mẫu Xoắn ốc Mô hình V Thác nước
Phương pháp và framework ASD DevOps DAD DSDM FDD IID Kanban Lean SD LeSS MDD MSF PSP RAD RUP SAFe Scrum SEMAT TDD TSP OpenUP UP XP
Các ngành hỗ trợ Quản lý cấu hình Tài liệu Đảm bảo chất lượng phần mềm Quản lý dự án Trải nghiệm người dùng
Thực hành ATDD BDD CCO CI CD DDD PP SBE Đứng TDD
Công cụ Trình biên dịch Trình gỡ lỗi Hồ sơ Trình thết kế GUI Mô hình hóa UML IDE Tự động hóa xây dựng Tự động hóa phát hành Cơ sở hạ tầng dưới dạng mã
Tiêu chuẩn và khối kiến thức CMMI Tiêu chuẩn IEEE ISO 9001 Tiêu chuẩn ISO/IEC PMBOK SWEBOK ITIL IREB OMG
Bảng thuật ngữ Trí tuệ nhân tạo Khoa học máy tính Kỹ thuật điện và điện tử
Sơ lược Sơ lược về phát triển phần mềm
x t s

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 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).^[1] 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

^ Wichmann, B. A.; Canning, A. A.; Clutterbuck, D. L.; Winsbarrow, L. A.; Ward, N. J.; Marsh, D. W. R. (tháng 3 năm 1995). “Industrial Perspective on Static Analysis” (PDF). Software Engineering Journal: 69–75. Bản gốc (PDF) lưu trữ ngày 27 tháng 9 năm 2011.

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.
Ayewah, Nathaniel; Hovemeyer, David; Morgenthaler, J. David; Penix, John; Pugh, William (2008). “Using Static Analysis to Find Bugs”. IEEE Software. 25 (5): 22–29. doi:10.1109/MS.2008.130. Bản gốc lưu trữ ngày 26 tháng 7 năm 2009. Truy cập ngày 5 tháng 5 năm 2017.
Brian Chess, Jacob West (Fortify Software) (2007). Secure Programming with Static Analysis. Addison-Wesley. ISBN 978-0-321-42477-8.
Flemming Nielson; Hanne R. Nielson; Chris Hankin (1999). Principles of Program Analysis . Springer. ISBN 978-3-540-65410-0.
"Abstract interpretation and static analysis," Lưu trữ 2016-04-03 tại Wayback Machine 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)^{[liên kết hỏng]}
Static Code Analysis - Polyspace
The SAMATE Project, a resource for Automated Static Analysis tools