مدل روشهای رسمی

‏مدل روش‌های رسمی (فرمال، قراردادی و صوری) یا Formal Method شامل مجموعه‌ای از فعالیت‌ها است که سعی دارد پروژه‌ی نرم‌افزاری را در قالب روابطی رسمی و ریاضی، سیستم‌های کامپیوتری را تعریف، توسعه، پیاده‌سازی و ارزیابی نماید. در این مدل، با استفاده از تحلیل‌های ریاضی، بسیاری از ابهامات، نواقص و عدم سازگاری نرم‌افزار را تا حد زیادی می‌توان به سادگی کشف و تصحیح نمود. گونه‌ای از روش‌های رسمی وجود دارد که به مهندسی نرم‌افزار اتاق تمیز یا Clean Room معروف است.

توجه: این مدل، امکان کشف و تصحیح خطا‌های زیادی را که تا زمان اجرا غیرقابل تشخیص هستند را در طول مراحل اولیه‌ی تولید نرم‌افزار، فراهم می‌کند.

توجه: یکی از مهمترین کاربردهای مدل روش‌های رسمی، ساخت سیستم‌های حساس و امن مانند ساخت نرم‌افزارهای کنترل هواپیما و موشک است. ‏

معایب مدلهای روشهای رسمی

۱- استفاده از مدل روش‌های رسمی بسیار وقتگیر و گران است.

۲- ‏آموزش گسترده‌ی سازندگان نرم‌افزار به علت اینکه تعداد اندکی از تولیدکنندکان نرم‌افزار پیش‌زمینه‌ی لازم برای به کار بردن روش‌های فرمال (رسمی) را دارند.

۳- ‏از این مدل نمی‌توان برای برقراری ارتباط با مشتریان معمولی که دید فنی ندارند، استفاده نمود.

ارسطو خلیلی‌فر

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

0 پاسخ ها

دیدگاه خود را ثبت کنید

آیا می خواهید به بحث بپیوندید؟
در صورت تمایل از راهنمایی رایگان ما استفاده کنید!!

دیدگاهتان را بنویسید

نشانی ایمیل شما منتشر نخواهد شد. بخش‌های موردنیاز علامت‌گذاری شده‌اند *