Data/hora: 18/06/2024 04:39:37

Biblioteca(s): | Embrapa Agricultura Digital.
Data corrente: | 19/02/2002
Data da última atualização: | 01/09/2010
Autoria: | MALDONADO, J. C.; CHAIM, M. L.; JINO, M.
Afiliação: | USP; EMBRAPA-CNPTIA, UNICAMP.
Título: | Bridging the gap in the presence of infeasible paths: potential uses testing criteria.
Ano de publicação: | 1992
Fonte/Imprenta: | In: CONFERENCIA OF THE CHILEAN COMPUTER SOCIETY, 1992, Santiago, Chile. Proceedings... (S.I., 1992?).
Páginas: | p. 323-340.
Idioma: | Inglês
Conteúdo: | Data flow based structural testeing criteria have been introduced aiming at "bridging the gap" between branch testing and path testing, and at making stronger the structural testing criteria, but none in the literature "bridges the gap" in the presence of infeasible paths. Potential uses criteria family (PU), based on the potential use concept, is introduced. Potential uses criteria are analysed in the presence of infeasible (unexecutable) paths; these criteria estabilish a hierarchy including all-edges and all-paths criteria in addition to satisfying the minimum coverage requirements from the data flow point of view. Potential uses criteria were inspired the data flow criteria family (DF); each PU criterion includes its correspondent DF criterion and no other data flow based criterion includes PU criteria. Complexity analysis of other data flow criteria is revisited and disagreement with published results is highlighted; all data-flow based criteria have complexity greater then or equal to 2t.
Palavras-Chave: | Complexity analysis; Data-flow based criteria; Hierarchy of testing criteria; Infeasible paths; Structural testing criteria.
Categoria do assunto: | --
Registro original: | Embrapa Agricultura Digital (CNPTIA)

Exemplares:

CNPTIA - (8670-1) - UPC - SP - -- -  -  - 2002.06ex1 - DIS
CNPTIA - (8670-2) - UPC - SP - -- -  -  - 2002.06ex2 - DIS