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

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

کلیدواژه ها:

ربات پروازی ، آسیبپذیری ، تست فاز بر روی حافظه ، اجرای سمبلیک ، تحلیل ایستا