مرجع دانلود پاورپوینت های درسی

حجم فایل : 683.0 KB
نوع فایل : پاور پوینت
تعداد اسلاید ها : 16
بنام خدا مروری بر روشهای رسمی تولید برنامه
در مقایسه با روش های متداول فهرست مقدمه
معرفی روش های رسمی
چگونگی بهبود تولید نرم افزار
اسطوره هایی درباره روش های رسمی
علل عدم اقبال
نتیجه گیری
فهرست منابع مقدمه نرخ بالای خطا در سامانه ها
هزینه بالای آزمایش
مشاهده درستی در مقابل اثبات
هزینه غیر قابل جبران خطا درسامانه های بحرانی
فضاپیمای Ariane5، اتلاف 10 سال و 7 میلیارد دلار
Therac-25، مرگ 6 انسان
نیاز به اطمینان

معرفی روش های رسمی بر پایه مدل تحلیل ریاضی
استفاده از ریاضیات برای توصیف برنامه ها
بیان نیازمندی ها به جای راه حل
زبان های متداول
Z
CSP
B
VSM
Larch


معرفی روش های رسمی توصیف اثبات پالایش وارسی گام های روش های رسمی معرفی روش های رسمی
قسمتی از توصیف نرم افزار ثبت نام دانشجویان به زبانZ
معرفی روش های رسمی محاسن
کاهش نرخ خطا
افزایش اطمینان به سامانه
کاهش هزینه در نگاه کلی نگر
استفاده مجدد در حد توصیف
معایب
افزایش هزینه اولیه
زمان بیشتر برای یادگیری
عدم درک توسط افراد غیر فنی





چگونگی بهبود تولید نرم افزار روش های متداول تولید نرم افزار
روش ساخت یافته
روش شیءگرا(OO)
روش توسعه سریع نرم افزار (RAD)
روش منظرگرا (AO)
نقش حیاتی توصیف در طراحی، پیاده سازی و آزمایش
استفاده از UML به همراه زبان طبیعی
فراگیری قابلیت فهم در برابر ابهام و درک متفاوت

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

چگونگی بهبود تولید نرم افزار هزینه بیشتر در مراحل اولیه
کاهش هزینه پیاده سازی و وارسی

اسطوره هایی درباره روش های رسمی ایجاد تاخیر در مراحل تولید نرم افزار
عدم پشتیبانی توسط ابزارها
به معنی ترک روش های غیر رسمی طراحی
مختص ریاضیدانان!
استفاده در کلیه زمینه های تولید علل عدم اقبال وجود اسطوره ها
عدم احساس نیاز به دلیل کیفیت قابل قبول روش های دیگر
اهمیت زمان رسیدن به بازار در مقابل نرخ پایین خطا
عدم وجود ابزارهای کافی

نتیجه گیری

استفاده از روش های رسمی درکنار روش های غیر رسمی برای تولید نرم افزارهای
با پیچیدگی زیاد و قابلیت اطمینان بالا
فهرست منابع Quentin Charatan and Aaron Kans, “Formal Software Development, From VDM to Java”, Palgrave Mac...