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