تحقیق و اثبات درستی برنامه

از ویکی‌پدیا، دانشنامهٔ آزاد.

يكي از روش هاي تحقيق و بررسي و اثبات درستي برنامه استفاده از مهندسي معكوس است مهندسي معكوس يا Reverse Engineering به مهندسان كامپيوتر كمك می‌‌كند برنامه هاي مختلف را حتي بدون داشتن كد و سورس (منبع) برنامه ديباگ (اشكال يابي) كرده و گاها به رفع اين مشكلات بپردازند.

مهندسي معكوس رشته اي دانشگاهي و كاملا تدوين شده و قانوني است ولي شاخه اي از اين رشته كسترش زيادي (به صورت غير قانوني) داشته كه Cracking نام دارد

تصویر:Computer-stub.png این نوشتار دربارهٔ رایانه ناقص است. با گسترش آن به ویکی‌پدیا کمک کنید.