TIN TỨC & SỰ KIỆN
Tin tức   Thông báo   Sau đại học 00:00:00 Ngày 03/08/2020 GMT+7
Thông tin LATS của NCS Trần Hoàng Việt
Tên đề tài: Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần

1. Họ và tên: Trần Hoàng Việt                                        2. Giới tính: Nam          

3. Ngày sinh: 15/05/1982                                                4. Nơi sinh: Vĩnh Phúc  

5. Quyết định công nhận nghiên cứu sinh số: 640/QĐ-CTSV, ngày 03 tháng 09 năm 2015 của Hiệu trưởng Trường Đại học Công nghệ.

6. Các thay đổi trong quá trình đào tạo: Không   

7. Tên đề tài luận án: Một số cải tiến phương pháp kiểm chứng giả định – đảm bảo cho phần mềm dựa trên thành phần           

8. Chuyên ngành: Kỹ thuật Phần mềm                            9. Mã số: 9480103.01    

10. Cán bộ hướng dẫn khoa học: PGS. TS. Phạm Ngọc Hùng; TS. Võ Đình Hiếu

11. Tóm tắt các kết quả mới của luận án:

Đề xuất một phương pháp sinh các giả định nhỏ nhất và mạnh nhất cục bộ để giảm chi phí của bài toán kiểm chứng giả định - đảm bảo. Ý tưởng chính của phương pháp đề xuất là tích hợp một biến thể của kỹ thuật trả lời các câu truy vấn thành viên vào trong thuật toán học đề xuất được cải tiến từ thuật toán của Cobleigh. Ngoài ra, phương pháp này cũng sử dụng các ứng viên cho giả định được sinh bởi thuật toán của Cobleigh làm cơ sở để phân tích. Với một ứng viên cơ sở này, để có giả định nhỏ nhất, luận án kiểm tra các ứng viên cho giả định nhỏ nhất Ai với kích thước tăng dần. Việc này được tiến hành bằng cách lấy tổ hợp chập t của các trạng thái từ tập trạng thái của Ai, với 1 < t < |Ai|. Trong các ứng viên cho giả định nhỏ nhất có cùng kích thước t, với mỗi ứng viên C (|L(C)| = n), phương pháp này kiểm tra mọi khả năng từ khả năng chỉ có một chuỗi đến khả năng có n-1 chuỗi thuộc vào L(C). Phương pháp này dừng ngay khi tìm được giả định đầu tiên thỏa mãn luật kiểm chứng giả định - đảm bảo. Do đó, giả định được sinh bởi phương pháp được đề xuất là giả định nhỏ nhất và mạnh nhất cục bộ. Một công cụ hỗ trợ cũng đã được cài đặt và thực nghiệm với một số ví dụ điển hình để minh chứng cho tính hiệu quả của phương pháp đề xuất.

Chi tiết tại đây.

 Lan Nguyên
   In bài viết     Gửi cho bạn bè
  Từ khóa :
   Xem tin bài theo thời gian :

HÌNH ẢNH

TRÊN WEBSITE KHÁC
THĂM DÒ DƯ LUẬN
Bạn sẽ thi vào trường đại học nào?
  • Trường ĐH Khoa học Tự nhiên
  • Trường ĐH Khoa học Xã hội
  • Trường ĐH Ngoại ngữ
  • Trường ĐH Công nghệ
  • Trường ĐH Kinh tế
  • Trường ĐH Giáo dục
  • Trường ĐH Việt Nhật
  • Trường ĐH Y Dược
  • Trường ĐH Luật
  • Trường Quản trị và Kinh doanh
  • Trường Quốc tế
  • Khoa Các Khoa học liên ngành
  • Viện Quốc tế Pháp ngữ