TAILIEUCHUNG - Luận văn:NGHIÊN CỨU ỨNG DỤNG CÔNG CỤ SATAN ĐỂ PHÂN TÍCH KHẢ NĂNG KIỂM THỬ PHẦN MỀM CHO CÁC THIẾT KẾ TRÊN MÔI TRƯỜNG SIMULINK

Ngày nay, các sản phẩm phần mềm xuất hiện và giữ vai trò quan trọng trong nhiều lĩnh vực của cuộc sống. Phần mềm trở nên cần thiết trong một số lĩnh vực công nghiệp như kỹ thuật điện tử hàng không, vận tải, Để có thể sử dụng trong những lĩnh vực trên, phần mềm cần phải đạt được một số tiêu chuẩn đánh giá về độ tin cậy. Kiểm thử là một trong những kỹ thuật quan trọng nhằm đảm bảo chất lượng của sản phẩm phần mềm. . | 1 BỘ GIÁO DỤC VÀ ĐÀO TẠO ĐẠI HỌC ĐÀ NẴNG NGUYỄN PHONG NGHIÊN CỨU ỨNG DỤNG CÔNG CỤ SATAN ĐỂ PHÂN TÍCH KHẢ NĂNG KIỂM THỬ PHẦN MỀM CHO CÁC THIẾT KẾ TRÊN MÔI TRƯỜNG SIMULINK Chuyên ngành KHOA HỌC MÁY TÍNH Mã số TÓM TẮT LUẬN VĂN THẠC SĨ KỸ THUẬT Đà Nang - Năm 2012 2 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 TS. NGUYỄN THANH BÌNH Phản biện 1 . VÕ TRUNG HÙNG Phản biện 2 TS. NGUYỄN MẬU HÂN Luận văn đã được bảo vệ tại Hội đồng chấm Luận văn tốt nghiệp thạc sĩ kỹ thuật họp tại Đại học Đà Nang vào ngày 03 tháng 03 năm 2012 Có thể tìm hiểu luận văn tại Trung tâm Thông tin - Học liệu Đại học Đà Nang Trung tâm Học liệu Đại học Đà Nang 3 MỞ ĐẦU 1. Lý do chọn đề tài Ngày nay các sản phẩm phần mềm xuất hiện và giữ vai trò quan trọng trong nhiều lĩnh vực của cuộc sống. Phần mềm trở nên cần thiết trong một số lĩnh vực công nghiệp như kỹ thuật điện tử hàng không vận tải . Để có thể sử dụng trong những lĩnh vực trên phần mềm cần phải đạt được một số tiêu chuẩn đánh giá về độ tin cậy. Kiểm thử là một trong những kỹ thuật quan trọng nhằm đảm bảo chất lượng của sản phẩm phần mềm. Chi phí cho giai đoạn kiểm thử thường rất lớn trong qui trình phát triển phần mềm. Các kỹ thuật giúp cải thiện chất lượng của thiết kế phần mềm ngay từ giai đoạn thiết kế sẽ góp phần làm giảm chi phí kiểm thử sau này. Phân tích khả năng kiểm thử được xem là yếu tố quan trọng trong đánh giá chất lượng phần mềm. Một phần mềm với khả năng kiểm thử cao thì có thể được kiểm thử dễ dàng. Mục đích của phân tích khả năng kiểm thử là đo lường phần mềm trong các giai đoạn sớm của quy trình phát triển phần mềm nhằm giúp cho các thiết kế viên cải thiện chất lượng của thiết kế phần mềm và các kiểm thử viên phân phối nguồn tài nguyên tốt hơn trong quá trình kiểm thử. Từ đó đề xuất các giải pháp để đảm bảo kiểm thử phần mềm tốt hơn. Để phát triển một số hệ thống phần mềm công nghiệp phức tạp nhiều môi trường thường được thiết kế mô phỏng trước người ta sử dụng các chương trình mô .

