tailieunhanh - Tóm tắt Luận án tiến sĩ Kỹ thuật: Kiểm thử hồi quy tự động cho các ứng dụng Lustre/SCADE

Mục tiêu cuối cùng của đề tài là tự động hóa quá trình kiểm thử hồi quy cho các hệ thống phản ứng được xây dựng bởi ngôn ngữ Lustre và môi trường SCADE. Trong đó, đề tài tập trung xây dựng được giải pháp sinh ca kiểm thử tự động trong kiểm thử hồi quy các ứng dụng Lustre/SCADE. | Tóm tắt Luận án tiến sĩ Kỹ thuật: Kiểm thử hồi quy tự động cho các ứng dụng Lustre/SCADE BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG TRỊNH CÔNG DUY KIỂM THỬ HỒI QUY TỰ ĐỘNG CHO CÁC ỨNG DỤNG LUSTRE/SCADE Chuyên ngành : KHOA HỌC MÁY TÍNH Mã số : 62 48 01 01 TÓM TẮT LUẬN ÁN TIẾN SĨ KỸ THUẬT Đà Nẵng, 8/2018 Công trình được hoàn thành tại: ĐẠI HỌC ĐÀ NẴNG Người hướng dẫn khoa học: 1) Phó Giáo sư, Tiến sĩ Nguyễn Thanh Bình 2) Giáo sư, Tiến sĩ Ioannis Parissis . Phản biện 1: Phản biện 2: Phản biện 3: Luận án sẽ được bảo vệ trước Hội đồng chấm luận án cấp Đại học Đà Nẵng, họp tại Đại học Đà Nẵng. Vào hồi giờ . ngày . tháng năm . Có thể tìm luận án tại: - Thư viện quốc gia Việt Nam - Trung tâm Thông tin – Học liệu Đại học Đà Nẵng 1 GIỚI THIỆU 1. Tính cấp thiết của đề tài Lustre là một ngôn ngữ đồng bộ luồng dữ liệu. Chương trình Lustre gồm một chuỗi có thứ tự các phương trình tính toán từ các đầu vào thành các đầu ra thông qua một tập hợp các toán tử. Do đó, cách biểu diễn phù hợp nhất cho các chương trình Lustre là một đồ thị có hướng, gọi là mạng lưới toán tử (trong thực tế, người sử dụng không viết chương trình Lustre mà sử dụng trình soạn thảo đồ họa trong công cụ SCADE để xây dựng các mạng lưới toán tử liên quan). Việc kết hợp của cả hai mô hình đồng bộ và dòng dữ liệu, cú pháp đồ họa đơn giản, áp dụng khái niệm thời gian rời rạc là một số trong những đặc điểm chính làm cho Lustre trở thành ngôn ngữ lý tưởng cho việc xây dựng các mô hình, các thiết kế hệ thống điều khiển trong một số lĩnh vực công nghiệp, chẳng hạn như hệ thống điện tử, ô tô và năng lượng, hạt nhân nói riêng và hệ thống phản ứng nói chung. Với các hệ thống này, yếu tố an toàn (safety) được quan tâm hàng đầu. Trong quá trình phát triển phần mềm nói chung và các hệ thống phản ứng nói riêng, hệ thống thường được cập nhật tính năng và nâng cấp .