SED

Please watch the introduction video (no audio). You can pause the video at any time to comprehend the content. Click here, if you want to open the example of the video in SED (Eclipse).

Best Practices

  1. Ensure that
    1. uncaught exceptions are allowed according to the documentation.
    2. returned values match with the documentation.
    3. the class invariant is preserved.
    4. all statements can be executed (reached statements during symbolic execution are highlighted in the active editor).
  2. If something is suspicious
    1. inspect the parent nodes to comprehend the followed execution path.
    2. consider the path condition of the selected node shown in view Properties if appropriate.
    3. inspect the symbolic state before the statement is executed in view Variables if appropriate.