Luận văn thạc sĩ 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: Luận văn thạc sĩ 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
Luận văn thạc sĩ 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
DẠ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 Luận văn thạc sĩ 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ềmN MEMLUẬN VÃN THẠC sì CÔNG NGHỆ THÒNG TINH À NỘT-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ĩ Luận văn thạc sĩ 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ềmCÔ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áLuận văn thạc sĩ 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
o, 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 DẠ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 Luận văn thạc sĩ 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 Luận văn thạc sĩ 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 muLuận văn thạc sĩ 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.CuDẠ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 Luận văn thạc sĩ 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 Luận văn thạc sĩ 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ềmbố 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ạLuận văn thạc sĩ 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 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 GuaraDẠ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 Luận văn thạc sĩ 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ềmkiể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à Luận văn thạc sĩ 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ềmy 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ứngLuận văn thạc sĩ 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
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)DẠ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 Luận văn thạc sĩ 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ềmhay 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àn Luận văn thạc sĩ 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ềmh 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ếLuận văn thạc sĩ 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
.VDẠ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 PHANDẠ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