A Specification-Based Approach to Generate Verification Rules of Reactive Software

  • سال انتشار: 1389
  • محل انتشار: فصلنامه مهندسی برق مدرس، دوره: 10، شماره: 1
  • کد COI اختصاصی: JR_MJEEMO-10-1_002
  • زبان مقاله: انگلیسی
  • تعداد مشاهده: 77
دانلود فایل این مقاله

نویسندگان

سید مرتضی بابامیر

University of Kashan

سعید جلیلی

Tarbiat Modares University

چکیده

Static verification and software testing are not able to verify software single-handedly. Therefore, another approach called run-time verification dealing with verifying software behavior against constraints at run-time received attention. However, the run-time verification faces the problem of verification of run-time activities against the constraints are specified in high-level and abstractly because their natures are different from each other. Focused on reactive software, in three steps this paper presents an approach called SRG to generate run-time verification rules in terms of run-time activities from abstract specification and constraints of problem. The approach: (۱) presents a visual and reactive model of problem specification and then generates ground rules of run-time behavior of software in real-time logic, (۲) specifies in real-time logic the constraints should be met by software at run-time, and (۳) generates verification rules from the constraints and the ground rules. Last of all, the SRG approach is applied to message communication protocol.

کلیدواژه ها

Run-time verification, Verification rules generation, Reactive software, درستی یابی زمان اجرا, تولید قوانین درستی یابی, نرم افزار واکنشی

اطلاعات بیشتر در مورد COI

COI مخفف عبارت CIVILICA Object Identifier به معنی شناسه سیویلیکا برای اسناد است. COI کدی است که مطابق محل انتشار، به مقالات کنفرانسها و ژورنالهای داخل کشور به هنگام نمایه سازی بر روی پایگاه استنادی سیویلیکا اختصاص می یابد.

کد COI به مفهوم کد ملی اسناد نمایه شده در سیویلیکا است و کدی یکتا و ثابت است و به همین دلیل همواره قابلیت استناد و پیگیری دارد.