CHƢƠNG 3 THỰC NGHIỆM
3.2 Kết quả thực nghiệm
Chƣơng trình đƣợc cài đặt thử nghiệm trên ngơn ngữ C++ sử dụng môi trƣờng phát triển Visual Studio 2015. Chƣơng trình đƣợc xây dựng để chạy với giao diện cửa sổ lệnh. Trong thực nghiệm, các giá trị MIN, MAX sẽ là
tham số đƣợc truyền vào. Cụ thể, luận văn đã thực nghiệm với bộ giá trị
MIN=1, MAX=20, nhƣ vậy mỗi phần tử trong bộ (a, b, c) sẽ có 20 giá trị lựa
chọn. Đầu ra ta cần tính tập dữ liệu kiểm thử hợp lệ và tập dữ liệu kiểm thử không hợp lệ tƣơng ứng để thể hiện biên phân hoạch.
Hình 3.2. Tham số MIN, MAX truyền vào tƣơng ứng là 1, 20 với cả ba giá trị a, b, c
Khi chạy thực nghiệm, các ngƣỡng MIN, MAX của từng giá trị a, b, c sẽ đƣợc truyền vào là tham số trên dịng lệnh chạy nhƣ hình trên. Thơng số cụ thể về khoảng giá trị giới hạn sẽ đƣợc in ra. Từ các khoảng giá trị giới hạn này, tập các bộ dữ liệu thử nghiệm (a, b, c) sẽ đƣợc sinh tự động từ trong
chƣơng trình. Sau đó, các bộ dữ liệu thử nghiệm (a, b, c) cũng sẽ đƣợc in ra
Hình 3.3. Một số mẫu trong tập các mẫu dữ liệu thử nghiệm đƣợc sinh ra
Từ tập hợp các dữ liệu thử nghiệm đƣợc sinh tự động, chƣơng trình sẽ thực hiện xây dựng tập Tset dựa trên cơ sở khoảng cách nhƣ đã mô tả. Các mẫu dữ liệu thử nghiệm đƣợc chọn vào tập Tset sau đó cũng sẽ đƣợc in ra màn hình.
Hình 3.4. Một số mẫu trong tập Tset đƣợc xây dựng
Từ tập Tset, ta tiến hành đột biến IncreaseInt, DecreaseInt,
IncreaseInKeepingSize, DecreaseInKeepingSize với các giá trị a, b, c là số nguyên dƣơng đƣợc giới hạn trong phạm vi [1, 20].
Việc thực hiện đột biến đƣợc thực hiện theo các bƣớc lặp để đạt đƣợc các bộ giá trị dữ liệu kiểm thử hợp lệ và khơng hợp lệ. Các kết quả sau đó sẽ đƣợc lƣu ra hai tập riêng biệt. Sau đó các mẫu dữ liệu thử nghiệm đƣợc chọn vào hai tập đó cũng sẽ đƣợc in ra màn hình.
Hình 3.5. Một số mẫu trong tập dữ liệu kiểm thử hợp lệ kết quả
Hình 3.6. Một số mẫu trong tập dữ liệu kiểm thử không hợp lệ kết quả