محمدعلی عظیمی·۵ سال پیشآزمون نرم افزار به کمک ابزار frama-cمقدمه ای بر آزمون نرم افزار:آزمودن نرم افزار یک عنصر حیاتی از تضمین کیفیت است و همچنین بیانگر بازبینی نهایی مشخصات، طراحی و تولید کد است.هن…
محمد صادق شیخ زاهدیدرروزمرگی های کُدِر گایز·۵ سال پیشآموزش ابزار Frama-c برای آزمون نرم افزارابزار Frama-C مخفف (Framework for Modular Analysis of C programs) یا (چارچوب برای تجزیه و تحلیل مدولار برنامه های C) که جهت تحلیل برنامه...
seidmostafa.hosseini·۵ سال پیشتست نرم افزار توسط ابزار frama-cمقدمه:مقوله کیفیت نرم افزار یکی از موضوعات بسیار مهم در فرآیند توسعه نرم افزار به حساب می آید. علیرغم بودجه های قابل توجهی که صرف توسعه نرم…
مهرشاد حقیقی نژاد·۵ سال پیشآزمون نرم افزار با استفاده از Frama-cدر این مطلب آموزش کار با نرم افزار Frama-c توضیح داده شده است.
