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