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

作者：Chaim Marcos Lordello^*; Andrioli de Araujo Roberto Paulo

来源：Information Processing Letters, 2013, 113(8): 293-300.

DOI：10.1016/j.ipl.2013.02.007

• Software engineering
• Data structures
• Design of algorithms
• Data-flow testing coverage
• Program instrumentation
• Run-time environments

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.

• 出版日期2013-4-30