By Topic

Logic representation of programs to detect arithmetic anomalies

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)
F. Belli ; Fachgebiet Angewandte Datentech., Paderborn Univ., Germany ; T. Illgen

Much interest, especially by banks and insurance companies is paid to detect arithmetic anomalies and inexactness of arithmetic expressions. Numerous examples in the past show that although mathematical methods for correct implementation of arithmetic expressions exist and are well understood, many programs contain arithmetic anomalies, impreciseness or faults. Software tests based on conventional coverage criteria (F. Belli, 1998) and functional tests are not well suited for detection of these faults. The detection of arithmetic anomalies by these methods strongly depends on the adequateness of test cases. The selection of effective test cases needs a lot of effort to detect context-sensitive arithmetic inexactness. The authors introduce a novel approach for detecting arithmetic anomalies. The method is based on the specification of fault classes combined with the transformation of the program under test into a predicate logic model. The number of potential context-sensitive faults is deployed as a criterion to precisely select modules in large software systems to increase the test effectiveness

Published in:

Euromicro Conference, 2000. Proceedings of the 26th  (Volume:2 )

Date of Conference:

2000