راستی آزمایی حی ناجرای برنامه های واکنشی بی درنگ با رویکرد منطق بی درنگ
Publish place: 12th Annual Conference of Computer Society of Iran
Publish Year: 1385
نوع سند: مقاله کنفرانسی
زبان: Persian
View: 1,583
This Paper With 9 Page And PDF Format Ready To Download
- Certificate
- من نویسنده این مقاله هستم
استخراج به نرم افزارهای پژوهشی:
شناسه ملی سند علمی:
ACCSI12_257
تاریخ نمایه سازی: 23 دی 1386
Abstract:
روش های متداول اعتبارسنجی نرم افزار برای برنامه های واکنشی بی درنگ به اندازه کافی قابل اعتماد نیستند. باتوجه به پیچیدگی زیاد رویکرد راستی آزمایی ایستا و کامل نبودن رویکرد آزمون، روش راستی آزمایی حین اجرا پیشنهاد شده است . در این مقاله ، ویژگی های ایمنی پس از استخراج از مسئولیت های برنامه با منطق بی درنگ بیان گردیده و رفتار تحمل پذیری برنامه در برابر نقض این ویژگی ها به آن اضافه شده است. پایشگر رفتار برنامه درحین اجرا که توسط جنبه های زمانی، عملیاتی و ضرب الاجل تحقق می یابد به کدبرنامه بافته می شودو در محیط به همراه کد برنامه اجرا م یگردد. پایشگر، رفتار برنامه را در نقاط اتصال با توجه به ویژگی های ایمنی متناظر بیان شده مورد بررسی قرارداده و در صورت تشخیص نقض ویژگی، رفتار مشخصی (تحمل پذیری در برابر نقض ویژگی) را از خود نشان داده و برنامه را به وضعیت ایمنی می برد.
Keywords:
راستی آزمایی حین اجرا , برنامه واکنشی ب یدرنگ , منطق ب یدرنگ , برنامه نویسی جنب هگرا , تحمل پذیری خطا
Authors
سعید جلیلی
استادیار، گروه مهندسی کامپیوتر، دانشکده فنی مهندسی، دانشگاه تربیت م
مهدی میرزاآقایی
دانشجوی کارشناسی ارشد، گروه مهندسی کامپیوتر، دانشکده فنی مهندسی، دا