By Topic

A semi-formal approach for Java programs verification

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
Toufik Benouhiba ; Laboratoire LRI, Department of computer science, University Badji Mokhtar, Annaba, Algeria ; Hanene Cheriet

Software testing approaches are the most used techniques for programs verification because they are simple and fast. However, because of their lack of exhaustiveness, they cannot be considered as an alternative to formal verification approaches. On the other hand, these ones ensure total correction but with an important cost. In addition, they cannot operate well if the verified model is not consistent with the implementation. This paper proposes a new verification approach that combines tests and formal verification. The new approach, called SEmi-FORmal verification of Java programs or simply SE4J, uses tests to build a formal probabilistic model. This one will be formally verified in order to detect possible design errors in the program. The proposed approach permits also to compare two programs and validate test cases. The paper presents some obtained results over a case study and explains possible uses of the proposed approach.

Published in:

Programming and Systems (ISPS), 2011 10th International Symposium on

Date of Conference:

25-27 April 2011