امنیتتعریف ساده و کاربردی

صحت‌سنجی صوری چیست؟

Formal Verification

اثبات ریاضی اینکه مدل یا کد تحت فرض‌های مشخص ویژگی‌های تعریف‌شده را نقض نمی‌کند.
املای انگلیسی: Formal Verificationتلفظ: /FOR-mul ver-ih-fih-KAY-shun/

معنی و کاربرد صحت‌سنجی صوری

توسعه‌دهنده رفتار مطلوب مانند حفظ موجودی یا ممنوعیت برداشت غیرمجاز را به مشخصات دقیق تبدیل و ابزار اثبات سازگاری برنامه با آن را بررسی می‌کند. این روش از تست نمونه‌ای عمیق‌تر است.

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

نام فارسی
صحت‌سنجی صوری
نام انگلیسی
Formal Verification
دسته‌بندی
امنیت
مطالعه بعدی

اصطلاحات مرتبط با صحت‌سنجی صوری

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

بازبینی محتوایی: مرداد ۱۴۰۵ — تعریف‌ها آموزشی‌اند و توصیه سرمایه‌گذاری محسوب نمی‌شوند.