TL;DR
- چکیده:.
- چندین منطق برنامه اخیراً پیشنهاد شده،.
- مفاهیمیاز تقریب کمتر را در طراحی خود گنجاندهاند،.
چه اتفاقی افتاد
چکیده:. چندین منطق برنامه اخیراً پیشنهاد شده،.
مفاهیمیاز تقریب کمتر را در طراحی خود گنجاندهاند،. و آنها را قادر میسازد تا در مورد دسترسی به جای ایمنی استدلال کنند.
در این مقاله،. ما بررسی میکنیم که چگونه ایدههای مشابه را میتوان در یک سیستم نوع و اثر بیانی ادغام کرد.
ما از مشخصات نوع کم تقریبی حاصل برای هدایت سنتز ژنراتورهای آزمایشی استفاده میکنیم که رفتار سیستمهای جعبه. سیاه مؤثر را بررسی میکنند.
یک نوآوری کلیدی در زبان نوع ما،. توانایی آن در گرفتن رفتارهای کم تقریبی عملیات موثر با استفاده از ردپای نمادین است که دادههای.
پنهان و وابستگیهای کنترلی را آشکار میکند،. محدودیتهایی که باید توسط توالیهای آزمایشی خروجیهای مولد حفظ شوند.
ما این رویکرد را در ابزاری به نام Clouseau پیادهسازی میکنیم و با ادغام ژنراتورهای سنتز شده Clouseau. در طیف متنوعی از برنامهها،.
آن را ارزیابی میکنیم. چارچوبهای تست مبتنی بر ویژگی مانند QCheck و ابزارهای بررسی مدل مانند P.
در هر دو تنظیمات،. ژنراتورهای سنتز شده توسط Clouseau بهطور قابلتوجهی مؤثرتر از استراتژی آزمایش پیشفرض هستند و با راهحلهای دستنویس پیشرفته.
رقابت میکنند. زبانهای برنامهنویسی (cs.
PL) استناد بهعنوان: (یا v1 [cs. PL] برای این نسخه) https:.
// شده توسط arXiv از طریق DataCite (در انتظار ثبت نام) تاریخچه ارسال از:. Zhe Zhou [مشاهده ایمیل] [v1] دوشنبه،.
6 آوریل 2026،. 01:.
38:. 25 UTC (2,.
544 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.