Phepthuat_TheCharmedOnes
New Member
Luận văn: | Nghiên cứu phương pháp sinh dữ liệu kiểm thử phần mềm dựa trên kỹ thuật kiểm chứng mô hình : Luận văn ThS. Công nghệ thông tin: 60 48 10 |
Nhà xuất bản: | ĐHCN |
Ngày: | 2011 |
Chủ đề: | Công nghệ phần mềm Dữ liệu Kiểm chứng mô hình Phần mềm |
Miêu tả: | 95 tr. + CD-ROM Luận văn ThS. Công nghệ phần mềm -- Trường Đại học Công nghệ. Đại học Quốc gia Hà Nội, 2011 Trình bày cơ sở lý luận về kiểm định phần mềm và các nhóm kiểm định phần mềm. Giới thiêu về JPF, kiến trúc của JPF, cách mở rộng, phát triển trên JPF. Ngoài ra giới thiệu về thực thi tượng trưng để sinh dữ liệu kiểm thử cho chương trình trong JPF cũng như cho phép sinh tự động dữ liệu kiểm thử chương trình Java. Tìm hiểu về SMT, Z3, các lý thuyết được hỗ trợ trên Z3, các API của Z3 để tích hợp với JPF và ứng dụng của Z3. Nghiên cứu, đánh giá các giải pháp như: Kiến trúc hệ thống, chuyển đổi dữ liệu, thiết kế và cài đặt Electronic Resources |
Kiểu: | text |
Định dạng: | text/pdf |
You must be registered for see links