تولید خودکار آزمایه مبتنی بر توصیف رفتاری قاعده‌محور
الموضوعات : مهندسی برق و کامپیوتر
1 - دانشکده مهندسی برق و کامپیوتر، دانشکدگان فنی، دانشگاه تهران، تهران، ایران،
2 - دانشکده مهندسی برق و کامپیوتر، دانشکدگان فنی، دانشگاه تهران، تهران، ایران،
الکلمات المفتاحية: آزمون مبتنی بر مدل, آزمون جستجومحور, توصیف صوری,
ملخص المقالة :
با رشد روزافزون استفاده از نرم‌افزارها در کاربردهای ایمنی- بحرانی نظیر صنعت خودرو، صنایع دفاعی و صنایع پزشکی، کسب سطوح بالای اطمینان از کیفیت این نرم‌افزارها امری ضروری است. آزمون مبتنی بر مدل به عنوان یک روش تولید خودکار آزمایه از طرفی با پوشش‌دادن یک توصیف صوری از کارکرد سامانه اطمینانی نسبی ایجاد می‌کند که سناریوهای مختلف اجرای برنامه آزموده می‌شوند و از طرف دیگر با خودکارسازی تولید این آزمایه‌ها هزینه تولید آزمون را به شکل چشم‌گیری کاهش می‌دهد. در این پژوهش یک چارچوب آزمون مبتنی بر مدل ارائه شده که از یک مدل قاعده‌محور استفاده می‌کند و بر اساس دو معیار پوشش قاعده و پوشش شرط فعال قاعده توانایی تولید آزمایه دارد. برای تولید آزمایه، این چارچوب از یک رویکرد جستجومحور مبتنی بر الگوریتم ژنتیک استفاده می‌کند. روش پیشنهادی امکان تعریف یک سامانه با فضای حالت بزرگ و تولید آزمایه از آن را ارائه می‌دهد. این چارچوب با انجام مطالعه موردی روی یک نرم‌افزار نهفته صنعتی ارزیابی شده و نتایج ارزیابی‌ها نشان از کاربردی‌بودن آن در مسائل واقعی در صنعت دارند.