CAETI
Centro de Altos Estudios en Tecnología Informática
Buenos Aires
Ingeniería de Software
Framework para el Desarrollo de Software mediante Modularización Avanzada. 2da. Etapa
A flexible and expressive formalism to specify metamorphic properties for BIG DATA systems validation
Año: 2023
Idioma: Inglés
Resumen
BIG DATA systems represent a huge challenge for software engineering validations tasks since they have been classified as "non testable". Metamorphic Relationships (MR) have been proposed as a technique to overcome this problem. These relationships establish interactions between data that can be used to validate the expected behavior of the system. However, the process of exploring and defining MRs is a very arduous one, and an expressive and flexible specification language is needed to denote them. In this work we show how the Feather Weight Visual Scenarios (FVS) framework can be seen as an appealing tool to specify MRs. We exploit FVS features to model complex MR interactions and analysis, allowing the possibility to perform non trivial operations between MRs such as refinement and consistency checking. FVS is shown in action by introducing a proof of concept example focused on a machine learning system over biology cell images.
Integrantes
Fernando Asteasuain (Autor)
Archivos
-
Fernando Asteasuain (2022). “A flexible and expressive formalism to specify Metamorphic Properties for BIG DATA systems validation”. XXVIII Congreso Argentino de Ciencias de la Computación (CACIC). Departamento de Ciencias Exactas, Físicas y Naturales de la Universidad Nacional de La Rioja, Argentina. 3 al 6 de Octubre de 2022.
22- Asteasuain - A flexible and expressive formalism to specify metamorphic properties for big data systems validation - CACIC2022.pdf