Biểu đồ tuần tự UML 2

Nội dung của luận văn bao gồm: Chương 1 giới thiệu đề tài, lý do chọn đề tài, trình bày tổng quan nội dung nghiên cứu và bố cục luận văn. Chương 2 trình bày các khái niệm cơ bản phục vụ cho đề tài bao gồm các vấn đề liên quan trong kiểm thử dựa trên mô hình, phương pháp đặc tả mô hình bằng máy trạng thái UML. Các khái niệm về biểu đồ tuần tự và các phân đoạn trong thiết kế. Cuối cùng là giới thiệu đồ thị dòng điều khiển và đề xuất ba độ đo kiểm thử áp dụng cho bài nghiên cứu. Chương 3 nghiên cứu đề xuất cách biến đổi từ biểu đồ tuần tự sang đồ thị dòng điều khiển và các thuật toán biến đổi.

74p tomjerry001 18-10-2021 46 6   Download

Luận án đề xuất các giải pháp hỗ trợ trong việc giải quyết các vấn đề của bài toán trên. Thứ nhất, luận án đề xuất một quy trình sinh dữ liệu kiểm thử từ biểu đồ tuần tự UML và các ràng buộc OCL. Biểu đồ tuần tự UML 2.0 có thể áp dụng cho tất cả mười hai toán tử, có cấu trúc phức tạp, các khối lồng ghép. Và phương pháp áp dụng cho các ràng buộc kiểu dữ liệu số và cấu trúc động. Thứ hai, luận án đề xuất phương pháp sinh dữ liệu kiểm thử tự động từ các biểu đồ tuần tự UML 2.0 và biểu đồ lớp trong trường hợp vòng lặp và các ứng dụng tương tranh, giải quyết vấn đề bùng nổ số kịch bản kiểm thử;.

27p viyeri2711 14-09-2021 34 4   Download