Enabledness-based testing of object protocols

A significant proportion of classes in modern software introduce or use object protocols, prescriptions on the temporal orderings of method calls on objects. This paper studies search-based test generation techniques that aim to exploit a particular abstraction of object protocols (enabledness prese...

Descripción completa

Detalles Bibliográficos
Autores principales: Godoy, Javier, Galeotti, Juan Pablo, Garbervetsky, Diego, Uchitel, Sebastián
Formato: Objeto de conferencia Resumen
Lenguaje:Inglés
Publicado: 2022
Materias:
Ciencias Informáticas
Automatic test generation
Enabledness-preserving abstractions
Genetic algorithms
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/151635
https://publicaciones.sadio.org.ar/index.php/JAIIO/article/download/281/229
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
id I19-R120-10915-151635
record_format dspace
spelling I19-R120-10915-1516352023-05-03T20:04:19Z http://sedici.unlp.edu.ar/handle/10915/151635 https://publicaciones.sadio.org.ar/index.php/JAIIO/article/download/281/229 issn:2451-7496 Enabledness-based testing of object protocols Godoy, Javier Galeotti, Juan Pablo Garbervetsky, Diego Uchitel, Sebastián 2022-10 2022 2023-04-18T15:05:09Z en Ciencias Informáticas Automatic test generation Enabledness-preserving abstractions Genetic algorithms A significant proportion of classes in modern software introduce or use object protocols, prescriptions on the temporal orderings of method calls on objects. This paper studies search-based test generation techniques that aim to exploit a particular abstraction of object protocols (enabledness preserving abstractions, EPAs) to find failures. We define coverage criteria over an extension of EPAs that includes abnormal method termination and define a search-based test case generation technique aimed at achieving high coverage. Results suggest that the proposed case generation technique with a fitness function that aims at combined structural and extended EPA coverage can provide better failure-detection capabilities not only for protocol failures but also forgeneral failures when compared to random testing and search-based test generation for standard structural coverage.This article was published in ACM Transactions on Software Engineering and Methodology, Volume 30. Issue 2. Sociedad Argentina de Informática e Investigación Operativa Objeto de conferencia Resumen http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf 63-63
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Inglés
topic Ciencias Informáticas
Automatic test generation
Enabledness-preserving abstractions
Genetic algorithms
spellingShingle Ciencias Informáticas
Automatic test generation
Enabledness-preserving abstractions
Genetic algorithms
Godoy, Javier
Galeotti, Juan Pablo
Garbervetsky, Diego
Uchitel, Sebastián
Enabledness-based testing of object protocols
topic_facet Ciencias Informáticas
Automatic test generation
Enabledness-preserving abstractions
Genetic algorithms
description A significant proportion of classes in modern software introduce or use object protocols, prescriptions on the temporal orderings of method calls on objects. This paper studies search-based test generation techniques that aim to exploit a particular abstraction of object protocols (enabledness preserving abstractions, EPAs) to find failures. We define coverage criteria over an extension of EPAs that includes abnormal method termination and define a search-based test case generation technique aimed at achieving high coverage. Results suggest that the proposed case generation technique with a fitness function that aims at combined structural and extended EPA coverage can provide better failure-detection capabilities not only for protocol failures but also forgeneral failures when compared to random testing and search-based test generation for standard structural coverage.This article was published in ACM Transactions on Software Engineering and Methodology, Volume 30. Issue 2.
format Objeto de conferencia
Resumen
author Godoy, Javier
Galeotti, Juan Pablo
Garbervetsky, Diego
Uchitel, Sebastián
author_facet Godoy, Javier
Galeotti, Juan Pablo
Garbervetsky, Diego
Uchitel, Sebastián
author_sort Godoy, Javier
title Enabledness-based testing of object protocols
title_short Enabledness-based testing of object protocols
title_full Enabledness-based testing of object protocols
title_fullStr Enabledness-based testing of object protocols
title_full_unstemmed Enabledness-based testing of object protocols
title_sort enabledness-based testing of object protocols
publishDate 2022
url http://sedici.unlp.edu.ar/handle/10915/151635
https://publicaciones.sadio.org.ar/index.php/JAIIO/article/download/281/229
work_keys_str_mv AT godoyjavier enablednessbasedtestingofobjectprotocols
AT galeottijuanpablo enablednessbasedtestingofobjectprotocols
AT garbervetskydiego enablednessbasedtestingofobjectprotocols
AT uchitelsebastian enablednessbasedtestingofobjectprotocols
_version_ 1765659993799917568

Ejemplares similares