3.3 Cài đặt thử nghiệm
Trong phần thử nghiệm, chúng tôi xây dựng một module sinh ca kiểm thử tự động từ biểu đồ tuần tự và biểu đồ trạng thái với phương pháp đã được trình bày ở chương 2. Module được xây dựng trong luận văn không phải là một tool chạy độc lập mà là một extention của Modelio – một phần mềm UML mã nguồn mở, do đó module
bắt buộc chạy trong môi trường của Modelio. Khi vẽ biểu đồ tuần tự và biểu đồ trạng thái của đối tượng cần kiểm tra trên Modelio, từng thành phần trên biểu đồ được modelio lưu lại thông tin, do đó khi xây dựng module sinh ca kiểm thử ta không cần sử dụng công cụ hay các phương pháp khác nhau để đọc dữ liệu từ modelio. Ta có thể sử dụng các hàm API (Application Programming Interface) do thư viện của modelio cung cấp để lấy các thông tin cần thiết trên biểu đồ
Phần dưới đây sẽ giới thiệu sơ lược về Modelio và các thuật toán áp dụng trong module sinh các ca kiểm thử.
3.3.1 Giới thiệu về Modelio
Modelio là một môi trường mô hình mã nguồn mở, hỗ trợ phân tích thiết kế phần mềm được phát triển bởi ModeiloSoft, có trụ sở tại Pari, Pháp. Nó hỗ trợ các diagram chuẩn UML2, BPMN2, SysML, SoaML và nhiều chuẩn khác. Điểm đặc biệt là Modelio không bị bó hẹp vào một tập tính năng cố định mà hỗ trợ cơ chế cho phép các nhà phát triển, các lập trình viên có thể tự viết thêm các module theo nhu cầu riêng để thêm vào chương trình. Công cụ này có các phiên bản hỗ trợ cho từng môi trường khác nhau như Window, Linux, MacOS, có thể download tại địa chỉ: https://www.modelio.org/downloads/download-modelio.html
Các đặc điểm chính của Modelio:
Đặc điểm chính Mô tả
UML Modeler
Modelio là một môi trường mô hình, hỗ trợ một loạt các mô hình và kiểm tra tính nhất quán của các tính năng
Hỗ trợ BPMN (Business Process Modeling Notaion) tích hợp với UML
Modelio kết hợp hỗ trợ BPMN và UML trong một công cụ, với sơ đồ chuyên dụng để hỗ trợ việc mô hình hóa kinh doanh
Sinh mã Java Các module thiết kế bằng Java sử dụng Eclipse, hỗ trợ sinh mã Java và ngược lại
XMI import/export
Modelio cung cấp tính năng import/export XMI, cho phép trao đổi mô hình UML2 giữa các công cụ khác với nhau
Mở rộng hệ thống
Modelio có thể mở rộng với bất kì ngôn ngữ nào, các phương pháp hoặc mô hình kĩ thuật đểu có thể được mở rộng bằng cách thêm các module cấu hình của mình.
Hỗ trợ ngôn ngữ kịch bản Jython
Modelio cung cấp hỗ trợ tích hợp các ngôn ngữ kịch bản Jython cho các yêu cầu trực tuyến, các kịch bản nhỏ và định nghĩa macro.