Testing abstract behavioral specifications

We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduc...

Descripción completa

Detalles Bibliográficos
Autores: Wong, Peter Y. H., Bubel, Richard, Boer, Frank S. de, Gómez Zamalloa, Miguel, Gouw, Stijn de, Hähnle, Reiner, Meinke, Karl, Sindhu, Muddassar Azam
Tipo de recurso: artículo
Fecha de publicación:2015
País:España
Repositorio:Docta Complutense
Idioma:inglés
OAI Identifier:oai:docta.ucm.es:20.500.14352/24413
Acceso en línea:https://hdl.handle.net/20.500.14352/24413
Access Level:acceso abierto
Palabra clave:004.438
Informática (Informática)
Lenguajes de programación
1203.17 Informática
1203.23 Lenguajes de Programación
id ES_cbbfe5d884e23ccac98b534b2f4462c6
oai_identifier_str oai:docta.ucm.es:20.500.14352/24413
network_acronym_str ES
network_name_str España
repository_id_str
spelling Testing abstract behavioral specificationsWong, Peter Y. H.Bubel, RichardBoer, Frank S. deGómez Zamalloa, MiguelGouw, Stijn deHähnle, ReinerMeinke, KarlSindhu, Muddassar Azam004.438Informática (Informática)Lenguajes de programación1203.17 Informática1203.23 Lenguajes de ProgramaciónWe present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduction of subtle bugs that are hard to detect in the presence of steady adaptation. While static analysis techniques are available for an abstract language such as ABS, testing is still indispensable and complements analytic methods. We focus on fully automated testing techniques including blackbox and glassbox test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting.Springer VerlagUniversidad Complutense de Madrid20232023-06-1820152015-02-0120152015-02-01journal articlehttp://purl.org/coar/resource_type/c_6501info:eu-repo/semantics/articleapplication/pdfhttps://hdl.handle.net/20.500.14352/24413reponame:Docta Complutenseinstname:Inglésengopen accesshttp://purl.org/coar/access_right/c_abf2info:eu-repo/semantics/openAccessoai:docta.ucm.es:20.500.14352/244132025-08-02T12:44:52Z
dc.title.none.fl_str_mv Testing abstract behavioral specifications
title Testing abstract behavioral specifications
spellingShingle Testing abstract behavioral specifications
Wong, Peter Y. H.
004.438
Informática (Informática)
Lenguajes de programación
1203.17 Informática
1203.23 Lenguajes de Programación
title_short Testing abstract behavioral specifications
title_full Testing abstract behavioral specifications
title_fullStr Testing abstract behavioral specifications
title_full_unstemmed Testing abstract behavioral specifications
title_sort Testing abstract behavioral specifications
dc.creator.none.fl_str_mv Wong, Peter Y. H.
Bubel, Richard
Boer, Frank S. de
Gómez Zamalloa, Miguel
Gouw, Stijn de
Hähnle, Reiner
Meinke, Karl
Sindhu, Muddassar Azam
author Wong, Peter Y. H.
author_facet Wong, Peter Y. H.
Bubel, Richard
Boer, Frank S. de
Gómez Zamalloa, Miguel
Gouw, Stijn de
Hähnle, Reiner
Meinke, Karl
Sindhu, Muddassar Azam
author_role author
author2 Bubel, Richard
Boer, Frank S. de
Gómez Zamalloa, Miguel
Gouw, Stijn de
Hähnle, Reiner
Meinke, Karl
Sindhu, Muddassar Azam
author2_role author
author
author
author
author
author
author
dc.contributor.none.fl_str_mv Universidad Complutense de Madrid
dc.subject.none.fl_str_mv 004.438
Informática (Informática)
Lenguajes de programación
1203.17 Informática
1203.23 Lenguajes de Programación
topic 004.438
Informática (Informática)
Lenguajes de programación
1203.17 Informática
1203.23 Lenguajes de Programación
description We present a range of testing techniques for the Abstract Behavioral Specification (ABS) language and apply them to an industrial case study. ABS is a formal modeling language for highly variable, concurrent, component-based systems. The nature of these systems makes them susceptible to the introduction of subtle bugs that are hard to detect in the presence of steady adaptation. While static analysis techniques are available for an abstract language such as ABS, testing is still indispensable and complements analytic methods. We focus on fully automated testing techniques including blackbox and glassbox test generation as well as runtime assertion checking, which are shown to be effective in an industrial setting.
publishDate 2015
dc.date.none.fl_str_mv 2015
2015-02-01
2015
2015-02-01
2023
2023-06-18
dc.type.none.fl_str_mv journal article
http://purl.org/coar/resource_type/c_6501
info:eu-repo/semantics/article
format article
dc.identifier.none.fl_str_mv https://hdl.handle.net/20.500.14352/24413
url https://hdl.handle.net/20.500.14352/24413
dc.language.none.fl_str_mv Inglés
eng
language_invalid_str_mv Inglés
language eng
dc.rights.none.fl_str_mv open access
http://purl.org/coar/access_right/c_abf2
info:eu-repo/semantics/openAccess
rights_invalid_str_mv open access
http://purl.org/coar/access_right/c_abf2
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Springer Verlag
publisher.none.fl_str_mv Springer Verlag
dc.source.none.fl_str_mv reponame:Docta Complutense
instname:
instname_str
reponame_str Docta Complutense
collection Docta Complutense
repository.name.fl_str_mv
repository.mail.fl_str_mv
_version_ 1844180566336864256
score 15,638193

Similares en LA Referencia