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
Nhân vật Anya Forger - ∎ SPY×FAMILY ∎
Nhân vật Anya Forger - ∎ SPY×FAMILY ∎
Một siêu năng lực gia có khả năng đọc được tâm trí người khác, kết quả của một nghiên cứu thuộc tổ chức nào đó
Việt Nam được nâng hạng thị trường thì sao?
Việt Nam được nâng hạng thị trường thì sao?
Emerging Market – Thị trường mới nổi là gì? Là cái gì mà rốt cuộc người người nhà nhà trong giới tài chính trông ngóng vào nó
Devil’s Diner - Tiệm Ăn Của Quỷ: Top 1 Netflix sau 36 giờ ra mắt
Devil’s Diner - Tiệm Ăn Của Quỷ: Top 1 Netflix sau 36 giờ ra mắt
Nếu bạn là một fan của dòng phim kinh dị Hannibal hay Chef’s Table thì Devil’s Diner (Tiệm Ăn Của Quỷ) chắc chắn sẽ khiến bạn đứng ngồi không yên vào dịp Tết này.
Spoiler Volume 19 LN: Rimuru nuốt chửng Michael
Spoiler Volume 19 LN: Rimuru nuốt chửng Michael
Rimuru đang dự hội nghị ở Ingrasia thì nghe tin chỗ Dagruel có biến nên xách theo Souei và Diablo chạy đến