Download FermaT Workbench User Guide - Software Migrations Limited

Page 142
The user can decide the direction of the slice, either backwards, forwards or both. If the
“Both” option is selected this is the same as performing first a backwards then a forwards
pass on the code and the lines of identified will be marked in separate colours to distinguish
between the backward and forward slice.
The user can decide what type of analysis to perform either a dataflow, control dependent or
both. When the “Both” option is selected the process will perform a simultaneous dataflow
and control dependent, this will show different results than performing separate data flow
and control dependent code slices, because a control flow link will lead to some dataflow
links, which in turn lead control flow links an so on.
The following examples explain the code slicing operation and the results of performing code
slices on various part of the code.
The dataflows are identified by pink arrows in the flowcharts and the control flow by green
dotted lines.
Version: Issued
Status: Confidential
© 2008 Software Migrations Limited
User Guide 138