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

  Повний текст PDF - 380.181 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"