Interval analysis algorithm for source code defect detection
Keywords:
Static Analysis, Interval Analysis, Defect Detection, Software DefectsAbstract
An interval analysis algorithm with regard to «if-then-else» conditions for source code defect detection is proposed for C programming language. Estimation of defect probability is a special feature of the proposed algorithm. Precision and inclusiveness management techniques are considered. Use of the proposed algorithm is illustrated with an analysis of example program.
Published
2009-04-20
How to Cite
Itsykson, V., Moiseev, M., Tsesko, V., Zakharov, A., & Akhin, M. (2009). Interval analysis algorithm for source code defect detection. Information and Control Systems, (2), 34-41. Retrieved from http://proceedings.spiiras.nw.ru/index.php/ius/article/view/14827
Issue
Section
Hardware and software resources