تعیین سطح توانایی روش های رسمی در توصیف و تحلیل نرم افزار
محورهای موضوعی : مهندسی برق و کامپیوترسیدمرتضی بابامیر 1 , ویدا احمدی ثابت 2
1 - دانشگاه کاشان
2 - دانشگاه پیام نور مرکز همدان
کلید واژه: توصیف و وارسی نرم‌افزار روش‌های رسمی طبقه‌بندی نرم‌افزار مبتنی بر حالت مبتنی بر رخداد,
چکیده مقاله :
توسعه‌دهندگان نرم‌افزار به دلایل مختلف با مشکل انتخاب روش رسمی متناسب با نرم‌افزار تحت توسعه روبه‌رو هستند. هدف ما در این مقاله تعیین سطح توانایی روش‌های رسمی برای توصیف و تحلیل نرم‌افزارهای مختلف در چهار قدم است: در قدم اول معیارهایی که روش‌های رسمی با آنها سنجیده می‌شوند، معرفی می‌شوند. در قدم‌های دوم و سوم انواع نرم‌افزارها و روش‌های رسمی بر اساس رویکردشان در حل مسئله طبقه‌بندی می‌شوند و در قدم چهارم بر اساس معیارهای تعیین‌شده در قدم اول، برازندگی و تناسب چند نمونه از روش‌های رسمی برای توصیف و تحلیل هر طبقه از نرم‌افزار تعیین می‌شود.
Software developers face the problem of adopting a suitable formal method to developing their software. We aim to determine capability level of formal methods in software specification and analysis in four steps. The first step introduces the criteria by which the formal methods assess. The second and third ones deal with categorizing sorts of software and formal methods based on their solution methods. The fourth step determines fitness of some typical formal methods to specification and analysis of each software category.