Một đánh giá định lượng của cho dù những điều khoản thực thi trong mã thực hiện các tính toán chính xác cần thiết trong công thức toán học.