An approach to testing commercial embedded systems

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