KIỂM CHỨNG mô HÌNH PHẦN mềm sử DỤNG NUSMV
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: KIỂM CHỨNG mô HÌNH PHẦN mềm sử DỤNG NUSMV
KIỂM CHỨNG mô HÌNH PHẦN mềm sử DỤNG NUSMV
ĐẠI HỌC QUÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆNông Gia TựKIỂM CHỨNG MỒ HÌNH PHẢN MÈM sủDỤNG NƯSMVKHOÁ LUẬN TÓT NGHIỆP ĐẠI HỌC HẸ CHÍNH QUYNgành: Cón KIỂM CHỨNG mô HÌNH PHẦN mềm sử DỤNG NUSMV ng nghẹ thông tinHÀ NỘI - 2010ĐẠI HỌC QUÓC GIA HẢ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHẸNông Gia TựKIỂM CHỨNG MÔ HÌNH PHÀN MẺM sửDỤNG NUSMVKHOÁ LUẬN TÓT NGHIỆP ĐẠI HỌC HẸ CHÍNH QUYNgành: Cóng nghệ thông tinCán hộ hirứng dẫn: TS. Phạm Ngọc HùngHÀ NỘI - 2010Nông Gia TựKiếm chứng mô hình phần mềm sử dụng NuSMỈ'L KIỂM CHỨNG mô HÌNH PHẦN mềm sử DỤNG NUSMV ời cảm ơnLời đầu tiên em xin bày to lòng biết ơn sâu sẳc tới TS Phạm Ngọc Hùng, thầy đà hướng dần em tận tình trong suốt năm học vừa quaEm xin bày toKIỂM CHỨNG mô HÌNH PHẦN mềm sử DỤNG NUSMV
lòng biết ơn tới các thay, cô giáo trong Khoa Công nghệ thông tin - Trường Đại học Công nghệ - ĐHQGHN. Các thầy cò đà dạy bao. chi dần chúng em và luôĐẠI HỌC QUÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆNông Gia TựKIỂM CHỨNG MỒ HÌNH PHẢN MÈM sủDỤNG NƯSMVKHOÁ LUẬN TÓT NGHIỆP ĐẠI HỌC HẸ CHÍNH QUYNgành: Cón KIỂM CHỨNG mô HÌNH PHẦN mềm sử DỤNG NUSMV bạn sinh viên lóp K.51CD và lớp K51CNPM đà cho tôi những ỷ kiến đóng góp giá trị cùng những lời động viên khích lệ khi thực hiện đe tài này.Cuối cùng con xin gửi tói bố mẹ và toàn thê gia đình lòng biêt ơn và tinh cám yêu thương.Hà Nội. ngày 15 tháng 5 năm 2008Nông Gia Tự1Nông Gia TựKiếm chứng mô h KIỂM CHỨNG mô HÌNH PHẦN mềm sử DỤNG NUSMV ình phần mèm sữ dụng NnSAÍĨ'Tóm tắtKiểm chứng mô hình (model checking) là một hướng tiếp cận hiệu quá cho việc đàm báo chất lượng phần mềm. Kì thuật nKIỂM CHỨNG mô HÌNH PHẦN mềm sử DỤNG NUSMV
ãy được áp dụng để chứng minh một cách tư động tính đúng đắn cùa phần mềm hoặc chì ra tại sao phần mềm không chạy đúng thông qua phân ví dụ.Hiện nay cĐẠI HỌC QUÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆNông Gia TựKIỂM CHỨNG MỒ HÌNH PHẢN MÈM sủDỤNG NƯSMVKHOÁ LUẬN TÓT NGHIỆP ĐẠI HỌC HẸ CHÍNH QUYNgành: Cón KIỂM CHỨNG mô HÌNH PHẦN mềm sử DỤNG NUSMV SMV dùng đê mò hình hóa hệ thống và cách sử dụng NuSMV đè kiêm chửng mô hình phần mềm.Kiêm chửng mô hình thường được áp dụng ở giai đoạn thiết ke vì việc mô hĩnh hóa bân thiết kế hệ thống dề dâng hơn mò hình hóa mà nguồn của hệ thống. Ngoài ra. việc sớm tim ra lỗi ơ ban thiết ke sè giúp giâm thiêu r KIỂM CHỨNG mô HÌNH PHẦN mềm sử DỤNG NUSMV ui ro cùa quá trinh phát triển phần mềm.Vì thế chúng tôi tập trung tìm hiểu và đề xuất quy trinh kiểm chứng mô hình sư dụng NuSMV ơ giai đoạn thiết kếKIỂM CHỨNG mô HÌNH PHẦN mềm sử DỤNG NUSMV
phần mềm. Đồng thời áp dụng quy trinh này đê kiếm chứng mô hình cùa phần mềm giâ lập máy rút tiền tự động ATMiiNông Gia TựĐẠI HỌC QUÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆNông Gia TựKIỂM CHỨNG MỒ HÌNH PHẢN MÈM sủDỤNG NƯSMVKHOÁ LUẬN TÓT NGHIỆP ĐẠI HỌC HẸ CHÍNH QUYNgành: CónĐẠI HỌC QUÓC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆNông Gia TựKIỂM CHỨNG MỒ HÌNH PHẢN MÈM sủDỤNG NƯSMVKHOÁ LUẬN TÓT NGHIỆP ĐẠI HỌC HẸ CHÍNH QUYNgành: CónGọi ngay
Chat zalo
Facebook