Publications

BibTex format

@article{Czemerinski:2015:10.1002/stvr.1593,
author = {Czemerinski, H and Braberman, V and Uchitel, S},
doi = {10.1002/stvr.1593},
journal = {Software Testing Verification & Reliability},
pages = {211--244},
title = {Behaviour abstraction adequacy criteria for API call protocol testing},
url = {http://dx.doi.org/10.1002/stvr.1593},
volume = {26},
year = {2015}
}

Download

RIS format (EndNote, RefMan)

TY  - JOUR
AB  - 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.
AU  - Czemerinski,H
AU  - Braberman,V
AU  - Uchitel,S
DO  - 10.1002/stvr.1593
EP  - 244
PY  - 2015///
SN  - 1099-1689
SP  - 211
TI  - Behaviour abstraction adequacy criteria for API call protocol testing
T2  - Software Testing Verification & Reliability
UR  - http://dx.doi.org/10.1002/stvr.1593
UR  - http://hdl.handle.net/10044/1/33140
VL  - 26
ER  -

Download

Dr. Sebastian Uchitel

Contact

Location

Summary

Citation

BibTex format

RIS format (EndNote, RefMan)