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, H., Braberman, V., Uchitel, S.
Formato:	CONF
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:	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	todo:paper_NIS11282_v_n_p222_Czemerinski
record_format	dspace
spelling	todo:paper_NIS11282_v_n_p222_Czemerinski2023-10-03T16:45:49Z Behaviour abstraction coverage as black-box adequacy criteria Czemerinski, H. Braberman, V. Uchitel, S. 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. CONF info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar 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, H. Braberman, V. Uchitel, S. 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.
format	CONF
author	Czemerinski, H. Braberman, V. Uchitel, S.
author_facet	Czemerinski, H. Braberman, V. Uchitel, S.
author_sort	Czemerinski, H.
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
url	http://hdl.handle.net/20.500.12110/paper_NIS11282_v_n_p222_Czemerinski
work_keys_str_mv	AT czemerinskih behaviourabstractioncoverageasblackboxadequacycriteria AT brabermanv behaviourabstractioncoverageasblackboxadequacycriteria AT uchitels behaviourabstractioncoverageasblackboxadequacycriteria
_version_	1807321947657207808

Behaviour abstraction coverage as black-box adequacy criteria

Ejemplares similares