Góc học tập
17/11/2020 08:21:26 PM

Kiểm thử dòng dữ liệu động

Kiểm thử dòng dữ liệu tĩnh không đảm bảo phát hiện tất cả các lỗi liên quan đến việc khởi tạo, gán giá trị mới và sử dụng các biến (trong các câu lệnh tính toán và các biểu thức điều kiện như trong các lệnh rẽ nhánh và lặp). Nó được xem như một bước tiền xử lý mã nguồn trước khi áp dụng phương pháp kiểm thử dòng dữ liệu động. Chúng ta hy vọng các lỗi còn lại (không được phát hiện bởi kiểm thử dòng dữ liệu tĩnh) sẽ được phát hiện bởi phương pháp này. Các biến xuất hiện trong một chương trình theo một số trường hợp như: khởi tạo, gán giá trị mới, tính toán, và dùng làm điều khiển trong các biểu thức điều kiện của các lệnh rẽ nhánh và lặp. Có hai lý do chính khiến chúng ta phải tiến hành kiểm thử dòng dữ liệu của chương trình:

•  Chúng ta cần chắc chắn rằng một biến phải được gán đúng giá trị, tức là chúng ta phải xác định được một đường đi của biến từ một điểm bắt đầu nơi nó được định nghĩa đến điểm mà biến đó được sử dụng. Mỗi khi chưa có các ca kiểm thử để kiểm tra đường đi này, chúng ta không thể tự tin khẳng định là biến này đã được gán giá trị đúng.

•  Ngay cả khi gán đúng giá trị cho biến thì các giá trị được sinh ra chưa chắc đã chính xác do tính toán hoặc các biểu thức điều kiện sai (biến được sử dụng sai). Để áp dụng phương pháp kiểm thử dòng dữ liệu động, chúng ta phải xác định các đường dẫn chương trình có một điểm đầu vào và một điểm đầu ra sao cho nó bao phủ việc gán giá trị và sử dụng mỗi biến của chương trình/đơn vị chương trình cần kiểm thử. Cụ thể, chúng ta cần thực hiện các bước sau:

•  Xây dựng đồ thị dòng dữ liệu của chương trình/đơn vị chương trình

•  Chọn một hoặc một số tiêu chí kiểm thử dòng dữ liệu

•  Xác định các đường dẫn chương trình phù hợp với tiêu chí kiểm thử đã chọn

•  Lấy ra các biểu thức điều kiện từ tập các đường đi, thực hiện giải các biểu thức điều kiện để có được các giá trị đầu vào cho các ca kiểm thử tương ứng với các đường đi này và tính toán giá trị đầu ra mong đợi của mỗi ca kiểm thử

•  Thực hiện các ca kiểm thử để xác định các lỗi (có thể có) của chương trình.

•  Sửa các lỗi (nếu có) và thực hiện lại tất cả các ca kiểm thử trong trường hợp bước trên phát hiện ra lỗi.