seidmostafa.hosseini·۵ سال پیشتست نرم افزار توسط ابزار frama-cمقدمه:مقوله کیفیت نرم افزار یکی از موضوعات بسیار مهم در فرآیند توسعه نرم افزار به حساب می آید. علیرغم بودجه های قابل توجهی که صرف توسعه نرم…
مهرشاد حقیقی نژاد·۵ سال پیشآزمون نرم افزار با استفاده از Frama-cدر این مطلب آموزش کار با نرم افزار Frama-c توضیح داده شده است.
