Phương pháp kiểm chứng sự tương đương giữa các mô hình phần mềm

Các nhiệm vụ khác

Nghiên cứu, bảo tồn và phát triển nguồn gen cây chè cổ thụ Núi Bóng tại xã Minh Tiến, huyện Đại Từ, tỉnh Thái Nguyên
Phân tích các chất hữu cơ bền vững trong môi trường sử dụng laser femto - giây
Ứng dụng hệ thống thông tin quản lý trong quá trình đào tạo vận động viên cấp cao môn hể thao Olympic cơ bản với sự hỗ trợ của công nghệ thông tin
Nghiên cứu mô hình bệnh tật và đề xuất giải pháp phòng chống bệnh tật cho lao động nuôi trồng thủy sản khu vực ven biển hải đảo thành phố Hải Phòng
Nghiên cứu ứng dụng kỹ thuật phẫu thuật nội soi điều trị bệnh co thắt tâm vị theo phương pháp Heller – Dor tại Bệnh viện Hữu nghị Đa khoa Nghệ An
Nghiên cứu địa chất thạch luận và tiềm năng khoáng sản các đá Paleoproterozoi đới cầu trúc Phan Si Pan khu vực Tây bắc Việt Nam
Đề tài: Nghiên cứu đề xuất giải pháp nâng cao hiệu quả hoạt động của đại biểu Hội đồng nhân dân cấp xã tại tỉnh Hà Giang
Xây dựng và ứng dụng phần mềm mẫu thể thức văn bản điện tử phục vụ công tác điều hành và quản lý của Bộ Lao động - Thương binh và Xã hội
Giải pháp nâng cao hiệu quả hoạt động xuất khẩu hàng hóa ở Việt Nam
Xây dựng tiện ích Random Quiz tạo đề để hỗ trợ việc kiểm tra đánh giá môn Vật lí theo hướng chống gian lận trong hình thức kiểm tra viết

liên kết website

Lượt truy cập

Lượt truy cập : 16,158,314

Nhiệm vụ đang tiến hành

Tên nhiệm vụ

Phương pháp kiểm chứng sự tương đương giữa các mô hình phần mềm

Tổ chức chủ trì

Đại học Công nghệ

Cấp quản lý nhiệm vụ

Bộ

Lĩnh vực nghiên cứu

Khoa học máy tính

Kinh phí

200 (triệu đồng)

Tóm tắt nội dung nghiên cứu chính

-Đề xuất các phương pháp hiệu quả về mô hình hóa và kiểm chứng để xác định tính đúng đắn, phát hiện lỗi thực thi, lỗi an ninh, an toàn thông tin của mô hình và sự tương đương giữa các mô hình, phục vụ đánh giá chất lượng phần mềm._x000d_ - Phát triển các công cụ hỗ trợ kiểm chứng tính đúng đắn, phát hiện lỗi thực thi, lỗi an ninh, an toàn thông tin và sự tương đương giữa các mô hình.