search

pestt / PESTT

PESTT: PESTT EDUCATIONAL SOFTWARE TESTING TOOL
14 stars 11 forks source link

Null pointer exception when selecting a path from the TR set #11

Closed fcmartins closed 12 years ago

fcmartins commented 12 years ago

  1. Generate the graph for the following method

    public void ifThenWithInitialNode () { int x = 0; if (x == 0) x = 2; }

  2. Select the complete Path coverage criteria
  3. Activate link CFG with source code
  4. Generate the TR
  5. Select the first path [0, 1, 2, 3] in the TR

A null pointer exception error occurs

pestt commented 12 years ago

Problem fixed.