Mục lục:
- Định nghĩa - Control Flow Graph (CFG) có nghĩa là gì?
- Techopedia giải thích Biểu đồ luồng điều khiển (CFG)
Định nghĩa - Control Flow Graph (CFG) có nghĩa là gì?
Trong khoa học máy tính, biểu đồ luồng điều khiển (CFG) là biểu diễn đồ họa của luồng điều khiển hoặc tính toán trong quá trình thực thi các chương trình hoặc ứng dụng. Biểu đồ luồng điều khiển chủ yếu được sử dụng trong phân tích tĩnh cũng như các ứng dụng biên dịch, vì chúng có thể biểu diễn chính xác luồng bên trong của một đơn vị chương trình.
Biểu đồ luồng điều khiển nợ phần lớn sự phát triển của nó cho Frances E. Allen.
Techopedia giải thích Biểu đồ luồng điều khiển (CFG)
Biểu đồ luồng điều khiển được định hướng theo quy trình và có thể hiển thị tất cả các đường dẫn có thể đi qua trong khi thực hiện chương trình. Biểu đồ luồng điều khiển cũng có thể được coi là biểu đồ có hướng trong đó cạnh mô tả các đường dẫn luồng điều khiển và các nút mô tả các khối cơ bản, là các đoạn thẳng mà không có bất kỳ bước nhảy hoặc phân nhánh nào.
Trong biểu đồ luồng điều khiển, tồn tại hai khối được chỉ định đặc biệt: khối nhập và thoát. Khối nhập cho phép điều khiển đi vào biểu đồ luồng điều khiển, trong khi luồng điều khiển rời khỏi khối thoát. Nói cách khác, biểu đồ luồng điều khiển bao gồm tất cả các khối xây dựng liên quan đến sơ đồ luồng như nút bắt đầu, nút kết thúc và luồng / vòng cung giữa các nút. Biểu đồ luồng điều khiển có thể mô tả cách các đơn vị chương trình hoặc ứng dụng khác nhau xử lý thông tin giữa các đầu khác nhau trong ngữ cảnh của hệ thống.
Có nhiều lợi thế liên quan đến biểu đồ dòng điều khiển. Nó có thể dễ dàng tóm tắt thông tin trên mỗi khối cơ bản. Nó có thể dễ dàng xác định vị trí các mã không thể truy cập của một chương trình và các cấu trúc cú pháp như các vòng lặp rất dễ tìm thấy trong biểu đồ luồng điều khiển.
