XVIII Escuela de Verano de Ciencias Informáticas
Río 2011
14 al 19 de febrero de 2011
Campus de la Universidad Nacional de Río Cuarto,
Provincia de Córdoba, República Argentina
========= CURSOS =========
Curso 1: «Automated Test Generation and Repair»
Dr. Darko Marinov, University of Illinois at
Urbana-Champaign, U.S.A.
Idioma: Inglés
Abstract:
This course will review techniques and tools for automated
generation and repair of tests, with an emphasis on
object-oriented unit tests. Such a test consists of a
sequence of method calls, where each call takes a list of
parameters. These sequences and parameters can be written
manually or generated automatically. Automated techniques
include random generation, symbolic execution, and
bounded-exhaustive exploration. Developers are encouraged to
frequently execute tests while changing their software to
check whether changes cause the tests to fail. Some failures
are caused by bugs in the code changes and some by old tests
that do not reflect the changes. In the latter case,
developers can use an automated tool that suggests repairs
which make the failing tests to pass. We will review in more
detail how these techniques work in several tools for test
generation (including Pex, Randoop, and UDITA) and one tool
for test repair (ReAssert).
Recommended knowledge: some object-oriented language (e.g.,
Java or C#); knowledge of a unit testing framework (e.g.,
JUnit or NUnit) and an IDE (e.g., Eclipse or Visual Studio)
is helpful but not necessary.
——————————
——
Curso 2: «Dependable Distributed Computing»
Dr. Lorenzo Alvisi, University of Texas at Austin, U.S.A.
Lenguaje: Inglés
————————————
Curso 3: «Model Checking Continuous-Time Markov Models:
Fron Theory to Practice»
Dr. Joost-Pieter Katoen, RWTH University, Alemania
Lenguaje: Inglés
Abstract:
This set of lectures will provide an introduction to the
verification of CTMCs, a model that combines discrete
probabilistic branching with random state residence times.
CTMCs are prominent in performance and dependability
evaluation, occur as semantic model of high-level modeling
formalisms such as stochastic Petri nets and process
algebras, and are frequently used in systems biology. We
will introduce a branching-time logic on CTMCs, and explain
in detail how the validity of these logical formulas can be
model-checked on finite CTMCs. In order to handle large, or
even infinite CTMCs, we introduce an abstraction technique
that fits within the realm of three-valued abstraction
methods. The key ingredients of this technique are a
partitioning of the state space combined with an abstraction
of transition probabilities by intervals. We will present
the underlying theory of this abstraction, some examples,
and indicate how such abstraction can be applied in a
compositional manner
. Finally, we will present algorithms for verifying CTMCs
against specifications given as timed automata. The
applicability will be shown by several examples from systems
biology and performance and dependability evaluation.
————————————
Curso 4: «Análisis Automático de Programas: de la Teoría
a la Práctica»
Dr. Diego Garbervetsky y Lic. Guido de Caso, Universidad de
Buenos Aires, Argentina
Lenguaje: Castellano.
Resumen:
El análisis estático permite extraer propiedades sobre un
programa antes de la ejecución real del mismo. Esta
información puede ser luego utilizada para realizar
transformaciones sobre el mismo compilación,
optimizaciones, etc.) y/o realizar pruebas sobre su
corrección. En este curso se introducirán las técnicas y
conceptos básicos del análisis estático de código y sus
principales aplicaciones. En particular se estudiará como
estas técnicas se aplican a la verificación automática de
software y la generación de casos de test. Una de las
características salientes de este curso es que no sólo se
enfocará en los aspectos teóricos y conceptuales de las
técnicas, sino que también se hará énfasis en presentar
ejemplos de herramientas reales y gratuitas que implementan
estos conceptos.
————————————
Curso 5: «Desarrollo de Aplicaciones NCL para Televisión
Digital»
Dr. Federico Balaguer, Universidad Nacional de La Plata,
Argentina
Lenguaje: Castellano.
Resumen:
Este curso brindará una introducción básica a los
conceptos pertinentes a la televisión digital comparándola
con la televisión analógica, marcando
sus desventajas y resaltando sus ventajas a modo de
contextualizar al asistente para la comprensión del modelo
de referencia de TV Digital a utilizar en el curso.
El curso abarcará una introducción a los lenguajes NCL y
LUA y sus principales construcciones. Se presentarán
también ejemplos conductores para poder realizar
aplicaciones NCL-LUA, y se realizará ejercitación de
codificación incremental en los lenguajes mencionados.
En cuanto a los requisitos para el cursado, el asistente
debería tener conocimientos básicos de programación,
preferentemente experiencia en algún lenguaje de scripting,
y haber experimentado con algún entorno integrado de
programación.
————————————
Curso 6: «Fundamentos y Principios Básicos de Ingeniería
de Software para la Gestión de Proyectos»
Ing. Álvaro Ruiz de Mendarozqueta, Motorola, Argentina
Lenguaje: Castellano.
Resumen:
El curso abarcará los siguientes contenidos:
* Principios básicos. Ingeniería de
Sistemas. Ingeniería de Software.
* Problemas más comunes en los proyectos y
en los productos. ¿Soluciones?
* Economía del Software. Estimaciones.
Métricas.
* Procesos. Planeamiento. Gestión de
Riesgos. Seguimiento y Control.
* Aseguramiento de la Calidad. Gestión de
las Configuraciones.
Este curso tendrá una modalidad de seminario, será
coordinado por el Ing. Álvaro Ruiz e involucrará varios
oradores.
====================================================================
INFORMACIÓN ADICIONAL
Los cursos tienen 5 clases de 2:30 hs. de duración, cada
una. Examen opcional. Se otorgarán certificados de
asistencia y aprobación.
Facilidades de alojamiento: La Universidad cuenta con un
comedor ($10 el almuerzo), un amplio
campo de deportes, pileta, residencias y lugares para
acampar (gratuitos).
Además la ciudad dispone de hoteles de distintas
categorías. Visite la página web de la escuela para
obtener mayor información.
————————————–
Mas información e inscripciones en:
http://dc.exa.unrc.edu.ar/rio/
Consultas: rio@dc.exa.unrc.edu.ar
Telefono/fax : 54+358-467-6235
