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 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 inspectionsoftware walkthrough cũng được sử dụng trong trường hợp sau.

Tham khảo

[sửa | sửa mã nguồn]

Trích dẫn

[sửa | sửa mã nguồn]
  1. ^ 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. tr. 69–75. Bản gốc (PDF) lưu trữ ngày 27 tháng 9 năm 2011.

Đọc thêm

[sửa | sửa mã nguồn]

Liên kết ngoài

[sửa | sửa mã nguồn]
Chúng tôi bán
Bài viết liên quan
Tổ chức Blue Roses trong Overlord
Tổ chức Blue Roses trong Overlord
Blue Roses (蒼 の 薔薇) là một nhóm thám hiểm được xếp hạng adamantite toàn nữ. Họ là một trong hai đội thám hiểm adamantite duy nhất của Vương quốc Re-Esfying.
Review phim Lật mặt 6 - Tấm vé định mệnh
Review phim Lật mặt 6 - Tấm vé định mệnh
Phần 6 của chuỗi series phim Lật Mặt vẫn giữ được một phong cách rất “Lý Hải”, không biết phải diễn tả sao nhưng nếu cắt hết creadit
Jujutsu Kaisen chương 264: Quyết Chiến Tại Tử Địa Shinjuku
Jujutsu Kaisen chương 264: Quyết Chiến Tại Tử Địa Shinjuku
Tiếp diễn tại chiến trường Shinjuku, Sukuna ngạc nhiên trước sự xuất hiện của con át chủ bài Thiên Thần với chiêu thức “Xuất Lực Tối Đa: Tà Khứ Vũ Thê Tử”.
Review phim The Secret Life of Walter Mitty
Review phim The Secret Life of Walter Mitty
Một bộ phim mình sẽ xem tới những giây cuối cùng, và nhìn màn hình tắt. Một bộ phim đã đưa mình đến những nơi unknown