Paper Information

Journal:   MODARES JOURNAL OF ELECTRICAL ENGINEERING   SPRING 2010 , Volume 10 , Number 1; Page(s) 13 To 38.
 
Paper: 

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

 
 
Author(s):  BABA MIR S.M.*, JALILI S.
 
* UNIVERSITY OF KASHAN
 
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.

 
Keyword(s): RUN-TIME VERIFICATION, VERIFICATION RULES GENERATION, REACTIVE SOFTWARE
 
References: 
  • ندارد
 
  Persian Abstract Yearly Visit 49
 
Latest on Blog
Enter SID Blog