Đề tài tập trung nghiên cứu các phương pháp mới của kỹ thuật kiểm chứng, kiểm thử phần mềm hướng đến các tính chất an ninh, an toàn của hệ thống phần mềm. Các phương pháp này liên quan đến phân tích và kiểm chứng các ràng buộc an ninh, an toàn của hệ thống phần mềm, định nghĩa và phân tích quyền quy cập người dùng, phân tích mô hình và mã nguồn của chương trình để đảm bảo sự an toàn, an ninh, bảo mật cho hoạt động và sự toàn vẹn dữ liệu của hệ thống phần mềm. Về phương diện lý thuyết, đề tài tập trung nghiên cứu các phương pháp mới trong kiểm chứng và kiểm thử các tính chất an ninh, an toàn của hệ thống phần mềm. Cụ thể, các phương pháp đề xuất này sẽ đi sâu vào các kỹ thuật sau (i) phân tích và kiểm chứng các ràng buộc an ninh của hệ thống phần mềm; (ii) định nghĩa và phân tích quyền truy cập người dùng; (iii) phân tích mô hình và mã nguồn của chương trình để đảm bảo sự an toàn, an ninh, bảo mật trong vận hành và bảo đảm sự toàn vẹn dữ liệu của các hệ thống phần mềm. Về phương diện ứng dụng, đề tài cũng đặt mục tiêu phát triển thành công một số công cụ hỗ trợ cho kiểm chứng, kiểm thử tự động theo các phương pháp đề xuất trên. Kết quả nghiên cứu của đề tài được xuất bản trên một số tạp chí có uy tín trong lĩnh vực nghiên cứu về kiểm chứng, kiểm thử và an ninh, an toàn các hệ thống phần mềm.
Bản đồ thống kê
Thống kê nội dung
Đề tài tập trung nghiên cứu các phương pháp mới của kỹ thuật kiểm chứng, kiểm thử phần mềm hướng đến các tính chất an ninh, an toàn của hệ thống phần mềm. Các phương pháp này liên quan đến phân tích và kiểm chứng các ràng buộc an ninh, an toàn của hệ thống phần mềm, định nghĩa và phân tích quyền quy cập người dùng, phân tích mô hình và mã nguồn của chương trình để đảm bảo sự an toàn, an ninh, bảo mật cho hoạt động và sự toàn vẹn dữ liệu của hệ thống phần mềm. Về phương diện lý thuyết, đề tài tập trung nghiên cứu các phương pháp mới trong kiểm chứng và kiểm thử các tính chất an ninh, an toàn của hệ thống phần mềm. Cụ thể, các phương pháp đề xuất này sẽ đi sâu vào các kỹ thuật sau (i) phân tích và kiểm chứng các ràng buộc an ninh của hệ thống phần mềm; (ii) định nghĩa và phân tích quyền truy cập người dùng; (iii) phân tích mô hình và mã nguồn của chương trình để đảm bảo sự an toàn, an ninh, bảo mật trong vận hành và bảo đảm sự toàn vẹn dữ liệu của các hệ thống phần mềm. Về phương diện ứng dụng, đề tài cũng đặt mục tiêu phát triển thành công một số công cụ hỗ trợ cho kiểm chứng, kiểm thử tự động theo các phương pháp đề xuất trên. Kết quả nghiên cứu của đề tài được xuất bản trên một số tạp chí có uy tín trong lĩnh vực nghiên cứu về kiểm chứng, kiểm thử và an ninh, an toàn các hệ thống phần mềm.