Phương pháp kiểm thử dòng điều khiển (control flow testing) nhằm phát hiện tỷ lệ cá cược bóng đá ngày hôm nay lỗi tiềm ẩn bên trong chương trình/đơn vị chương trình cần kiểm thử. tỷ lệ cá cược bóng đá ngày hôm nay lỗi này thường khó phát hiện bởi tỷ lệ cá cược bóng đá ngày hôm nay kỹ thuật kiểm thử chức năng hay kiểm thử hộp đen. Để áp dụng phương pháp này, chúng ta cần phân tích mã nguồn và xây dựng tỷ lệ cá cược bóng đá ngày hôm nay ca kiểm thử ứng với tỷ lệ cá cược bóng đá ngày hôm nay dòng điều khiển của chương trình/đơn vị chương trình.

1. Kiểm thử hộp trắtỷ lệ cá cược bóng đá ngày hôm nay

Kiểm thử hộp trắng sử dụng tỷ lệ cá cược bóng đá ngày hôm nay chiến lược cụ thể và sử dụng mã nguồn của chương trình/đơn vị phần mềm cần kiểm thử nhằm kiểm tra xem chương trình/đơn vị phần mềm có thực hiện đúng so với thiết kế và đặc tả hay không. Trong khi tỷ lệ cá cược bóng đá ngày hôm nay phương pháp kiểm thử hộp đen hay kiểm thử chức năng chỉ cho phép phát hiện tỷ lệ cá cược bóng đá ngày hôm nay lỗi/khiếm khuyết có thể quan sát được, kiểm thử hộp trắng cho phép phát hiện tỷ lệ cá cược bóng đá ngày hôm nay lỗi/khiếm khuyết tiềm ẩn bên trong chương trình/đơn vị phần mềm. tỷ lệ cá cược bóng đá ngày hôm nay lỗi này thường khó phát hiện bởi tỷ lệ cá cược bóng đá ngày hôm nay phương pháp kiểm thử hộp đen. Khác với tỷ lệ cá cược bóng đá ngày hôm nay phương pháp kiểm thử hộp đen nơi mà tỷ lệ cá cược bóng đá ngày hôm nay ca kiểm thử được sinh ra từ đặc tả của hệ thống, tỷ lệ cá cược bóng đá ngày hôm nay ca kiểm thử trong tỷ lệ cá cược bóng đá ngày hôm nay phương pháp kiểm thử hộp trắng được sinh ra từ mã nguồn. Kiểm thử hộp đen và kiểm thử hộp trắng không thể thay thế cho nhau mà chúng cần được sử dụng kết hợp với nhau trong một quy trình kiểm thử thống nhất nhằm đảm bảo chất lượng phần mềm. Tuy nhiên, để áp dụng tỷ lệ cá cược bóng đá ngày hôm nay phương pháp kiểm thử hộp trắng, người kiểm thử không chỉ cần hiểu rõ giải thuật mà còn cần có tỷ lệ cá cược bóng đá ngày hôm nay kỹ năng và kiến thức tốt về ngôn ngữ lập trình được dùng để phát triển phần mềm, nhằm hiểu rõ mã nguồn của chương trình/đơn vị phần mềm cần kiểm thử. Do vậy, việc áp dụng tỷ lệ cá cược bóng đá ngày hôm nay phương pháp kiểm thử hộp trắng thường tốn thời gian và công sức nhất là khi chương trình/đơn vị phần mềm có kích thước lớn. Vì lý do này, tỷ lệ cá cược bóng đá ngày hôm nay phương pháp kiểm thử hộp trắng chủ yếu được sử dụng cho kiểm thử đơn vị.

Hai phương pháp được sử dụng trong kiểm thử hộp trắng là kiểm thử dòng điều khiển (control flow testing) và kiểm thử dòng dữ liệu (data flow testing). Phương pháp kiểm thử dòng điều khiển tập trung kiểm thử tính đúng đắn của tỷ lệ cá cược bóng đá ngày hôm nay giải thuật sử dụng trong tỷ lệ cá cược bóng đá ngày hôm nay chương trình/đơn vị phần mềm. Phương pháp kiểm thử dòng dữ liệu tập trung kiểm thử tính đúng đắn của việc sử dụng tỷ lệ cá cược bóng đá ngày hôm nay biến dữ liệu sử dụng trong chương trình/đơn vị phần mềm.

2. Đồ thị dòtỷ lệ cá cược bóng đá ngày hôm nay điều khiển

Phương pháp kiểm thử dòng điều khiển dựa trên khái niệm đồ thị dòng điều khiển (control flow graph). Đồ thị này được xây dựng từ mã nguồn của chương trình/đơn vị chương trình. Đồ thị dòng điều khiển là một đồ thị có hướng gồm tỷ lệ cá cược bóng đá ngày hôm nay đỉnh tương ứng với tỷ lệ cá cược bóng đá ngày hôm nay câu lệnh/nhóm câu lệnh và tỷ lệ cá cược bóng đá ngày hôm nay cạnh là tỷ lệ cá cược bóng đá ngày hôm nay dòng điều khiển giữa tỷ lệ cá cược bóng đá ngày hôm nay câu lệnh/nhóm câu lệnh. Nếu i và j là tỷ lệ cá cược bóng đá ngày hôm nay đỉnh của đồ thị dòng điều khiển thì tồn tại một cạnh từ i đến j nếu lệnh tương ứng với j có thể được thực hiện ngay sau lệnh tương ứng với i.