• Thạc sĩ - Tiến sĩ - Cao học
• khoa học máy tính
• MÔI TRƯỜNG SIMULINK
• CÔNG CỤ SATAN
• luận văn
• kỹ thuật điện
• hệ thống điện
• tóm tắt luận văn
• Bài giảng Khoa học học máy tính
• Khoa học học máy tính
• Giới thiệu tổng quát về khoa khoa học máy tính
• Hệ đào tạo khoa học máy tính
• Công nghệ thông tin
• Luận án tiến sĩ Khoa học máy tính
• Tiến sĩ Khoa học máy tính
• Luận án Khoa học máy tính
• Đồ thị chữ ký nhị phân
• Tóm tắt luận án Khoa học máy tính
• Luận án tiến sĩ
• Mạng chuyển mạch chùm quang
• Phân đoạn chùm
• thủ thuật máy tính
• kỹ năng máy tính
• kỹ thuật máy tính
• tài liệu công nghệ thông tin
• Bài kiểm tra khoa học máy tính
• Bài giảng Khoa học máy tính
• Máy tính và phân loại
• Hệ thống máy tính
• Bộ xử lý trung tâm
• Phân loại máy tính
• Nguyên lý sáng tạo phần mềm máy tính
• Sáng tạo phần mềm máy tính
• Phần mềm máy tính
• Đề tài phương pháp nghiên cứu khoa học
• Tiểu luận phương pháp nghiên cứu khoa học
• Phương pháp nghiên cứu khoa học tin học
• Nghiên cứu khoa học tin học
• Phương pháp xử lý
• Phân loại tín hiệu điện não
• Ứng dụng giao diện não – máy tính
• Cấu trúc giải thuật
• Phần cúng máy tính
• Ngôn ngữ máy tính
• Ngôn ngữ lập trình
• Mạng máy tính
• Bài giảng Kiến trúc máy tính
• Kiến trúc máy tính
• Phần cứng máy tính
• Cải tiến chất lượng dịch máy
• Chất lượng dịch máy
• Máy thống kê
• Cú pháp phụ thuộc
• Chuyên ngành Khoa học máy tính
• Đào tạo chuyên ngành Khoa học máy tính
• Đào tạo Tiến sĩ Khoa học máy tính
• Vấn đề đào tạo Tiến sĩ
• Chương trình đào tạo Tiến sĩ
• Hướng dẫn đào tạo Tiến sĩ
• Kiến trúc chính phủ điện tử
• Luận văn Thạc sỹ
• Thạc sỹ ngành Khoa học máy tính
• Dịch vụ công trực tuyến
• Tài liệu khoa học máy tính
• Tạp chí Khoa học phổ thông
• Làm bạn với máy vi tính
• Khoa học kỹ thuật
• Luận văn Thạc sĩ Khoa học
• Tóm tắt luận văn Thạc sĩ Khoa học
• Luận văn Thạc sĩ ngành Khoa học máy tính
• An ninh mạng máy tính
• Mô hình mạng máy tính không dây
• Các loại hình tấn công mạng
• Lắp ráp máy tính để bàn
• Lắp ráp máy tính điện tử
• Phần mềm lắp ráp máy tính ảo
• Hướng dẫn lắp ráp máy tính
• Linh kiện lắp ráp máy tính
• Mô hình máy tính
• Máy tính nhúng
• Kiến trúc tập lệnh
• Đề tài nghiên cứu khoa học
• Báo cáo nghiên cứu khoa học
• Tạp chí khoa học
• Hệ thống đại số máy tính
• Dạy và học đại số tuyến tính
• Đại số tuyến tính
• phương pháp tính
• tài liệu phương pháp tính
• giải gần đúng phương trình
• Tính toán đám mây
• Bài toán lập lịch trên tính toán đám mây
• Thuật toán lập lịch
• Môi trường tính toán đám mây
• Sách giáo khoa lớp 10
• Sách giáo khoa Cánh diều lớp 10
• Chuyên đề học tập Tin học 10
• Chuyên đề học tập Tin học 10: Khoa học máy tính
• Robot giáo dục
• Kết nối robot giáo dục với máy tính
• Lập trình điều khiển robot giáo dục
• hướng dẫn ứng dụng máy tính và sản xuất
• kỹ thuật ứng dụng máy tính và sản xuất
• kinh nghiệm ứng dụng máy tính và sản xuất
• cẩm nang ứng dụng máy tính và sản xuấtáo dục
• nghiên cứu khoa học
• khoa học công nghệ
• Luận văn Thạc sĩ
• Luận văn Thạc sĩ Khoa học máy tính
• Thuật toán suy diễn
• Hệ hỗ trợ chẩn đoán lỗi máy tính
• Phương pháp nâng cấp máy tính
• Nguyên tắc sáng tạo
• Sáng tạo chuột máy tính
• Chuột máy tính