Предложена модель априорной оценки количества дефектов программных средств на основе метрик сложности в виде системы линейных уравнений. При верификации модели была достигнута большая точность оценки количества дефектов по сравнению с известными априорными моделями. Верификация и анализ коэффициентов модели выявили следующие проблемы применения модели: проблема отсутствия решений системы, проблема выбора метрик, проблема неустойчивых оценок, проблема интерпретации коэффициентов модели, проблема возникновения отрицательных коэффициентов и их влияния точность оценки. Для исследования данных проблем было проведено имитационное моделирование, в результате которого были намечены пути их решения, что необходимо для эффективного использования предложенной модели на этапе разработки программных средств гарантоспособных информационных систем критического назначения. Рассмотрена возможность использования коэффициентов модели в качестве комплексного показателя качества разработки программных средств. Ключевые слова: гарантоспособность, показатели надежности, априорная оценка, количество дефектов, метрики сложности, коэффициенты дефектосложности.
