video

sound

Persian Version

View:

161

Download:

78

Cites:

Information Journal Paper

Title

A SPECIFICATION-BASED APPROACH TO GENERATE VERIFICATION RULES OF REACTIVE SOFTWARE

Writers

BABA MIR S.M. | JALILI S.

Pages

 Start Page 13 | End Page 38

Abstract

 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: (1) presents a visual and reactive model of problem specification and then generates ground rules of run-time behavior of software in real-time logic, (2) specifies in real-time logic the constraints should be met by software at run-time, and (3) generates verification rules from the constraints and the ground rules. Last of all, the SRG approach is applied to message communication protocol.

Cites

  • No record.
  • References

  • No record.
  • Related Journal Papers

    Related Seminar Papers

  • No record.
  • Related Plans

  • No record.