TAILIEUCHUNG - 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

• Kỹ thuật lập trình
• Phương pháp sinh mô hình tự động
• Sinh mô hình tự động
• Biểu đồ UML 2 0
• Mô hình kiểm thử
• Ngôn ngữ Java
• Luận án Tiến sĩ Khoa học giáo dục
• Phương pháp dạy học bộ môn sinh học
• Mô hình dạy học kết hợp
• Dạy học môn Sinh lý người
• Sinh lý động vật
• Năng lực tự học trực tuyến
• Tóm tắt Luận án Tiến sĩ
• Khoa học giáo dục
• Phương pháp sinh tự động ca kiểm thử
• Mô hình ca sử dụng
• Đặc tả ca sử dụng
• Use Case Specification
• Automatic Test Generation
• Kịch bản kiểm thử ca sử dụng
• Kiểm thử tự động từ
• Mô hình thiết kế UML
• Ngôn ngữ ràng buộc đối tượng OCL
• Mô hình thiết kế OCL
• Tiêu chuẩn luồng thông điệp
• Sáng kiến kinh nghiệm
• Sáng kiến kinh nghiệm THPT
• Sáng kiến kinh nghiệm môn Sinh
• Phương pháp mô hình hóa
• Cấu trúc tế bào
• Dạy học phát triển năng lực học sinh
• Luận văn giáo dục
• Luận văn tốt nghiệp giáo dục dạy học
• Luận văn phương pháp giảng dạy Vật lý
• Luận văn tốt nghiệp giảng dạy Vật lý
• Đề tài mô hình dạy học Vật lý
• Tổ chức phương pháp giảng dạy Vật lý
• Hoạt động nhóm trong học tập
• Mô hình hoạt động học tập nhóm
• Đổi mới phương pháp học tập
• Nhóm phương pháp tự học
• Bản chất hoạt động nhóm trong học tập
• Luận văn Thạc sĩ
• Kỹ thuật phần mềm
• Công nghệ thông tin
• Kiểm thử luồng song song
• Kiểm thử tự động
• Kiểm thử dựa trên mô hình
• phương pháp xử lý nước thải
• xử lý hợp chất hữu cơ
• bể lọc sinh học
• mô hình công nghệ
• xử lý thuỷ ngân
• trình bày báo cáo
• báo cáo kỹ thuật
• báo cáo sinh học
• báo cáo nông nghiệp
• báo cáo lịch sử