Kiểm tra đường dẫn

Kiểm tra đường dẫn là gì?

Kiểm tra đường dẫn là một phương pháp kiểm tra cấu trúc dựa trên mã nguồn hoặc thuật toán và KHÔNG dựa trên các thông số kỹ thuật. Nó có thể được áp dụng ở các mức độ chi tiết khác nhau.

Các giả định kiểm tra đường dẫn:

• Các thông số kỹ thuật là chính xác

• Dữ liệu được xác định và truy cập đúng cách

• Không có khiếm khuyết nào tồn tại trong hệ thống ngoài những khiếm khuyết ảnh hưởng đến luồng điều khiển

Kỹ thuật kiểm tra đường dẫn:

• Control Flow Graph (CFG) - Chương trình được chuyển đổi thành đồ thị Luồng bằng cách biểu diễn mã thành các nút, vùng và cạnh.

• Decision to Decision path (D-D) - CFG có thể được chia thành các đường dẫn Quyết định đến Quyết định khác nhau và sau đó thu gọn thành các nút riêng lẻ.

• Independent (basis) paths - Đường dẫn độc lập là đường dẫn qua đồ thị đường dẫn DD không thể được sao chép từ các đường dẫn khác bằng các phương pháp khác.