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ười chia sẻ :
- Số trang : 26 trang
- Lượt xem : 8
- 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
Bạn đang xem trước 20 trang tài liệu 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, để xem tài liệu hoàn chỉnh bạn click vào nút DOWNLOAD LUẬN VĂN ở trên
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
