tailieunhanh - Phương pháp sinh mô hình tự động cho các biểu đồ UML 2.0

Bài viết này giới thiệu một số cải tiến cho phương pháp sinh mô hình cho các đối tượng trong biểu đồ tuần tự UML . Ý tưởng chính của một số cải tiến là phân tích biểu đồ tuần tự đầu vào có cấu trúc phức tạp chứa hầu hết các phân đoạn lồng ghép với nhau để xác định các thông điệp vào ra của từng đối tượng và thứ tự thực hiện của chúng nhằm xây dựng mô hình cho từng đối tượng. | Kỷ yếu Hội nghị Khoa học Quốc gia lần thứ IX Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin FAIR 9 Cần Thơ ngày 4-5 8 2016 DOI PHƯƠNG PHÁP SINH MÔ HÌNH TỰ ĐỘNG CHO CÁC BIỂU ĐỒ UML Lê Chí Luận 1 2 Phạm Ngọc Hùng2 1 Khoa Công nghệ Thông tin Đại học Công nghệ Giao thông Vận tải 2 Khoa Công nghệ Thông tin Đại học Công nghệ - Đại học Quốc gia Hà Nội luanlc@ hungpn@ TÓM TẮT Báo cáo này giới thiệu một số cải tiến cho phương pháp sinh mô hình cho các đối tượng trong biểu đồ tuần tự UML . Ý tưởng chính của một số cải tiến là phân tích biểu đồ tuần tự đầu vào có cấu trúc phức tạp chứa hầu hết các phân đoạn lồng ghép với nhau để xác định các thông điệp vào ra của từng đối tượng và thứ tự thực hiện của chúng nhằm xây dựng mô hình cho từng đối tượng. Các mô hình này sẽ được đặc tả bằng ôtômát vào ra IO automata . Các mô hình sinh ra bởi phương pháp đề xuất sẽ được sử dụng để kiểm chứng tính đúng đắn của thiết kế đã cho cũng như được sử dụng để sinh các ca kiểm thử cho phương pháp kiểm thử dựa trên mô hình. Từ khóa Sinh mô hình tự động biểu đồ tuần tự ôtômát vào ra. I. GIỚI THIỆU Đảm bảo chất lƣợng là một vấn đề quan trọng và tốn chi phí cao trong quá trình phát triển phần mềm. Tự động hóa một số bƣớc trong quá trình đảm bảo chất lƣợng là mục tiêu hƣớng tới của các doanh nghiệp nhằm giảm chi phí phát triển. Ngoài ra đối với những sản phẩm có yêu cầu chất lƣợng cao nhƣ hệ thống điều khiển máy bay tàu ga kỹ thuật quân sự y tế . các phƣơng pháp hình thức sẽ đƣợc yêu cầu áp dụng nhằm đảm bảo tính đúng đắn của thiết kế trƣớc khi triển khai tại pha thiết kế và chứng minh tính đúng đắn của cài đặt so với thiết kế. Giải pháp phố biến nhất hiện nay để chứng minh tính đúng đắn của thiết kế là phƣơng pháp kiểm chứng mô hình 1 6 5 . Để áp dụng những phƣơng pháp này ta cần phải xây dựng các mô hình đặc tả chính xác hành vi của hệ thống cần kiểm chứng 3 2 7 . Hơn nữa các mô hình này còn đƣợc sử dụng để áp dụng các kỹ thuật kiểm thử dựa