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

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

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

اسلایدهای ارائه ها رو می تونید از وب سایت «گروه مهندسی نرم افزار مدل رانده دانشگاه اصفهان» به همراه تصاویری از جلسات برگزار شده در مرکز دانلود بفرمایید.

کدها و اسلایدهای ارائه بنده نیز از طریق گیت‌هاب در دسترس دوستان قرار دارد.

در این کارگاه دوستانی از شرکت‌های صاایران، هسا، دانشگاه صنعتی اصفهان و دانشگاه اصفهان حضور داشتند.

این اولین دوره برگزاری کارگاه آموزشی در این حوزه در دانشگاه اصفهان بود. یه مقدار گرما و شرایط نامناسب تهویه کارگاه دوستان رو اذیت کرد ولی در کل تجربه خوبی بود؛ به خصوص برای بنده با توجه به این که با خانواده بعد از حدود شش هفت سال یه اصفهان گردی هم داشتیم.

اینم یه آلبوم کوچک از کارگاه و حواشی اون...