s.mhmudi·۵ سال پیشتست نرم افزار توسط ابزار frama-cدر این نوشته به ابزار توسعه یافته frama-c در حوزه کیفیت نرم افزار می پردازیم و می آموزیم چگونه با در اختیار داشتن کد برنامه ها می توان ورود…
محمدعلی عظیمی·۵ سال پیشآزمون نرم افزار به کمک ابزار frama-cمقدمه ای بر آزمون نرم افزار:آزمودن نرم افزار یک عنصر حیاتی از تضمین کیفیت است و همچنین بیانگر بازبینی نهایی مشخصات، طراحی و تولید کد است.هن…
یاسر آرامش·۵ سال پیشآشنایی با Frama-C، ابزاری برای تست کد CFrama-C یک پلتفرم اختصاصی و قابل گسترش برای آنالیز سورس کد زبان C است.
مهرشاد حقیقی نژاد·۵ سال پیشآزمون نرم افزار با استفاده از Frama-cدر این مطلب آموزش کار با نرم افزار Frama-c توضیح داده شده است.