Chƣơng 5 THỰC NGHIỆM
5.1. Giới thiệu công cụ
Trong quá trình nghiên cứu và phát triển chƣơng trình, từ biểu đồ tuần tự chứa các thông điệp không đồng bộ, hoặc vòng lặp, đặc biệt biểu thức điều kiện, tôi đã tiến hành xây dựng công cụ để sinh ra đƣờng kiểm thử, kết hợp với công trình khóa luận tốt nghiệp của sinh viên Nguyễn Đức Anh [4] để cài đặt một công cụ hoàn thiện sinh bộ kiểm thử từ thiết kế. Đầu ra công cụ của tôi là đầu vào công cụ của sinh viên Nguyễn Đức Anh. Tuy nhiên để có thể sử dụng đƣợc công cụ của sinh viên Nguyễn Đức Anh thì tôi cần chuẩn hóa đầu ra của tôi về đúng định dạng đầu vào của Đức Anh. Điểm khác biệt của công cụ tôi với công cụ của sinh viên là đầu vào công cụ. Nếu đầu vào của Đức Anh là mã nguồn C thì đầu vào của tôi là biểu đồ tuần tự đặc tả thiết kế. Dƣới đây là kiến trúc công cụ do tôi phát triển:
Công cụ sinh ca kiểm thử Đường kiểm thử Tập ca kiểm thử Báo cáo kiểm thử Biểu đồ tuần tự (xmi, xml) Thực thi Hình 5.1. Kiến trúc công cụ
Trên màn hình của phƣơng pháp sinh mô hình, có nơi để truyền giá trị đầu vào. Để chọn file xmi, ta sử dụng nút ―Browse‖ bên cạnh mỗi đầu vào. File chứa đƣờng kiểm thử đầu vào đƣợc định dạng theo cách mỗi đƣờng kiểm thử là một dòng, giữa các hành động ngăn cách nhau bởi dấu - -> Sau khi lựa chọn các file đầu vào, nhấn ―Generate and view‖ để sinh đƣờng kiểm thử và ca kiểm thử. Kết quả sinh ra đƣợc hiển thị trên giao diện màn hình.