tailieunhanh - Bài giảng Kiểm thử phần mềm: Chương 4 - Nguyễn Văn Hiệp

Bài giảng "Kiểm thử phần mềm - Chương 4: Kỹ thuật kiểm thử hộp trắng" cung cấp cho người đọc các kiến thức: Tổng quát về kiểm thử dòng dữ liệu, phân tích đời sống của 1 biến, đồ thị dòng dữ liệu, qui trình kiểm thử dòng dữ liệu, . Mời các bạn cùng tham khảo. | Chương 4 Kỹ thuật kiểm thử hộp trắng tt Tổng quát về kiểm thử dòng dữ liệu Mục tiêu của chương trình là xử lý dữ liệu. Dữ liệu của chương trình là tập nhiều biến ộc lập. Phương pháp kiểm thử dòng dữ liệu sẽ kiểm thử ời sống của từng biến dữ liệu có quot tốt lành quot trong từng luồng thi hành của chương trình. Phương pháp kiểm thử dòng dữ liệu là 1 công cụ mạnh ể phát hiện việc dùng không hợp lý các biến do lỗi coding phần mềm gây ra à Phát biểu gán hay nhập dữ liệu vào biến không úng. à Thiếu ịnh nghĩa biến trước khi dùng à Tiên ề sai do thi hành sai luồng thi hành . à . Mỗi biến nên có chu kỳ sống tốt lành thông qua trình tự 3 bước ược tạo ra ược dùng và ược xóa i. Chỉ có những lệnh nằm trong tầm vực truy xuất biến mới có thể truy xuất xử lý ược biến. Tầm vực truy xuất biến là tập các lệnh ược phép truy xuất biến ó. Thường các ngôn ngữ lập trình cho phép ịnh nghĩa tầm vực cho mỗi biến thuộc 1 trong 3 mức chính yếu toàn cục cục bộ trong từng module cục bộ trong từng hàm chức năng. int x y void func1 thân hàm int x ịnh nghĩa biến x mới cục bộ trong hàm . mỗi lần truy xuất x là x cục bộ trong hàm khối lệnh bên trong bắt ầu int y ịnh nghĩa biến y mới cục bộ trong lệnh phức hợp https tailieudientucntt . mỗi lần truy xuất y là y cục bộ trong lệnh phức hợp y bên trong tự ộng bị xóa . truy xuất y ngoài cùng x cục bộ trong hàm x cục bộ trong hàm bị xóa tự ộng Phân tích ời sống của 1 biến Các lệnh truy xuất 1 biến thông qua 1 trong 3 hành ộng sau à d ịnh nghĩa biến gán giá trị xác ịnh cho biến nhập dữ liệu vào biến cũng là hoạt ộng gán trị cho biến . à u tham khảo trị của biến thường thông qua biểu thức . à k hủy xóa bỏ biến i. Như vậy nếu ký hiệu là miêu tả trạng thái mà ở ó biến chưa tồn tại ta có 3 khả năng xử lý ầu tiên trên 1 biến à d biến chưa tồn tại rồi ược ịnh nghĩa với giá trị xác ịnh. à u biến chưa tồn tại rồi ược dùng ngay trị nào à k biến chưa tồn tại rồi bị hủy lạ lùng . 3 hoạt ộng xử lý biến khác nhau kết hợp lại tạo ra 9