08-02-2009, 02:07
Programs that test themselves
Cita:El jueves 12 de febrero a las 18hs Bertrand Meyer, uno de los padres de la programacion orientada a objetos con contratos, y creador del lenguaje Eiffel, dara una charla en Exactas para todos los interesados. La charla sera en el aula 4 del Pabellon I de la Facultad de Ciencias Exactas y Naturales, en Ciudad Universitaria.
Abajo se adjunta una descripcion de la charla y una biografia muy corta de Bertrand Meyer.
Programs that test themselves
Bertrand Meyer, ETH Zurich and Eiffel Software
"Automated" testing techniques as widely used today automate only part of the task, but leave aside the most difficult and time-consuming aspects: test case generation and test oracles.
Using software with built-in contracts addresses both of these issues, leading to software that tests itself completely automatically, in a "push-button" style.
The talk will present concepts and principles behind push-button contract-based testing and present experiences with two tools, AutoTest and CDD (Contract-Driven Development), which have already uncovered hundreds of bugs in released commercial software and have now been integrated as a standard component of the EiffelStudio IDE.
Bertrand Meyer is Professor of Software Engineering at ETH Zurich and Chief Architect of Eiffel Software. He is the author of a number of books including the best-seller "Object-Oriented Software Construction" (Prentice Hall, Jolt Award 1998). He has led the development of the Eiffel language and supporting tools and libraries. He is a fellow of the ACM and has received the ACM Software System Award as well as the Dahl-Nygaard prize for object technology and an honorary doctorate from the Technical University of Saint Petersburg. His latest book is "Touch of Class", an introductory programming textbook to be published in May 2009 by Springer