Probabilistic Analysis of False Positive Error Detection in Software Code

The author presents a simple probabilistic model that describes the occurrence of false positive software defect detection by code analyzers. This model is based on two main parameters; initial defect density in the code, and the accuracy of defect detection by a code analyzer. The described model and performed calculations will be helpful to software engineers during the work of setting up the strategy and processes for automated code analysis.