Concretización a Perl de casos de prueba abstractos generados a partir de especificaciones Z

La investigacíón entorno a la especificación de sistemas de software se ha acrecentado los últimos años y se debe a la importancia que tienen éstas tanto para la construcción como para el mantenimiento de sistemas. La característica que hace a las especificaciones un punto clave en el desarrollo...

Descripción completa

Detalles Bibliográficos
Autor principal:	Bonet, Javier
Otros Autores:	Cristiá, Maximiliano
Formato:	bachelorThesis Tésis de Grado
Lenguaje:	Español
Publicado:	Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario 2023
Materias:	perl refinamiento testing especificaciones funcionales automatización fastest
Acceso en línea:	http://hdl.handle.net/2133/25169 http://hdl.handle.net/2133/25169
Aporte de:	Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR) de Universidad Nacional de Rosario

id	I15-R121-2133-25169
record_format	dspace
institution	Universidad Nacional de Rosario
institution_str	I-15
repository_str	R-121
collection	Repositorio Hipermedial de la Universidad Nacional de Rosario (UNR)
language	Español
topic	perl refinamiento testing especificaciones funcionales automatización fastest
spellingShingle	perl refinamiento testing especificaciones funcionales automatización fastest Bonet, Javier Concretización a Perl de casos de prueba abstractos generados a partir de especificaciones Z
topic_facet	perl refinamiento testing especificaciones funcionales automatización fastest
description	La investigacíón entorno a la especificación de sistemas de software se ha acrecentado los últimos años y se debe a la importancia que tienen éstas tanto para la construcción como para el mantenimiento de sistemas. La característica que hace a las especificaciones un punto clave en el desarrollo de software es la de proveer las herramientas necesarias para formalizar los requerimientos funcionales, comúnmente expresados en lenguaje natural y, por lo tanto, muy propensos a contener ambigüedades. La etapa de testing de software es otra de las áreas que se ve beneficiada por las especificaciones funcionales ya que el testing basado en modelos (MBT la siglas de su traducción del inglés Model-Based Testing) permite la generación de casos de prueba a partir de una especificación del sistema que se desea testear. Para su tesina de grado Pablo Rodríguez Monetti presenta una primera implementación de TTF (Test Template Framework) llamada Fastest. Esta herramienta es un framework de MBT que toma especificaciones en lenguaje Z como punto inicial del proceso. Esta implementación permite generar casos de prueba abstractos partiendo de una especificación Z. En sus respectivas tesinas de grado Diego Ariel Hollmann y Pablo Damián Coca extienden Fastest con módulos que permiten el refinamiento de casos de prueba abstractos, generados por Fastest, a casos concretos en los lenguajes C y Java, respectivamente. En su tesina Diego Ariel Hollmann presentó Test Case Refinement Language (TCRL de ahora en más), un lenguaje de refinamiento utilizado en ambos trabajos para establecer la correspondencia entre las variables de especificación y las de implementación. En esta tesina se presenta el lenguaje de refinamiento ATCAL, creado por el actualmente graduado en Licenciatura en Ciencias de la Computación Cristian Rosa como parte de un trabajo realizado para un post-doctorado. A éste, el autor hizo los agregados necesarios para completar su definición. En comparación con TCRL, se simplifican algunas de sus estructuras y se extiende su expresividad. Además, se implementa un nuevo módulo de Fastest que refina los casos abstractos de prueba a casos concretos en Perl. Junto con este desarrollo se presentan casos de estudio para ejemplificar el uso del lenguaje ATCAL como medio para describir los mapeos entre especificación funcional e implementación, además de los casos concretos generados, de modo tal que se hace posible realizar una comparación directa respecto a sus correspondientes casos abstractos.
author2	Cristiá, Maximiliano
author_facet	Cristiá, Maximiliano Bonet, Javier
format	bachelorThesis Tésis de Grado
author	Bonet, Javier
author_sort	Bonet, Javier
title	Concretización a Perl de casos de prueba abstractos generados a partir de especificaciones Z
title_short	Concretización a Perl de casos de prueba abstractos generados a partir de especificaciones Z
title_full	Concretización a Perl de casos de prueba abstractos generados a partir de especificaciones Z
title_fullStr	Concretización a Perl de casos de prueba abstractos generados a partir de especificaciones Z
title_full_unstemmed	Concretización a Perl de casos de prueba abstractos generados a partir de especificaciones Z
title_sort	concretización a perl de casos de prueba abstractos generados a partir de especificaciones z
publisher	Facultad de Ciencias Exactas, Ingeniería y Agrimensura. Universidad Nacional de Rosario
publishDate	2023
url	http://hdl.handle.net/2133/25169 http://hdl.handle.net/2133/25169
work_keys_str_mv	AT bonetjavier concretizacionaperldecasosdepruebaabstractosgeneradosapartirdeespecificacionesz
bdutipo_str	Repositorios
_version_	1764820412814852097

Concretización a Perl de casos de prueba abstractos generados a partir de especificaciones Z

Ejemplares similares