Xây dựng một đồ thị dòng điều khiển từ một chương trình/đơn vị chương trình khá đơn giản. Chúng ta thử xem cách dựng đồ thị dòng điều khiển cho đơn vị chương trình có mã nguồn bằng ngôn ngữ C như Hình 1. Chúng ta đánh số tỷ lệ cá cược bóng đá ngày hôm nay dòng lệnh của đơn vị chương trình và lấy số này làm đỉnh của đồ thị. Điểm xuất phát của đơn vị chương trình ứng với câu lệnh khai báo hàm foo. Đỉnh 1 ứng với câu lệnh khai báo biến e. tỷ lệ cá cược bóng đá ngày hôm nay đỉnh 2 và 3 ứng với câu lệnh if. Đỉnh 4 ứng với câu lệnh khai báo biến x trong khi tỷ lệ cá cược bóng đá ngày hôm nay đỉnh 5 và 6 ứng với câu lệnh if. Đỉnh 7,8 đại diện cho hai câu lệnh 7 và 8. Trong trường hợp này, chúng ta không tách riêng thành hai đỉnh vì đây là hai câu lệnh tuần tự nên chúng ta ghép chúng thành một đỉnh nhằm tối thiểu số đỉnh của đồ thị dòng điều khiển. Với cách làm này, chúng ta xây dựng được đồ thì dòng điều khiển với số đỉnh nhỏ nhất. Chúng ta sẽ sử dụng đồ thị này để phân tích và sinh tỷ lệ cá cược bóng đá ngày hôm nay ca kiểm thử nên đồ thị càng ít đỉnh thì độ phức tạp của thuật toán phân tích càng nhỏ.

Sau khi có đồ thị dòng điều khiển, chúng ta áp dụng tỷ lệ cá cược bóng đá ngày hôm nay độ đo trong kiểm thử để xác định đường đi. Từ đó, sinh tỷ lệ cá cược bóng đá ngày hôm nay ca kiểm thử.

Hình 1. Mã nguồn của hàm foo và đồ thị dòtỷ lệ cá cược bóng đá ngày hôm nay điều khiển của nó

3. tỷ lệ cá cược bóng đá ngày hôm nay độ đo kiểm thử

Độ đo kiểm thử cấp 1 (C1): mỗi câu lệnh được thực hiện ít nhất một lần sau khi chạy tỷ lệ cá cược bóng đá ngày hôm nay ca kiểm thử (test cases).

Độ đo kiểm thử cấp 2 (C2): tỷ lệ cá cược bóng đá ngày hôm nay điểm quyết định trong đồ thị dòng điều khiển của đơn vị kiểm thử đều được thực hiện ít nhất một lần cả hai nhánh đúng và sai.

Độ đo kiểm thử cấp 3 (C3): Với tỷ lệ cá cược bóng đá ngày hôm nay điều kiện phức tạp (chứa nhiều điều kiện con cơ bản), việc chỉ quan tâm đến giá trị đúng sai là không đủ để kiểm tra tính đúng đắn của chương trình ứng với điều kiện phức tạp này. Với tỷ lệ cá cược bóng đá ngày hôm nay đơn vị chương trình có yêu cầu cao về tính đúng đắn, việc tuân thủ độ đo C3 là hết sức cần thiết. Điều kiện để đảm bảo độ đo này là tỷ lệ cá cược bóng đá ngày hôm nay điều kiện con thuộc tỷ lệ cá cược bóng đá ngày hôm nay điều kiện phức tạp tương ứng với tỷ lệ cá cược bóng đá ngày hôm nay điểm quyết định trong đồ thị dòng điều khiển của đơn vị cần kiểm thử đều được thực hiện ít nhất một lần cả hai nhánh đúng và sai.

4. Kết luận

Bài báo này, chúng tôi đã giới thiệu tổng quan về kiểm thử hộp trắng, đồ thị dòng điều khiển và cách xây dựng đồ thị. Ngoài ra, chúng tôi đã tìm hiểu và trình bày về tỷ lệ cá cược bóng đá ngày hôm nay độ đo trong kiếm thử nhằm xác định đường đi từ đồ thị dòng điều khiển. Từ đó, xác định tỷ lệ cá cược bóng đá ngày hôm nay ca kiểm thử cho mọi trường hợp.

TÀI LIỆU THAM KHẢO

[1] Phạm tỷ lệ cá cược bóng đá ngày hôm nayọc Hùtỷ lệ cá cược bóng đá ngày hôm nay, Trươtỷ lệ cá cược bóng đá ngày hôm nay Anh Hoàtỷ lệ cá cược bóng đá ngày hôm nay – Giáo trình kiểm thử phần mềm – Đại học Quốc gia Hà Nội, 2010

[2] Hartman A. and Nagin K., The agedis tools for model based testing, Proceedings of the 2004 ACM SIG- SOFT international symposium on Software testing.