Đường dẫn khả thi

Con đường khả thi là gì?

Một đường dẫn luồng điều khiển thông qua một hàm hoặc một thủ tục có thể thực hiện được nếu có sự gán cho các giá trị đầu vào để thúc đẩy việc thực thi theo đường dẫn. Chúng ta cũng có thể sử dụng một biểu thức chính quy để mô tả một tập hợp các đường dẫn.

Phân tích đường dẫn khả thi phụ thuộc vào:

• Kiểu liên kết của hằng số và khai báo biến của một hàm.

• Con đường từ đầu đến cuối.

Phương pháp:

Đường dẫn có thể được phân tích tốt bằng cách sử dụng kỹ thuật kiểm thử Hộp trắng, trong đó các trường hợp kiểm thử được xây dựng từ mã mà không cần tham chiếu đến các yêu cầu hoặc thông số kỹ thuật. Tập hợp các trường hợp thử nghiệm được xây dựng để đáp ứng một hoặc nhiều tiêu chí về phạm vi bảo hiểm.

• Statement Coverage : Mỗi câu lệnh của chương trình nên được thực hiện với số lần kiểm tra tối thiểu.

• Decision Coverage : Kết quả của mọi quyết định phải được coi là đúng và sai.

• Condition Coverage : Ngoài việc kiểm tra kết quả của mỗi quyết định, phải thực hiện các cách khác nhau để mỗi kết quả có thể đạt được thông qua các giá trị khác nhau của các điều kiện phụ trong một quyết định phải được thực hiện.

• Path Coverage : Tất cả các đường dẫn luồng điều khiển ra ngoài chương trình đều được kiểm tra.