Kiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính

  • Người chia sẻ :
  • Số trang : 102 trang
  • Lượt xem : 12
  • Lượt tải : 500
  • Tất cả luận văn được sưu tầm từ nhiều nguồn, chúng tôi không chịu trách nhiệm bản quyền nếu bạn sử dụng vào mục đích thương mại

NHẬP MÃ XÁC NHẬN ĐỂ TẢI LUẬN VĂN NÀY

Nếu bạn thấy thông báo hết nhiệm vụ vui lòng tải lại trang

Bạn đang xem trước 20 trang tài liệu Kiểm tra mô hình phần mềm sử dụng lý thuyết ôtômat buchi và logic thời gian tuyến tính, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD LUẬN VĂN ở trên

Với sự phát triển nhanh tột bậc của lĩnh vực công nghệthông tin và truyền thông trên cảcác hệthống phần cứng và phần mềm, khảnăng xảy ra nhiều lỗi, đặc biệt là các lỗi tinh vi là rất cao. Những lỗi này có thểgây ra những hậu quảnghiêm trọng vềtiền bạc, thời gian, thậm chí cuộc sống của con người. Nhìn chung, một lỗi càng sớm được phát hiện sẽcàng mất ít công sức đểsửa lỗi đó. • Theo thống kê của Standish Group (2000) trên 350 công ty với hơn 8000 dựán phần mềm có: 31% dựán phần mềm bịhuỷbỏ trước khi được hoàn thành. Với các công ty lớn, chỉcó khoảng 9% tổng sốcác dựán hoàn thành đúng tiến độvà trong ngân sách dựán ( với các công ty nhỏ, tỷlệnày vào khoảng 16%) • Theo thống kê của PCWeek (2001) trên 365 công ty chuyên cung cấp các dựán phần mềm chuyên nghiệp có: 16% các dựán là thành công, 53% sửdụng được nhưng không thành công hoàn toàn, 31% bịhuỷbỏ. • NIST Study (2002): Lỗi phần mềm gây thiệt hại ước tính 59.5 triệu đô la cho nền kinh tếnước Mỹmỗi năm chiếm 0.6% GDP. • Vệtinh nhân tạo Ariane-5 vào ngày 4/06/1996 chỉsau 36 giây rời khỏi bệphóng đã bịnổvì lý do lỗi phần mềm: người ta đã sử dụng 16 bit lưu trữsốnguyên đểlưu trữdữliệu kiểu thực 64 bit gây thiệt hại 500 triệu USD