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

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

کلیدواژه ها:

تست نرم افزار ، تست مبتنی بر مدل ، خودکار سازی تست مبتنی بر مدل ، تولید موارد تست