Please use this identifier to cite or link to this item:
Type: Artigo
Title: Test Suite Completeness And Black Box Testing
Author: Bonifacio
Adilson Luiz; Moura
Arnaldo Vieira
Abstract: Model-based testing has been widely studied and successfully applied to generate and verify completeness of test suites. Roughly, test suite completeness guarantees that, in a deterministic setting, any nonequivalent implementation under test will always be identified. Several approaches discuss sufficient, and sometimes also necessary, conditions on specification models and test suites to be able to guarantee test suite completeness. In these studies, usually, test cases are required to be nonblockingthat is, they are required to run to completionon both the specification and the implementation models. However, often, it is desirable to have blocking test cases, and in some situations the presence of blocking test cases cannot be circumvented. In the present work test cases are allowed to block, both in the specification and in the implementation models, and a natural variant of completeness is then studied, here called perfectness. Perfectness guarantees that noncompliance between a specification and an implementation will always be detected, even in the presence of blocking test cases. This work characterizes perfectness in isomorphisms and establishes a relationship between the classical notions of completeness and perfectness. Also, a sharp upper bound is given on the number of states in implementations, beyond which no test suite can be completed.
Subject: Completeness
Test Suite Properties
Editor: Wiley-Blackwell
Citation: Software Testing Verification & Reliability. Wiley-blackwell, v. 27, p. , 2017.
Rights: fechado
Identifier DOI: 10.1002/stvr.1626
Date Issue: 2017
Appears in Collections:Unicamp - Artigos e Outros Documentos

Files in This Item:
File SizeFormat 
000395648100001.pdf917.35 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.