Юрий Гуревич - американский математик и информатик, создатель теории машин абстрактных состояний. Он работает в Microsoft Research на должности Principal Researcher, где основал группу фундаментальных исследований в области программной инженерии. Он также является заслуженным профессором Мичиганского университета. Гуревич - автор более двухсот научных статей по логике, конечной теории моделей, теории машин абстрактных состояний, программной инженерии; имеет статусы ACM Fellow и Guggenheim Fellow, члена Европейской Академии Наук, и почетного доктора Бельгийского университета Hasselt и Уральского Государственного Университета.

Краткий анонс лекции: The game of testing? What game? Who plays it? What are the moves? When is it over? Who wins it? We are going to answer these and related questions. This lecture is an attempt to have a detached look at testing and to put testing into a proper perspective. One particular issue is Myers's paradox: "The number of undiscovered bugs in a program section is proportional to the number of discovered bugs in the section." We plan to finish with some philosophical remarks, in particular comparing software testing to scientific experimentation.

Лекция прошла 26 октября на факультете ВМК МГУ им.М.В.Ломоносова при поддержке MSTLab.

 Презентация (175Кб)