TAILIEUCHUNG - Tóm tắt luận án Tiến sĩ kỹ thuật: Kiểm thử đột biến trong môi trường Simulink/Matlab

Mục tiêu của luận án là nghiên cứu các kỹ thuật kiểm thử đột biến, các vấn đề về đột biến trên các thiết kế. Trên cơ sở đó đề xuất áp dụng kiểm thử đột biến để sinh và đánh giá các bộ dữ liệu thử trên các mô hình được thiết kế trong môi trường Simulink/Matlab. Như vậy, đối tượng nghiên cứu của luận án là kỹ thuật kiểm thử đột biến và môi trường Simulink/Matlab. | BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG --- --- LÊ THỊ MỸ HẠNH KIỂM THỬ ĐỘT BIẾN TRONG MÔI TRƯỜNG SIMULINK/MATLAB 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, 10/2015 Công trình được hoàn thành tại: TRƯỜNG ĐẠI HỌC BÁCH KHOA - ĐẠI HỌC ĐÀ NẴNG Người hướng dẫn khoa học: 1. PGS. TS. Nguyễn Thanh Bình 2. PGS. TS. Đoàn Văn Ban Phản biện 1: GS. TS. Nguyễn Thanh Thủy Phản biện 2: PGS. TS. Huỳnh Quyết Thắng Phản biện 3: PGS. TS. Hoàng Hữu Hạnh Luận án đượ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 – 41 Lê Duẫn – Thành phố Đà Nẵng vào hồi 14 giờ 00 ngày 28 tháng 11 năm 2015 Có thể tìm hiểu Luận án tại thư viện: - Thư viện Quốc gia, Hà Nội - Trung tâm Thông tin - Học liệu, Đại học Đà Nẵng LỜI MỞ ĐẦU Kiểm thử phần mềm là một hoạt động đóng vai trò rất quan trọng để bảo đảm chất lượng phần mềm và là hoạt động mang tính sống còn trong các dự án sản xuất hoặc gia công phần mềm. Với mục đích phát hiện lỗi, kiểm thử phần mềm thường phải trải qua các bước: tạo dữ liệu thử, thực thi phần mềm trên dữ liệu thử và quan sát kết quả nhận được. Trong các bước này, bước tạo dữ liệu đóng vai trò quan trọng nhất, bởi vì chúng ta không thể tạo ra mọi dữ liệu từ miền vào của chương trình, mà chúng ta chỉ có thể tạo ra các dữ liệu thử có khả năng phát hiện lỗi cao nhất. Vấn đề đặt ra là làm thế nào để đánh giá được khả năng phát hiện lỗi của một bộ dữ liệu thử? Kiểm thử đột biến [3] là một tiêu chuẩn nhằm tìm ra các lỗi trong chương trình. Tiêu chuẩn này tạo ra các phiên bản của chương trình có chứa các lỗi đơn giản và sau đó tìm ra các dữ liệu thử để chỉ ra các dấu hiệu của lỗi. Nếu có thể tìm thấy một bộ dữ liệu thử chất lượng làm lộ ra các dấu hiệu này ở tất cả các phiên bản bị lỗi, thì sự tin tưởng vào tính đúng đắn của chương trình sẽ tăng. Năm 1971, Lipton [75] đề xuất ra phương pháp kiểm thử đột biến, sau đó lĩnh vực này được đánh dấu sự ra đời và phổ biến bởi DeMillo, Lipton và .

• Thạc sĩ - Tiến sĩ - Cao học
• Luận án Tiến sĩ kỹ thuật
• Khoa học máy tính
• Kiểm thử đột biến trong môi trường Simulink
• Kiểm thử đột biến trong môi trường Matlab
• Kiểm thử đột biến
• Luận án tiến sĩ
• Tóm tắt Luận án tiến sĩ kỹ thuật
• Kỹ thuật máy tính
• Luận án kỹ thuật máy tính
• Nghiên cứu cải tiến kênh tần số
• Tóm tắt Luận án Tiến sĩ
• Luận án Tiến sĩ Lâm nghiệp
• Luận án Tiến sĩ ngành Lâm sinh
• Đặc điểm sinh học cây Phay
• Kỹ thuật nhân giống cây Phay
• Kỹ thuật tạo giống cây con
• Luận án Tiến sĩ ngành Cơ kỹ thuật
• Công nghệ xây dựng cầu
• Tải trọng xe di động có xét lực hãm
• Dao động cầu dây văng
• Kết cấu vỏ khoang tên lửa
• Hải dưới âm
• Thiết kế tối ưu vỏ khoang tên lửa
• Luận án Tiến sĩ ngành Khai thác mỏ
• Công tác cải tạo và phục hồi môi trường
• Mỏ khai thác than lộ thiên
• Luận án Tiến sĩ ngành Kỹ thuật điện tử
• Bảo mật tín hiệu thoại
• Bảo mật tín hiệu thoại thời gian thực
• Tiến sĩ Kỹ thuật
• Địa kỹ thuật xây
• Luận án Kỹ thuật
• Điều kiện biến đổi khí hậu
• Tóm tắt Luận án Tiến
• Động cơ tua bin phản lực
• Nhiệt động lực học
• Kỹ thuật Viễn thông
• Luận án chuyên ngành Kỹ thuật
• Cốt sợi thủy tinh phân tán
• Bê tông asphalt
• Tóm tắt luận án Tiến sĩ Vật lý
• Vật lý kỹ thuật
• Luận án Tiến sĩ Vật lý kỹ thuật
• Tiến sĩ Vật lý kỹ thuật
• Luận án Vật lý kỹ thuật
• Vật liệu TiO2 đơn pha
• Chế tạo nanocomposite PPy TiO2
• Vật liệu Silicát
• Ứng dụng công nghệ trắc địa
• Khai thác đường ô tô
• Kỹ thuật môi trường
• Tiến sĩ Kỹ thuật môi trường
• Luận án Kỹ thuật môi trường
• Động vật thủy sinh
• Quá trình tinh thể hóa của hạt nano Fe
• Kỹ thuật xây dựng công trình giao thông
• Cọc đất xi măng
• Địa kỹ thuật cường độ cao
• Xử lý nền đất yếu
• Xây dựng giao thông
• Ứng suất trong nền đất
• Luận án Tiến sĩ Xây dựng sân bay
• Tính chất cơ học của đất
• Dự thảo tóm tắt Luận án Tiến sĩ
• Luận án Tiến sĩ Toán học
• Cơ sở toán học cho Tin học
• Kỹ thuật phát hiện giả mạo trên web
• Chỉ tiêu thuốc nổ
• Thông số nổ mìn
• Mỏ khai thác vật liệu xây dựng
• Luận án Tiến sĩ ngành Hệ thống thông tin
• Hệ thống nhận dạng hoạt động người
• Hệ thống nhận dạng hoạt động
• Cảm biến mang trên người
• Luận án tiến sỹ kỹ thuật
• Xây dựng lược đồ chứ ký số
• Luận án quân sự
• Luận án tiến sĩ kỹ thuật quân sự
• Kỹ thuật xây dựng cầu hầm
• Xây dựng cầu hầm
• Quản lý công trình cầu
• Tích hợp GIS
• Kỹ thuật tối ưu hóa đa mục tiêu
• Quy hoạch sử dụng đất nông nghiệp
• Kỹ thuật trắc địa
• Cơ cấu sử dụng đất nông nghiệp
• Giải pháp sử dụng đất
• Khoáng vật montmorillonite
• Cường độ chịu nén của trụ đất xi măng