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ạm

Loại tài liệu: PDF

Số trang: 60 Trang

Tài liệu: ✅ ĐÃ ĐƯỢC PHÊ DUYỆT

Nộ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

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

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

CÔ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á

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

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 "Conc

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

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 l

uậ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 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

bố 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ạ

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

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 kiếm chứng mô hình. Hiện tại, AGTool là một trong nhùng công cụ tiềm năng trong việc hổ trợ kiếm chứng phần mề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ó hơn ứ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à 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

y 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ế dể 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ứn

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 phần mềm khác như LTSA. AGTơol sử dụng kiểu dữ liệu liệt kê (LF), đâ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)

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 dề xuất một thuật toán dể chuyển tử 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ế.