Take the 2-minute tour ×
Software Quality Assurance & Testing Stack Exchange is a question and answer site for software quality control experts, automation engineers, and software testers. It's 100% free, no registration required.

I am reading the slides of a famous random test+symbolic execution software test tool cute's slides.

In one slide, I see this claim on classic symbolic execution:

enter image description here

So my question is :

Why author claims that "Symbolic execution will say both branches are reachable"?

From my understanding, symbolic execution needs to solve the constrains of branch conditions, and basically

if((x%10)*4!=17)
{
}else{
}

else statement's constrain can not be solved, am I right?

Could anyone give me some help?

Thank you!

share|improve this question
    
The author claimed that Existing Approach II waa\s not capable of that kind of reasoning. It might help for you to determine what the author meant by "Existing Approach II". Perhaps the state of the art in symbolic execution has changed in the last ten years. –  user246 Feb 28 at 17:16

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.