TL;DR
- چکیده:.
- آزمایش مبتنی بر ویژگی (PBT) برای موارد آزمایش تصادفی به ژنراتورها متکی است،.
- که اغلب با استفاده از زبانهای خاص دامنه تعبیهشده ساخته میشوند،.
چه اتفاقی افتاد
چکیده:. آزمایش مبتنی بر ویژگی (PBT) برای موارد آزمایش تصادفی به ژنراتورها متکی است،.
که اغلب با استفاده از زبانهای خاص دامنه تعبیهشده ساخته میشوند،. که ترکیبکنندههای بیانی را برای ساخت و ترکیب ژنراتورها فراهم میکنند.
اثربخشی PBT به شدت به سرعت این ژنراتورها بستگی دارد. با این حال،.
اندازهگیریهای دقیق نشان میدهد که عملکرد مولد کتابخانههای PBT که بهطور گسترده مورد استفاده قرار میگیرند،. اساساً به دلیل (1) سربار انتزاع سبک ترکیبی-سنگین آنها و (2) منابع غیربهینه تصادفی بودن،.
به خوبی از آنچه ممکن است فاصله دارد. ما این تنگناها را مشخص، کمیو حل میکنیم.
برای حذف سربار انتزاع، ما تکنیکی را بر اساس برنامهنویسی چند مرحلهای پیشنهاد میکنیم که آلگرو نام دارد. ما این تکنیک را برای کتابخانههای مولد پیشرو در OCaml و Scala 3 اعمال میکنیم و عملکرد را.
بهطور قابل توجهی بهبود میبخشیم. برای تعیین کمیت تأثیر عملکرد تصادفی منبع،.
ما یک آزمایش کنترلشده را انجام میدهیم،. و تصادفی بودن را در کتابخانه OCaml PBT با یک نسخه بهینه جایگزین میکنیم.
هر دو مداخله دقیقاً معنای مولدها را حفظ میکنند و امکان مقایسه دقیق و نقطهای را فراهم میکنند. این بهبودها با هم، اشکالات را تا 13\ برابر دلار سریعتر پیدا میکنند.
صفحه، 18 شکل، در دست بررسی در OOPSLA زبانهای برنامهنویسی (cs. PL) استناد بهعنوان: (یا v2 [cs.
PL] برای این نسخه) https:. // شده توسط arXiv از طریق DataCite تاریخچه ارسال از:.
سینتیا ریچی [مشاهده ایمیل] [v1] سه شنبه،. 25 مارس 2025،.
16:. 04:.
45 UTC (1,. 012 KB) [v2] سه شنبه،.
7 آوریل 2026،. 17:.
18:. 58 UTC (1,.
378 KB).
چرا مهم است
اهمیت این خبر در این است که روی استفاده واقعی از AI و تصمیمگیری سازمانی اثر میگذارد.
منبع
لینک منبع اصلی در کارت و صفحه مقاله نمایش داده میشود.