Selman ALPDÜNDAR

Generation of BRO constraint set (BRO-CSET)


Example: Consider the following predicate: (a > b) ⋀ ¬c ∧ ¬(d = e) ⋁ (f ≤ g) , where a, b, d, e, f and g are integer variables and c is a Boolean variable.
a) Use the BRO-CSET procedure to derive the constraint set for this predicate
b) Generate test cases for the constraint set you have derived in a)

STEP 1

STEP 2

STEP 3

 



Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.