TAILIEUCHUNG - Tóm tắt Luận án Tiến sĩ: Kiểm chứng dựa trên phương pháp giả định – đảm bảo cho phần mềm dựa trên thành phần

Luận án trình bày các nội dung chính sau: Giới thiệu các khái niệm cơ bản được sử dụng trong các nghiên cứu của luận án. Phương pháp sinh giả định nhỏ nhất và mạnh nhất cục bộ; Đề xuất một phương pháp sinh giả định yếu nhất cục bộ và sử dụng giả định đó một cách hiệu quả trong việc kiểm chứng các phần mềm trong ngữ cảnh tiến hóa; . | ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TRẦN HOÀNG VIỆT KIỂM CHỨNG DỰA TRÊN PHƯƠNG PHÁP GIẢ ĐỊNH ĐẢM BẢO CHO PHẦN MỀM DỰA TRÊN THÀNH PHẦN TÓM TẮT LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN Hà Nội - 2020 ĐẠI HỌC QUỐC GIA HÀ NỘI TRƯỜNG ĐẠI HỌC CÔNG NGHỆ TRẦN HOÀNG VIỆT KIỂM CHỨNG DỰA TRÊN PHƯƠNG PHÁP GIẢ ĐỊNH ĐẢM BẢO CHO PHẦN MỀM DỰA TRÊN THÀNH PHẦN Chuyên ngành Kỹ Thuật Phần Mềm Mã số TÓM TẮT LUẬN ÁN TIẾN SĨ NGÀNH CÔNG NGHỆ THÔNG TIN NGƯỜI HƯỚNG DẪN KHOA HỌC 1. PGS. TS. Phạm Ngọc Hùng 2. TS. Võ Đình Hiếu Hà Nội - 2020 Mục lục 1 Giới thiệu 1 Đặt vấn đề . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 Các đóng góp chính của luận án . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 Bố cục của luận án . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4 2 Kiến thức nền tảng 5 Đặc tả và kiểm chứng giả định - đảm bảo cho các hệ thống đặc tả bằng LTS . . . . . . . . . . . 5 Hệ thống chuyển trạng thái được gán nhãn . . . . . . . . . . . . . . . . . . . . . . . . . . 5 Kiểm chứng các hệ thống chuyển trạng thái được gán nhãn . . . . . . . . . . . . . . . . . 5 Đặc tả và kiểm chứng giả định - đảm bảo cho các hệ thống đặc tả bằng lôgic mệnh đề . . . . . . 5 Đặc tả hệ thống chuyển trạng thái bằng lôgic mệnh đề . . . . . . . . . . . . . . . . . . . . 5 Kiểm chứng giả định - đảm bảo cho các hệ thống đặc tả bằng lôgic mệnh đề . . . . . . . 5 Đặc tả và kiểm chứng giả định - đảm bảo cho các hệ thống có ràng buộc thời gian . . . . . . . . 6 Hệ thống chuyển trạng thái có ràng buộc thời gian . . . . . . . . . . . . . . . . . . . . . . 6 Kiểm chứng giả định - đảm bảo cho các hệ thống có ràng buộc thời gian . . . . . . . . . . 6 3 Phương pháp sinh giả định nhỏ nhất và mạnh nhất cục bộ cho việc kiểm chứng phần mềm dựa trên thành phần 7 Giới thiệu . . . . . . . . . . . . . . . . . . . . . . . . . . .

TÀI LIỆU LIÊN QUAN
TỪ KHÓA LIÊN QUAN
TÀI LIỆU MỚI ĐĂNG
TAILIEUCHUNG - Chia sẻ tài liệu không giới hạn
Địa chỉ : 444 Hoang Hoa Tham, Hanoi, Viet Nam
Website : tailieuchung.com
Email : tailieuchung20@gmail.com
Tailieuchung.com là thư viện tài liệu trực tuyến, nơi chia sẽ trao đổi hàng triệu tài liệu như luận văn đồ án, sách, giáo trình, đề thi.
Chúng tôi không chịu trách nhiệm liên quan đến các vấn đề bản quyền nội dung tài liệu được thành viên tự nguyện đăng tải lên, nếu phát hiện thấy tài liệu xấu hoặc tài liệu có bản quyền xin hãy email cho chúng tôi.
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.