Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment

Loại tài liệu: Tài liệu số - Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin

Tác giả: Fouad ben Nasr Omri

Nhà xuất bản: KIT Scientific Publishing

Năm xuất bản: 2018

Tải ứng dụng tại các liên kết sau để xem đầy đủ tài liệu.

Tóm tắt nội dung

Cuốn sách này đã phát triển một phương pháp tiếp cận tự động để đánh giá độ tin cậy của phần mềm, vừa có lý thuyết vững chắc vừa có thực tiễn. Phương pháp tiếp cận được phát triển mở rộng và kết hợp các phương pháp tiếp cận có lý thuyết vững chắc theo một cách mới lạ để giảm thiểu chi phí đánh giá độ tin cậy một cách có hệ thống.

Abstract:

This book developed an automatic approach for the assessment of software reliability which is both theoretical sound and practical. The developed approach extends and combines theoretical sound approaches in a novel manner to systematically reduce the overhead of reliability assessment.

Ngôn ngữ:eng
Tác giả:Fouad ben Nasr Omri
Thông tin nhan đề:Weighted Statistical Testing based on Active Learning and Formal Verification Techniques for Software Reliability Assessment
Nhà xuất bản:KIT Scientific Publishing
Loại hình:Tài nguyên giáo dục mở / Bộ sưu tập: Công nghệ thông tin
Bản quyền:https://creativecommons.org/licenses/by-sa/4.0/
Nguồn gốc:https://www.ksp.kit.edu/site/books/m/10.5445/KSP/1000051517/
Mô tả vật lý:190p.
Năm xuất bản:2018

Sử dụng ứng dụng Libol Bookworm quét QRCode này để mượn và đọc tài liệu)

(Lưu ý: Sử dụng ứng dụng Bookworm để xem đầy đủ tài liệu. Bạn đọc có thể tải Bookworm từ App Store hoặc Google play với từ khóa "Libol Bookworm”)

Danh mục
Tài nguyên khác