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

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

کلیدواژه ها:

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