14/2014/TT-BKHCN
|
CỘNG HÒA XÃ HỘI CHỦ NGHĨA VIỆT NAM |
PHIẾU THÔNG TIN
NHIỆM VỤ KHOA HỌC VÀ CÔNG NGHỆ ĐANG TIẾN HÀNH SỬ DỤNG NGÂN SÁCH NHÀ NƯỚC
|
1 |
Tên nhiệm vụ: Phân tích chương trình và ứng dụng trong kiểm chứng phần mềm |
|
2 |
|
|
3 |
|
|
4 |
Mã số nhiệm vụ (nếu có): |
|
5 |
Tên tổ chức chủ trì:
Họ và tên thủ trưởng:
Địa chỉ:
Tỉnh/thành phố:
Điện thoại:
Fax:
Website:
|
|
6 |
Cơ quan chủ quản: Bộ Giáo dục và Đào tạo |
|
7 |
Chủ nhiệm nhiệm vụ:
Họ và tên:
Giới tính:
Trình độ học vấn:
Chức danh khoa học:
Chức vụ:
Điện thoại:
Fax:
Email:
|
|
8 |
Danh sách cá nhân tham gia nhiệm vụ: |
|
9 |
Mục tiêu nghiên cứu: |
|
10 |
Tóm tắt nội dung nghiên cứu chính: Trong khoa học máy tính, phân tích chương trình là quá trình phân tích tự động hành vi của các chương trình phần mềm. Hai phương pháp tiếp cận trong phân tích chương trình là phân tích tĩnh và phân tích động. Phân tích chương trình được ứng dụng trong lĩnh vực đảm bảo sự đúng đắn của chương trình và tối ưu hóa chương trình phần mềm. Các kỹ thuật liên quan đến phân tích chương trình bao gồm: phân tích luồng điều khiển và luồng dữ liệu, phân tích dựa trên các ràng buộc, biểu diễn trừu tượng hóa, sử dụng các hệ thống kiểu. Trong các hệ thống phần mềm, lỗi phần mềm gây ra nhiều thiệt hại về kinh tế và con người, đặc biệt là những ứng dụng trong lĩnh vực ngân hàng, tài chính, điều khiển và kiểm soát các phương tiện, thiết bị giao thông, y tế... Vì vậy, việc đảm bảo chất lượng cũng như đảm bảo tính đúng đắn của phần mềm ngày càng trở nên quan trọng. Đã có nhiều phương pháp khác nhau đề xuất để tăng cường sự tin cậy cho phần mềm như kiểm chứng mô hình (model checking), kỹ thuật kiểm thử phần mềm và phân tích chương trình. Đề tài đề xuất các phương pháp mới để kiểm chứng các hệ thống phần mềm một cách hiệu quả sử dụng kỹ thuật phân tích chương trình. Phương pháp nghiên cứu của chúng tôi sẽ tái sử dụng các kỹ thuật ưu việt trong phân tích chương trình và xem xét để ứng dụng các kỹ thuật này trong lĩnh vực kiểm chứng phần mềm. |
|
11 |
Lĩnh vực nghiên cứu: Khoa học máy tính và thông tin |
|
12 |
Mục tiêu kinh tế xã hội của nhiệm vụ: |
|
13 |
Phương pháp nghiên cứu: |
|
14 |
Sản phẩm khoa học và công nghệ dự kiến: |
|
15 |
Địa chỉ và quy mô ứng dụng dự kiến: |
|
16 |
Thời gian thực hiện: 24 tháng (từ đến ) |
|
17 |
Kinh phí được phê duyệt: 577000000 triệu đồng
- Từ ngân sách nhà nước: 0
- Từ nguồn tự có của tổ chức: 0
- Từ nguồn khác: 0
|
|
18 |
Quyết định phê duyệt: số ngày 01 tháng Tháng 1 năm 1970 |
|
19 |
Hợp đồng thực hiện: số ngày 01 tháng Tháng 1 năm 1970 |
|
XÁC NHÂN CỦA ĐƠN VỊ QUẢN LY NHIỆM VỤ |
NGƯỜI GHI THÔNG TIN
|