آیا تصور میکردید روزی هوش مصنوعی بتواند بهطور خودکار کدهای پیچیده سیستمی را بررسی و باگهای عمیق را شناسایی کند؟
محققان سیستم جدیدی به نام «Specula» را معرفی کردهاند که یک «عامل هوشمند» (Agentic System) تمامعیار است. این سیستم با استفاده از مدلهای زبانی بزرگ (LLM)، مشخصات رسمی (Formal Specifications) تولید کرده و بدون نیاز به دخالت انسان، کدهای سیستمی را مدلچکینگ میکند.
نتایج کارکرد Specula بسیار درخشان بوده؛ بهطوریکه در بررسی ۴۸ پروژه متنباز، موفق به کشف ۲۴۹ باگ شده که بسیاری از آنها با روشهای سنتی به سختی قابل شناسایی بودند. این یعنی یک گام بزرگ به سمت کدهای نرمافزاری ایمنتر و بدون خطای انسانی!
این ابزار اکنون برای استفاده در دسترس است و میتواند تحولی در حوزه امنیت و توسعه نرمافزار ایجاد کند. 💻⚙️
منبع: arXiv AI