Behaviour abstraction coverage as black-box adequacy criteria

Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. Testing such code artefacts to gain confidence in that they conform to their int...

Descripción completa

Guardado en:

Detalles Bibliográficos
Autores principales:	Czemerinski, Hernán, Braberman, Víctor Adrián
Publicado:	2013
Materias:	conformance testing coverage criteria object protocols Black boxes Branch coverage Conformance testing Coverage criteria Failure detection Non-trivial Abstracting Semantics Specification languages Software testing
Acceso en línea:	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS11282_v_n_p222_Czemerinski http://hdl.handle.net/20.500.12110/paper_NIS11282_v_n_p222_Czemerinski
Aporte de:	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA) de Universidad de Buenos Aires

id	paper:paper_NIS11282_v_n_p222_Czemerinski
record_format	dspace
spelling	paper:paper_NIS11282_v_n_p222_Czemerinski2023-06-08T16:39:33Z Behaviour abstraction coverage as black-box adequacy criteria Czemerinski, Hernán Braberman, Víctor Adrián conformance testing coverage criteria object protocols Black boxes Branch coverage Conformance testing Coverage criteria Failure detection Non-trivial Abstracting Semantics Specification languages Software testing Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. Testing such code artefacts to gain confidence in that they conform to their intended protocols is an important and challenging problem. In this paper we propose and study experimentally conformance testing adequacy criteria based on covering an abstraction of the intended behavior's semantics. Thus, the criteria are independent of the specification language and structure used to describe the intended protocol and the language used to implement it. As a consequence the results may be of use to black box conformance testing approaches in general. Experimental results show that the criterion is a good predictor for conformance failure detection and for classical structural coverage criteria such as code and branch coverage. © 2013 IEEE. Fil:Czemerinski, H. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. Fil:Braberman, V. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales; Argentina. 2013 https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS11282_v_n_p222_Czemerinski http://hdl.handle.net/20.500.12110/paper_NIS11282_v_n_p222_Czemerinski
institution	Universidad de Buenos Aires
institution_str	I-28
repository_str	R-134
collection	Biblioteca Digital - Facultad de Ciencias Exactas y Naturales (UBA)
topic	conformance testing coverage criteria object protocols Black boxes Branch coverage Conformance testing Coverage criteria Failure detection Non-trivial Abstracting Semantics Specification languages Software testing
spellingShingle	conformance testing coverage criteria object protocols Black boxes Branch coverage Conformance testing Coverage criteria Failure detection Non-trivial Abstracting Semantics Specification languages Software testing Czemerinski, Hernán Braberman, Víctor Adrián Behaviour abstraction coverage as black-box adequacy criteria
topic_facet	conformance testing coverage criteria object protocols Black boxes Branch coverage Conformance testing Coverage criteria Failure detection Non-trivial Abstracting Semantics Specification languages Software testing
description	Code artefacts that have non-trivial requirements with respect to the ordering in which their methods or procedures ought to be called are common and appear, for instance, in the form of API implementations and objects. Testing such code artefacts to gain confidence in that they conform to their intended protocols is an important and challenging problem. In this paper we propose and study experimentally conformance testing adequacy criteria based on covering an abstraction of the intended behavior's semantics. Thus, the criteria are independent of the specification language and structure used to describe the intended protocol and the language used to implement it. As a consequence the results may be of use to black box conformance testing approaches in general. Experimental results show that the criterion is a good predictor for conformance failure detection and for classical structural coverage criteria such as code and branch coverage. © 2013 IEEE.
author	Czemerinski, Hernán Braberman, Víctor Adrián
author_facet	Czemerinski, Hernán Braberman, Víctor Adrián
author_sort	Czemerinski, Hernán
title	Behaviour abstraction coverage as black-box adequacy criteria
title_short	Behaviour abstraction coverage as black-box adequacy criteria
title_full	Behaviour abstraction coverage as black-box adequacy criteria
title_fullStr	Behaviour abstraction coverage as black-box adequacy criteria
title_full_unstemmed	Behaviour abstraction coverage as black-box adequacy criteria
title_sort	behaviour abstraction coverage as black-box adequacy criteria
publishDate	2013
url	https://bibliotecadigital.exactas.uba.ar/collection/paper/document/paper_NIS11282_v_n_p222_Czemerinski http://hdl.handle.net/20.500.12110/paper_NIS11282_v_n_p222_Czemerinski
work_keys_str_mv	AT czemerinskihernan behaviourabstractioncoverageasblackboxadequacycriteria AT brabermanvictoradrian behaviourabstractioncoverageasblackboxadequacycriteria
_version_	1769175820703629312

Behaviour abstraction coverage as black-box adequacy criteria

Ejemplares similares