1 / 17

# Effectiveness of Pair-wise Testing on Logical Expressions - PowerPoint PPT Presentation

Effectiveness of Pair-wise Testing on Logical Expressions. Presented by William Ballance. Overview. Introduction Fault Types Fault Evaluator Experiment Results. Introduction. Effectiveness of pair-wise testing to reveal fault in logical expressions

I am the owner, or an agent authorized to act on behalf of the owner, of the copyrighted work described.

## PowerPoint Slideshow about ' Effectiveness of Pair-wise Testing on Logical Expressions' - sahkyo

Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author.While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server.

- - - - - - - - - - - - - - - - - - - - - - - - - - E N D - - - - - - - - - - - - - - - - - - - - - - - - - -
Presentation Transcript

### Effectiveness of Pair-wise Testing on Logical Expressions

Presented by

William Ballance

• Introduction

• Fault Types

• Fault Evaluator

• Experiment Results

• Effectiveness of pair-wise testing to reveal fault in logical expressions

• Only one previous paper that investigate this Non-specification-based approaches to logic testing for software

• VNF (Variable Negation Fault)

• ORF (Operator Reference Fault)

• VRF (Variable Reference Fault)

• ENF (Expression Negation Fault)

• ASF (Associative Shift Fault)

• Fault type where Boolean variable x is replaced by !x.

Original expression:

a ∧ (!b ∨ !c) ∧ d ∨ e

Expression with VNF:

!a ∧ (!b ∨ !c) ∧ d ∨ e

• Fault type where Boolean AND operator is incorrectly used instead of Boolean OR operator or vice versa.

Original expression:

a ∧ (!b ∨ !c) ∧ d ∨ e

Expression with ORF:

a ∨ (!b ∨ !c) ∧ d ∨ e

• Fault type where Boolean variable x is replaced by another variable y.

Original expression:

a ∧ (!b ∨ !c) ∧ d ∨ e

Expression with VRF:

b∧ (!b ∨ !c) ∧ d ∨ e

• Fault type where Boolean expression p is replaced by !p.

Original expression:

a ∧ (!b ∨ !c) ∧ d ∨ e

Expression with ENF:

a ∧!(!b ∨ !c) ∧ d ∨ e

• Fault type where parentheses in Boolean expression is misused.

Original expression:

a ∧ (!b ∨ !c) ∧ d ∨ e

Expression with ENF:

a ∧ !(b ∨ !c) ∧ d ∨ e

• A software tool that can generate faulty Boolean expressions and evaluate those faulty expressions with test sets that are loaded in the software.

• Load in the correct Boolean expressions

• Load in the test cases

• Generate faults (specify which faults or all faults)

• Evaluate

• Fault Evaluator applies the test sets to the original expressions and the faulty expressions.

• If the result from applying the test case to the faulty expression was different from the result obtained from the original expression, then the fault was revealed.

• Percentages of pair-wise testing to reveal faults for each expression set.

• Percentages of Pair-wise and random testing

• Effectiveness of Pair-wise testing for each expression set

• Effectiveness of Pair-wise testing for each fault type