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 giải pháp quản lý và công nghệ xử lý phụ phẩm nông nghiệp bằng chế phẩm sinh học nhằm giảm thiểu ô nhiễm không khí vùng ven đô
Định hướng đầu tư trên cơ sở phân khúc khách hàng cho di tích lịch sử Căn cứ Trung ương cục Miền Nam (huyện Tân Biên tỉnh Tây Ninh)
Quản lý tài chính cá nhân và khởi nghiệp cho học sinh sinh viên các trường trung cấp cao đẳng đại học trên địa bàn tỉnh Bắc Ninh
Nghiên cứu thiết kế và chế tạo thiết bị đầu cuối OLT (Optical Line Terminal) và ONT (Optical Network Terminal) dành cho mạng GPON (Gigabit Passive Optical Network)
Phân nhóm cụm công nghiệp cho các doanh nghiệp vừa và nhỏ trong ngành xây dựng ở TPHCM và các chính sách hỗ trợ
Nghiên cứu mức độ đa dạng cộng đồng vi khuẩn trong quá trình ủ phân compost rác thải hữu cơ bằng kỹ thuật điện di gel gradient biến tính (DGGE)
Hoàn thiện công nghệ sản xuất giống xoài LĐ12 phục vụ tái cơ cấu ngành nông nghiệp
Tác động của tài chính vi mô đến sự phát triển nông nghiệp ở các tỉnh phía Nam
Xác định thành phần các hợp chất tạo mùi trên một số loại hình công nghiệp đặc trưng và định hướng công nghệ xử lý
Nghiên cứu xây dựng Bộ chỉ số giám sát Chương trình hành động quốc gia Không còn nạn đói và đề xuất chính sách và giải pháp phát triển Nông nghiệp đảm bảo dinh dưỡng bền vững ở các vùng khó khăn

liên kết website

Lượt truy cập

Lượt truy cập : 13079543

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.