بخشی از پاورپوینت
اسلاید 1 :
مروری بر روشهای رسمی تولید برنامه در مقایسه با روش های متداول
اسلاید 2 :
فهرست
مقدمه
معرفی روش های رسمی
چگونگی بهبود تولید نرم افزار
اسطوره هایی درباره روش های رسمی
علل عدم اقبال
نتیجه گیری
فهرست منابع
اسلاید 3 :
مقدمه
نرخ بالای خطا در سامانه ها
هزینه بالای آزمایش
مشاهده درستی در مقابل اثبات
هزینه غیر قابل جبران خطا درسامانه های بحرانی
فضاپیمای Ariane5، اتلاف 10 سال و 7 میلیارد دلار
Therac-25، مرگ 6 انسان
نیاز به اطمینان
اسلاید 4 :
معرفی روش های رسمی
بر پایه مدل تحلیل ریاضی
استفاده از ریاضیات برای توصیف برنامه ها
بیان نیازمندی ها به جای راه حل
زبان های متداول
Z
CSP
B
VSM
Larch
اسلاید 5 :
معرفی روش های رسمی
توصیف
اثبات
پالایش
وارسی
گام های روش های رسمی
اسلاید 6 :
معرفی روش های رسمی
قسمتی از توصیف نرم افزار ثبت نام دانشجویان به زبانZ
اسلاید 7 :
معرفی روش های رسمی
محاسن
کاهش نرخ خطا
افزایش اطمینان به سامانه
کاهش هزینه در نگاه کلی نگر
استفاده مجدد در حد توصیف
معایب
افزایش هزینه اولیه
زمان بیشتر برای یادگیری
عدم درک توسط افراد غیر فنی
اسلاید 8 :
چگونگی بهبود تولید نرم افزار
روش های متداول تولید نرم افزار
روش ساخت یافته
روش شیءگرا(OO)
روش توسعه سریع نرم افزار (RAD)
روش منظرگرا (AO)
نقش حیاتی توصیف در طراحی، پیاده سازی و آزمایش
استفاده از UML به همراه زبان طبیعی
فراگیری قابلیت فهم در برابر ابهام و درک متفاوت
اسلاید 9 :
چگونگی بهبود تولید نرم افزار
خطا، رفتار غیرمنتظره سامانه
خطا در مراحل ابتدایی، هزینه بیشتر
آزمایش، روش کشف خطا
محدودیت های آزمایش
عدم امکان انجام قبل از پیاده سازی
هزینه بالای رفع خطای توصیف
آشکار کردن خطاها، نه تضمین عدم وجود
عدم برخورداری از دقت در صورت ابهام در سند نیازمندیها
اسلاید 10 :
چگونگی بهبود تولید نرم افزار
هزینه بیشتر در مراحل اولیه
کاهش هزینه پیاده سازی و وارسی
اسلاید 11 :
اسطوره هایی درباره روش های رسمی
ایجاد تاخیر در مراحل تولید نرم افزار
عدم پشتیبانی توسط ابزارها
به معنی ترک روش های غیر رسمی طراحی
مختص ریاضیدانان!
استفاده در کلیه زمینه های تولید
اسلاید 12 :
علل عدم اقبال
وجود اسطوره ها
عدم احساس نیاز به دلیل کیفیت قابل قبول روش های دیگر
اهمیت زمان رسیدن به بازار در مقابل نرخ پایین خطا
عدم وجود ابزارهای کافی
اسلاید 13 :
نتیجه گیری
استفاده از روش های رسمی درکنار روش های غیر رسمی برای تولید نرم افزارهای
با پیچیدگی زیاد و قابلیت اطمینان بالا
