Behaviour abstraction adequacy criteria for API call protocol 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 that they conform to their intend...
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | JOUR |
| Materias: | |
| Acceso en línea: | http://hdl.handle.net/20.500.12110/paper_09600833_v26_n3_p211_Czemerinski |
| Aporte de: |
| id |
todo:paper_09600833_v26_n3_p211_Czemerinski |
|---|---|
| record_format |
dspace |
| spelling |
todo:paper_09600833_v26_n3_p211_Czemerinski2023-10-03T15:53:39Z Behaviour abstraction adequacy criteria for API call protocol testing Czemerinski, H. Braberman, V. Uchitel, S. adequacy criteria API call protocol software testing Abstracting Computational linguistics Fault detection Semantics Software testing Specification languages Adequacy criteria API calls Black boxes Branch coverage Conformance testing Coverage criteria Protocol testing Sub-domains Black-box 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 that they conform to their intended protocols is an important and challenging problem. This paper proposes conformance testing adequacy criteria based on covering an abstraction of the intended behaviour'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 criteria are a good predictor for fault detection for protocol conformance and for classical structural coverage criteria such as statement and branch coverage. They also show that the division of the domain derived from the criterion produces subdomains such that most of its inputs are fault revealing. Copyright © 2015 John Wiley & Sons, Ltd. 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. JOUR info:eu-repo/semantics/openAccess http://creativecommons.org/licenses/by/2.5/ar http://hdl.handle.net/20.500.12110/paper_09600833_v26_n3_p211_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 |
adequacy criteria API call protocol software testing Abstracting Computational linguistics Fault detection Semantics Software testing Specification languages Adequacy criteria API calls Black boxes Branch coverage Conformance testing Coverage criteria Protocol testing Sub-domains Black-box testing |
| spellingShingle |
adequacy criteria API call protocol software testing Abstracting Computational linguistics Fault detection Semantics Software testing Specification languages Adequacy criteria API calls Black boxes Branch coverage Conformance testing Coverage criteria Protocol testing Sub-domains Black-box testing Czemerinski, H. Braberman, V. Uchitel, S. Behaviour abstraction adequacy criteria for API call protocol testing |
| topic_facet |
adequacy criteria API call protocol software testing Abstracting Computational linguistics Fault detection Semantics Software testing Specification languages Adequacy criteria API calls Black boxes Branch coverage Conformance testing Coverage criteria Protocol testing Sub-domains Black-box 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 that they conform to their intended protocols is an important and challenging problem. This paper proposes conformance testing adequacy criteria based on covering an abstraction of the intended behaviour'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 criteria are a good predictor for fault detection for protocol conformance and for classical structural coverage criteria such as statement and branch coverage. They also show that the division of the domain derived from the criterion produces subdomains such that most of its inputs are fault revealing. Copyright © 2015 John Wiley & Sons, Ltd. |
| format |
JOUR |
| author |
Czemerinski, H. Braberman, V. Uchitel, S. |
| author_facet |
Czemerinski, H. Braberman, V. Uchitel, S. |
| author_sort |
Czemerinski, H. |
| title |
Behaviour abstraction adequacy criteria for API call protocol testing |
| title_short |
Behaviour abstraction adequacy criteria for API call protocol testing |
| title_full |
Behaviour abstraction adequacy criteria for API call protocol testing |
| title_fullStr |
Behaviour abstraction adequacy criteria for API call protocol testing |
| title_full_unstemmed |
Behaviour abstraction adequacy criteria for API call protocol testing |
| title_sort |
behaviour abstraction adequacy criteria for api call protocol testing |
| url |
http://hdl.handle.net/20.500.12110/paper_09600833_v26_n3_p211_Czemerinski |
| work_keys_str_mv |
AT czemerinskih behaviourabstractionadequacycriteriaforapicallprotocoltesting AT brabermanv behaviourabstractionadequacycriteriaforapicallprotocoltesting AT uchitels behaviourabstractionadequacycriteriaforapicallprotocoltesting |
| _version_ |
1807318200312922112 |