«CertiCover». Инструмент для сбора и анализа структурного покрытия программного обеспечения