An efficient bitwise algorithm for intra-procedural data-flow testing coverage

Autor(es)

Chaim, Marcos Lordello ^[1] ; Andrioli de Araujo, Roberto Paulo ^[1]

Afiliação do(s) autor(es)

^[1] Univ Sao Paulo, Sch Arts Sci & Humanities, SAEG, Sao Paulo - Brazil

• Tipo de documento: Artigo Científico
• Fonte: INFORMATION PROCESSING LETTERS; v. 113, n. 8, p. 293-300, APR 30 2013.
• Citações Web of Science: 5

Resumo

Data-flow (DF) testing was introduced to achieve more comprehensive structural evaluation of programs. It requires tests that traverse a path in which the definition of a variable and its subsequent use, i.e., a definition-use association (dua), is exercised. However, DF testing has rarely been adopted in industry because it is considered too costly by practitioners. A factor precluding broad adoption of OF testing is the cost of tracking duas exercised by tests. Previous approaches rely on complex computations and expensive data structures to collect dua coverage. We present an algorithm which utilizes efficient bitwise operations and inexpensive data structures to track intra-procedural duas. RAM memory requirements are restricted to three bit vectors the size of the number of duas. Conservative simulations indicate that the new algorithm imposes less execution slowdown. (c) 2013 Elsevier B.V. All rights reserved. (AU)

• Processo FAPESP: 08/57870-9 - Instituto de Sistemas Embarcados Críticos (ISEC)
• Beneficiário: Jose Carlos Maldonado
• Modalidade de apoio: Auxílio à Pesquisa - Temático