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 : Đề tài NCKH. QG.11.29 /
Trương, Anh Hoàng, 1973-
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 : Đề tài NCKH. QG.11.29 / Trương Anh Hoàng, Vũ Quang Dũng, Nguyễn Bảo Ngọc - H. : ĐH Công nghệ , 2013 - 32 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.
Công nghệ thông tin Tin học Sinh bộ kiểm thử tối ưu Hàm tính toán số học Hệ thống nhúng Công nghệ phần mềm
005.3 / TR-H 2013
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 : Đề tài NCKH. QG.11.29 / Trương Anh Hoàng, Vũ Quang Dũng, Nguyễn Bảo Ngọc - H. : ĐH Công nghệ , 2013 - 32 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.
Công nghệ thông tin Tin học Sinh bộ kiểm thử tối ưu Hàm tính toán số học Hệ thống nhúng Công nghệ phần mềm
005.3 / TR-H 2013
