Effectiveness of pair wise testing on logical expressions
Download
1 / 17

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


  • 99 Views
  • Uploaded on

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

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

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


An Image/Link below is provided (as is) to download presentation

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

Overview
Overview

  • Introduction

  • Fault Types

  • Fault Evaluator

  • Experiment Results


Introduction
Introduction

  • 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


Fault types
Fault Types

  • VNF (Variable Negation Fault)

  • ORF (Operator Reference Fault)

  • VRF (Variable Reference Fault)

  • ENF (Expression Negation Fault)

  • ASF (Associative Shift Fault)


VNF

  • 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


ORF

  • 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


VRF

  • 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


ENF

  • 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


ASF

  • Fault type where parentheses in Boolean expression is misused.

    Original expression:

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

    Expression with ENF:

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


Fault evaluator
Fault Evaluator

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


Fault evaluator steps
Fault Evaluator Steps

  • 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.




Effectiveness of pair wise testing on 5 different sets of expressions
Effectiveness of Pair-wise testing on 5 different sets of expressions

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


Comparison of pair wise testing and random testing
Comparison of Pair-wise testing and random testing expressions

  • Percentages of Pair-wise and random testing


Pair wise testing depending on size of expression
Pair-wise testing depending on size of expression expressions

  • Effectiveness of Pair-wise testing for each expression set


Pair wise testing depending on size of expression1
Pair-wise testing depending on size of expression expressions

  • Effectiveness of Pair-wise testing for each fault type


ad