Strategies of Modification

There are three strategies of modification that can be chosen in SensA Run. The three strategies decide how SensA modifies values of the variable in the change location during different executions.
These strategies are Random Strategy , Incremental Strategy , Observed Strategy. Note that for all the different strategies, a basic rule is that each value picked for a modification is distinct from those used in all previous runs with a test input.

Random Strategy

If SensA Run is running with Random Strategy, SensA choose value randomly from a proper range (which will be further explained in this section).

Incremental Strategy

With this strategy, SensA will choose values generated by increasing the original value with a regular sequence of steps.

Observed Strategy

With this strategy, SensA will choose one value from all the observed values of the instrumented variable for each modification.

Generated on 3 Dec 2014 for SensA by  doxygen 1.6.1