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

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