Sinh bộ kiểm thử tối ưu cho các hàm tính toán số học trên hệ thống nhúng
127 tr. Nghiên cứu bài toán chính là xác định sai số làm tròn bằng phương pháp mới và từ đó cho phép sinh được các ca kiểm thử tối ưu theo nghĩa chúng sẽ tạo ra sai số lớn nhất giữa hàm dấu phẩy động và hàm dấu phẩy tĩnh. Xây dựng một công cụ phần mềm cho phép xác định sai số của hàm khi chạy với...
Đã lưu trong:
| Những tác giả chính: | , , |
|---|---|
| Định dạng: | Bài viết |
| Ngôn ngữ: | Vietnamese |
| Được phát hành: |
Đại học Quốc gia Hà Nội
2015
|
| Những chủ đề: | |
| Truy cập trực tuyến: | https://scholar.dlu.edu.vn/thuvienso/handle/DLU123456789/57114 |
| Các nhãn: |
Thêm thẻ
Không có thẻ, Là người đầu tiên thẻ bản ghi này!
|
| Thư viện lưu trữ: | Thư viện Trường Đại học Đà Lạt |
|---|
| Tóm tắt: | 127 tr.
Nghiên cứu bài toán chính là xác định sai số làm tròn bằng phương pháp mới và từ đó cho phép sinh được các ca kiểm thử tối ưu theo nghĩa chúng sẽ tạo ra sai số lớn nhất giữa hàm dấu phẩy động và hàm dấu phẩy tĩnh. Xây dựng một công cụ phần mềm cho phép xác định sai số của hàm khi chạy với dấu phẩy tĩnh và với hàm dấu phẩy động. Khi tính được sai số, công cụ cũng sinh ra kiểm thử cho sai số xấu nhất đó. Công cụ này giúp người lập trình cho hệ thống nhúng và di động kiểm tra chất lượng của các hàm phát triển trên máy tính PC và muốn chuyển sang chạy trên hệ thống nhúng và di động không có phần cứng xử lý dấu phảy động. |
|---|