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

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

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

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

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

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

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

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

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

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