Hồi quy đẳng điệu không trọng số
Khớp dãy không giảm với tối đa 128 quan sát hữu hạn trong ±10^6 bằng bình phương tối thiểu trọng số đều.
from math import isfinite
def isotonic_fit(values):
if type(values) is not list or len(values) > 128:
raise ValueError("bounded list")
if any(type(x) not in (int, float) or abs(x) > 10**6 or
not isfinite(x) for x in values):
raise ValueError("bounded finite values")
blocks = []
for value in values:
blocks.append([float(value), 1])
while len(blocks) > 1 and (
blocks[-2][0] / blocks[-2][1] > blocks[-1][0] / blocks[-1][1]):
total, count = blocks.pop()
blocks[-1][0] += total; blocks[-1][1] += count
return [total / count for total, count in blocks for _ in range(count)]Dự án
Kiểm tra đầu vào rỗng và giảm, từ chối Boolean đồng thời giữ nguyên danh sách nguồn.
Kiểm tra trước khi áp dụng
So sánh hành vi thực tế với kết quả mong đợi. Nếu kiểm tra thất bại, tìm nguyên nhân trước khi sửa tiếp.
Mô hình
Cấu hình endpoint tương thích OpenAI hoặc Anthropic bằng URL cơ sở và khóa API nếu cần. Kiểm tra kết nối. Máy chủ mô hình cục bộ phải đang chạy; công cụ từ xa có thể truyền dữ liệu riêng.
from math import isfinite
def isotonic_fit(values):
if type(values) is not list or len(values) > 128:
raise ValueError("bounded list")
if any(type(x) not in (int, float) or abs(x) > 10**6 or
not isfinite(x) for x in values):
raise ValueError("bounded finite values")
blocks = []
for value in values:
blocks.append([float(value), 1])
while len(blocks) > 1 and (
blocks[-2][0] / blocks[-2][1] > blocks[-1][0] / blocks[-1][1]):
total, count = blocks.pop()
blocks[-1][0] += total; blocks[-1][1] += count
return [total / count for total, count in blocks for _ in range(count)]Yêu cầu bằng chứng phân biệt bản sửa lỗi với bản viết lại có vẻ hợp lý
OrderSaffron là phần mềm lập trình AI trên Windows giúp dễ đánh giá thay đổi đề xuất bằng kiểm tra có ý nghĩa. Mở thư mục dự án và mô tả hành vi cần bằng chứng. Mô hình kết nối có thể giúp kiểm tra triển khai cùng kiểm thử, để cuộc trao đổi hỏi liệu khẳng định kiểm thử nắm bắt yêu cầu chứ không chỉ liệu mã hiện tại thỏa nó.
Ví dụ isotonic_fit.py đưa ra nhiệm vụ tạo dãy khớp không giảm. Cung cấp đầu vào nhỏ có kết quả kỳ vọng đã biết và hỏi trường hợp nào phân biệt hành vi mong muốn với đầu ra chỉ có vẻ được sắp thứ tự. Bao gồm giá trị bằng nhau và đầu vào đã có thứ tự. Ví dụ là bài tập rà soát dự án; không có nghĩa không gian làm việc gồm sản phẩm khớp số liệu hay dịch vụ chứng nhận kiểm thử tự động.
Có thể chọn mô hình AI không lọc nếu điểm cuối tương thích OpenAI hoặc Anthropic được hỗ trợ cung cấp. Cấu hình chi tiết kết nối cần thiết và đánh giá giới hạn công cụ, ngữ cảnh của mô hình. Rà soát cả bản vá nguồn và kiểm thử đề xuất trước khi chạy kiểm tra dự án. Giữ kỳ vọng độc lập và báo mọi thiếu sót. Kết quả đạt chỉ là bằng chứng hữu ích khi kiểm thử thực hiện quy ước bạn muốn giữ hoặc thay đổi.
Đánh giá bộ kiểm thử số học đề xuất
- Tại sao chỉ kiểm tra thứ tự không giảm là chưa đủ?
Nhiều đầu ra có thể được sắp mà không phải kết quả khớp yêu cầu. Bao gồm kỳ vọng nhỏ tính độc lập và tính chất quy ước khác như độ dài đầu ra. Hỏi mỗi kiểm tra phát hiện sai sót triển khai nào trước khi chấp nhận bộ kiểm thử làm bằng chứng.
- Đầu vào đã có thứ tự có nên nằm trong kiểm thử?
Có, khi hành vi mong muốn là giữ nguyên nó. Trường hợp đó có thể lộ thay đổi không cần thiết hoặc lỗi chỉ số. Nêu giá trị kỳ vọng rõ ràng và bao gồm phần tử lặp để kiểm tra cả bằng nhau lẫn đầu vào tăng nghiêm ngặt.
- Trợ lý có thể viết cả mã và kiểm thử không?
Nó có thể đề xuất cả hai trong phạm vi công cụ khả dụng, nhưng hãy rà soát lập luận độc lập. Kiểm thử suy từ cùng giả định sai có thể khớp triển khai lỗi. Dùng yêu cầu bên ngoài hoặc ví dụ kiểm tra thủ công làm cơ sở kết quả kỳ vọng.
- Tôi nên báo việc xác minh chưa đầy đủ thế nào?
Tách kiểm tra thực sự đã chạy khỏi kiểm tra đề xuất và giả định chưa giải quyết. Bao gồm thất bại và giới hạn môi trường thay vì xem thiếu đầu ra là thành công. Điều đó cho người rà soát tiếp theo biết rõ bản vá chứng minh gì và điều gì còn chưa chắc.
OrderSaffron · Cập nhật 2026-10-25