Luận Văn Thạc Sĩ Kết Hợp Phương Pháp Kiểm Chứng Mô Hình Và Các Kỹ Thuật Kiểm Thử Phần Mềm Làm Tăng Độ Tin Cậy

Kết Hợp Phương Pháp Kiểm Chứng Mô Hình Và Các Kỹ Thuật Kiểm Thử Phần Mềm Làm Tăng Độ Tin Cậy Của Hệ Thống Phần Mềm ​

Hàng ngày, mỗi chúng ta đều tiếp xúc với hàng trăm thiết bị điện tử, đồ gia dụng, máy vi tính ẩn chứa trong đó là những hệ thống máy tính và các chương trình ứng dụng phần mềm. Máy vi tính và các hệ thống thông tin đã đi sâu vào đời sống của mỗi người. Bất cứ một sai sót nào của các thiết bị này đều khó mà chấp nhận được, những sai lầm này đều phải trả giá bằng sinh mạng con người, bằng vật chất. Theo [3], ngày 04/06/1996, tàu vũ trụ Ariane-5 đã nổ tung ngay sau khi khởi động được 36 giây do lỗi chuyển đổi một số dạng dấu phẩy động 64-bit thành giá trị nguyên dương 16-bit. Theo [13], tháng 2-2014 Toyota đã phải thu hồi 1,9 triệu xe ôtô Prius trên toàn cầu vì lỗi lập trình hệ thống lai phối hợp hai hệ thống xăng và điện. Vì vậy độ tin cậy của các hệ thống máy tính là điều quan trọng nhất trong quá trình phát triển phần mềm.

• Luận văn thạc sĩ Công nghệ thông tin
• Chuyên ngành Kỹ thuật phần mềm
• Người hướng dẫn khoa học: TS. Đặng Văn Hưng
• Tác giả: Ngô Thị Nga
• Số trang: 79
• Kiểu file: PDF
• Ngôn ngữ: Tiếng Việt
• Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội 2014

Link Download
http://dlib.vnu.edu.vn/iii/cpro/DigitalItemViewPage.external?lang=vie&sp=1055031
https://drive.google.com/drive/folders/1yLBzZ1rSQoNjmWeJTM6cEZ3WGQHg04L1