حلقه‌های راستی‌آزمایی: وادارش کن خودش را اثبات کند

بخشی از دوره Vibe Coding: مهندسی پیشرفته

یک مدل به شما می‌گوید کدش درست است. نه دروغ می‌گوید و نه راست می‌گوید؛ هیچ راهی برای دانستنش ندارد. درستی چیزی است که با اجرای کد در برابر یک تعریف از «درست» ثابت می‌شود، و پرسش جالب برای یک مهندس ارشد این است که آن تعریف را چطور بنویسد تا همان خرابی‌هایی را بگیرد که کد تولیدشده واقعاً دارد. این درس دربارهٔ بستن همین حلقه است و بعد سپردنش به مدل، تا پیش از آنکه شما اصلاً دیف را بخوانید اجرا شده باشد.

از یک مدل تابع و تست‌هایش را بخواهید، و تست‌هایی می‌گیرید برای همان حالت‌هایی که پیاده‌سازی از قبل رسیدگی‌شان می‌کند. این بدخواهی نیست، همان فرایند تولیدی است که هر دو را از یک درک واحد بیرون می‌دهد. تست‌ها نقطه‌های کور پیاده‌سازی را عیناً به ارث می‌برند. ...