Detalle del financiamiento

Autores: Claudia Sabrina Frydman.

Descripción: Nuestro grupo trabaja desde el 2007 en la automatización del testing funcional utilizando técnicas dentro del testing basado en modelos (MBT). El fundamento de este objetivo es esencialmente económico: el testing es la actividad con mayores costos relativos en la producción de software de calidad. Por otro lado, el estado de la práctica del testing en la industria revela que es una actividad mayoritariamente manual, siendo automáticas solo las tareas más triviales. En consecuencia, una de las estrategias clave para reducir los costos asociados al testing es automatizar esta actividad tanto como sea posible. En este proyecto queremos abordar dos problemas específicos. El primer problema que atacaremos es lo que se conoce como refinamiento o concretización de casos de prueba abstractos. Es decir, se trata de encontrar un método o técnica que permita la conversión, de la manera más automática posible, de los casos de prueba obtenidos a partir del análisis de la especificación del programa que se quiere testear. El segundo problema, intenta solucionar un efecto secundario indeseado producido por cualquier método de MBT. En efecto, para poder aplicar un método de MBT los desarrolladores deben escribir un modelo del programa a testear. Esto suele ser el impedimento más importante a la hora de incorporar estas técnicas, por lo que debe ser atacado si se pretende que estas soluciones sean aceptadas por la industria. No pretendemos construir automáticamente un modelo a partir del programa sino hacer más amena, amigable o más cercana al trabajo diario de los programadores, la tarea de modelar o especificar el programa. En consecuencia, exploraremos las posibilidades de escribir la especificación como anotaciones (o comentarios) al programa, de forma tal que más tarde se pueda ejecutar un método de MBT. Nuestro grupo desarrolla su actividad de I D en el Centro Internacional Franco--Argentino de Ciencias de la Información y de Sistemas (CIFASIS) ubicado en la ciudad de Rosario. En nuestra ciudad la industria del software está formada mayoritariamente por PyMES, en general pequeñas, más algunas empresas de mayor envergadura algunas de las cuales son de capitales extranjeros. Muchas de estas se dedican al desarrollo de software de variada índole. A través de la participación en foros, seminarios, jornadas, en el Polo Tecnológico Rosario, etc. nuestro grupo ha detectado que el testing, al igual que otros problemas de la Ingeniería de Software, son una preocupación importante para muchas de estas empresas. Nuestro proyecto, en consecuencia, está orientado a proveer tecnología nacional, de bajo costo y muy alto valor agregado a las empresas de nuestra región.

Código del proyecto: PICT-2011-1002.

Desde fecha: 41183

Hasta fecha: 42278

Monto: 304000

Moneda: Pesos

Tipo de financiamiento: Proyectos de I+D.

Campo disciplinar: 1 - CIENCIAS NATURALES Y EXACTAS / 1.2 - Ciencias de la Computación e Información / 1.2.1 - Ciencias de la Computación.

Campo de aplicación: Varios campos.

Especialidad: Ingeniería de Software.

Director: Claudia Sabrina Frydman.

Año: 2015.