کارگاه آموزشی طراحی،آزمون و وارسی نرم‌افزار

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

• معرفی مهندسی مدل‌رانده (دکتر بهمن زمانی)
• مدل‌های اجرایی، وارسی و اعتبارسنجی پویا، به همراه نمونه‌های عملی (مهندس حججی)
• مدل‌سازی برنامه‌های هم‌زمان حافظه مشترک و ارسال پیام، تبیین رهایی از اشکالات هم‌زمانی ( مانند مسابقه برای داده‌ها، بن‌بست، گرسنگی) (دکتر الهام محمودزاده)
• وارسی برنامه‌های همزمان و مصورسازی شکست و نمونه‌های عملی (مهندس )
• مبانی آزمون ساختاری، تولید خودکار داده‌ی آزمون، حل قیود (مهندس فضلی)
• از آزمون واحد تا آزمون کارآیی (دکتر محسن افشارچی)
• ابزارهای آزمون نرم‌افزار در ابعاد صنعتی (غلامحسین توسلی)
• آزمون نرم‌افزار به‌صورت مرحله به مرحله (نمایش زنده) (غلامحسین توسلی)