Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm
Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm
ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÒNG NGHỆĐậu Quốc ToànNGHIÊN cứụ KHẢ NẶNG CHUYỂN Đổi GIỮA CÁC ĐẶC TÀ HÌNH THỨCVÀ ỨNG DỤNG TRONG KIÊM CHỨNG PHAN Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm N MEMLUẬN VĂN THẠC sĩ CÒNG NGHỆ THÒNG TINHÀ NỘI-2015DẠI HỌC QUỐC GIA ĨIÀ NỘI TRƯỜNG ĐẠI HỌC CÒNG NGHỆĐậu Quốc ToànNGHIÊN cứụ KHẢ NẶNG CHUYỂN Đổi GIỮA CÁC ĐẶC TẶ HÌNH THỨC VÀ ỨNG DỤNG TRONG KIÊM CHỨNG PHAN MEMNgành: Công nghệ thông tin Chuyên ngành: Kỹ thuật Phần mềm Mã số: 60480103LUẬN VẨN THẠC sĩ C Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm ÔNG NGHỆ THÒNG TINNGƯỜI HƯỚNG DẨN KHOA HỌC: T1EN sì phạm ngọc hừngHÀ NỘĨ-2015Lời cảm ơn1'rưức tiên, tôi muốn gửi lòi cám ơn sâu sác nhất đến thầy giáoNghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm
, 1S. Phạm Ngọc 1 Tùng, người dà tận tình chì bảo và hướng dẫn tôi trong suốt quá trình học tập, nghiên cứu và thực hiện luận vãn tốt nghiệp.lôi xin bĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÒNG NGHỆĐậu Quốc ToànNGHIÊN cứụ KHẢ NẶNG CHUYỂN Đổi GIỮA CÁC ĐẶC TÀ HÌNH THỨCVÀ ỨNG DỤNG TRONG KIÊM CHỨNG PHAN Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm trưòìĩg Đại Học Còng Nghệ.Tôi xin chân thành câm ơn GS. Jeff Magee - Trường khoa Kỷ Thuật, trường dại học I loàng Gia London, tác già cuốn sách "Concurrency - State models and Java programs (2. ed.)". Giáo sư đã nhiệt tinh giãi dáp các vấn đề mà tôi gập phải trong quá trình thực hiện luận vãn.Xin gừ Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm i lời cảm ơn tời bạn Nguyễn Bảo Ngọc, người dã giúp dờ tôi các vần dề kỷ thuật liên quan tới luận văn củng như các vấn dề khác trong cuộc sống.Tôi muốNghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm
n gừi lời câm ơn sâu sắc đến gia dinh và tất cà bạn bè, những người luôn kịp thời động viên và giúp đờ tỏi vượt qua nhùng khó khăn trong cuộc sống.CuốĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÒNG NGHỆĐậu Quốc ToànNGHIÊN cứụ KHẢ NẶNG CHUYỂN Đổi GIỮA CÁC ĐẶC TÀ HÌNH THỨCVÀ ỨNG DỤNG TRONG KIÊM CHỨNG PHAN Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm nghiên cứu và trao dối cùng với bạn bè.Tỏi xin chân thành cám ơn !Hà Nội, 28 tháng 05 năm 2015Học viênĐậu Quốc ToàniiiLời cam đoanTôi xin cam đoan luận vãn này là công trình nghiên cứu của riêng tôi. Các số liệu, kết quả được trinh bày trong luận ván là hoàn toàn trung thực vã chưa từng dược công b Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm ố trong bầt kỳ một công trình nào khác. Tôi dã trích dần dầy đủ các tài liệu tham khảo, công trinh nghiên cứu liên quan ờ trong nước và quốc tế. NgoạiNghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm
trừ các tài liệu tham khảo này, luận văn hoàn toàn Là công việc của riềng tôi.Hà Nội, 28 lining 5 năm 2015Học viênDậu Quốc ToànivTóm tắtAssume GuaranĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÒNG NGHỆĐậu Quốc ToànNGHIÊN cứụ KHẢ NẶNG CHUYỂN Đổi GIỮA CÁC ĐẶC TÀ HÌNH THỨCVÀ ỨNG DỤNG TRONG KIÊM CHỨNG PHAN Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm iểm chứng mỏ hình. Hiện tại, AGlool là một trong những công cụ tiềm năng trong việc hồ trợ kiêm chứng phẩn niềm hướng thành phần. Thay vì kiêm chứng trên toàn bộ hệ thống, công cụ này chia bài toán kiêm chứng thành các bái toán nhó hon ứng với các thành phần phần mềm và kiểm chứng các thành phần này Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm một cách riêng biệt Tuy nhiên, công cụ AGTool còn tồn tại nhiều hạn chế đê có thê ứng dụng vào trong thực tế và tương tác với các công cụ kiêm chứngNghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm
phản mềm khác như LTSA. AGTool sir dụng kiểu dử liệu liệt kê (LF), dây lã một trong những kiêu biêu diễn của hệ thống dịch chuyển dược gán nhãn (LTS).ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÒNG NGHỆĐậu Quốc ToànNGHIÊN cứụ KHẢ NẶNG CHUYỂN Đổi GIỮA CÁC ĐẶC TÀ HÌNH THỨCVÀ ỨNG DỤNG TRONG KIÊM CHỨNG PHAN Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm ay thế cho kiểu dữ liệu LF của AGTool. Mục tiêu cùa luận văn lã dưa ra phương pháp chuyển dổi qua lại giừa các kiêu dừ liệu LF-FSP và ứng dụng vào công cụ kiêm chứng AGTool. Luận văn đề xuất một thuật toán đê chuyên tir LF sang FSP. Dựa trên công cụ LTSA cùa tác giả Jeff Magee, luận văn dã tiến hành Nghiên cứu khả năng chuyển đổi giữa các đặc tả hình thức và ứng dụng trong kiểm chứng phần mềm tích hợp giữa AGTool và LTSA dê chuyên dổi từ FSP sang LF. Những cải tiến này sẻ giúp AGTool trờ thành một công cụ hiệu quà và tốt hơn trong thực tế.ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÒNG NGHỆĐậu Quốc ToànNGHIÊN cứụ KHẢ NẶNG CHUYỂN Đổi GIỮA CÁC ĐẶC TÀ HÌNH THỨCVÀ ỨNG DỤNG TRONG KIÊM CHỨNG PHANĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÒNG NGHỆĐậu Quốc ToànNGHIÊN cứụ KHẢ NẶNG CHUYỂN Đổi GIỮA CÁC ĐẶC TÀ HÌNH THỨCVÀ ỨNG DỤNG TRONG KIÊM CHỨNG PHANGọi ngay
Chat zalo
Facebook