Path Predicate Expressions in Software Testing Methodologies

Path Predicate Expressions

⇒A path predicate expression is a set of Boolean expressions, all of which must be satisfied to achieve the selected path
Example:
    X₁ + 3X₂ + 17 >= 0
    X₃  = 17
    X₄  - X₁ >= 14X₂
⇒Any set of input values that satisfy all of the conditions of the path predicated expression will force the routine to the path
⇒Sometimes a predicate can have an OR in it
Example:
    A: X₅ > 0                         E: X₆ < 0
    B: X₁ + 3X₂ + 17 >= 0    B: X₁ + 3X₂ + 17 >= 0
    C: X₃ = 17                       C: X₃ = 17
    D: X₄ - X₁ >= 14X₂        D: X₄ - X₁ >= 14X₂
⇒Boolean algebra notation to denote the Boolean expression is:
    ABCD + EBCD = (A + E) BCD

Share on Google Plus

About Data Sciences by Venu

Hi, My name is Venugopala Chary and I'm Currently working as Associate Professor in Reputed Engineerng College, Hyderabad. I have B.Tech and M.tech in regular from JNTU Hyderabad. I have 11 Years of Teaching Experience for both B.Tech and M.Tech Courses.