Юрий Гуревич (Microsoft Research) встретился с разработчиками UniTESK
На встрече сравнивались инструменты тестирования, предлагаемые UniTESK, с инструментами на базе абстрактных автоматов (Abstract State Machines), разработанных группой Ю. Гуревича. Особое внимание было уделено вопросам спецификаци и тестирования распределенных систем.
 
 
Вернуться
Copyright © 2014 Институт системного программирования Российской академии наук