dc.creatorCzemerinski, Hernán
dc.creatorBraberman, Victor Adrian
dc.creatorUchitel, Sebastian
dc.date.accessioned2018-09-13T15:44:56Z
dc.date.available2018-09-13T15:44:56Z
dc.date.created2018-09-13T15:44:56Z
dc.date.issued2016-05
dc.identifierCzemerinski, Hernán; Braberman, Victor Adrian; Uchitel, Sebastian; Behaviour abstraction adequacy criteria for API call protocol testing; John Wiley & Sons Ltd; Software Testing, Verification & Reliability; 26; 3; 5-2016; 211-244
dc.identifier0960-0833
dc.identifierhttp://hdl.handle.net/11336/59494
dc.identifierCONICET Digital
dc.identifierCONICET
dc.description.abstractCode 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.
dc.languageeng
dc.publisherJohn Wiley & Sons Ltd
dc.relationinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1002/stvr.1593
dc.relationinfo:eu-repo/semantics/altIdentifier/url/https://onlinelibrary.wiley.com/doi/abs/10.1002/stvr.1593
dc.rightshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subjectAdequacy Criteria
dc.subjectApi Call Protocol
dc.subjectSoftware Testing
dc.titleBehaviour abstraction adequacy criteria for API call protocol testing
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion


Este ítem pertenece a la siguiente institución