A Study On Program Verification Using Efsbi Approach

Abstract: Testing plays an important role in any software industry. Now a day it is very difficult to release completely defect free product. For detecting defects external formal specification based inspection is used. It can be carried out by step by step process and include five activities. First step, functional scenarios are derived from specification. Second step is paths are derived from program. Third step is linking from scenarios to paths. Fourth step is to reading and analyzing of paths against the corresponding scenarios and finally inspection report is produced. For increasing the effectiveness of formal inspection methods it can be applied in SPRT (Specification-Based Program Review Tool). Finally to compare this method with the perspective based reading then the results shows that the method is less effective in implementation-related defects rather than functional-related defects.

Keywords: Formal methods, Static analysis, validation of programs.