پایش و وارسی حین اجرای برنامههای واکنشی با استفاده از منطق زمانی بازهای

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

کلیدواژه ها:

برنامه واکنشی ، منطق زمانی بازه ای ، آزمون نرمافزار ، پایش و وارسی حین اجرا