How does a loop free path segment play a role in data flow testing?

The loop free path segments form a very important terminology in the path of data flow testing. But many of us are not well familiar with the concept of loop free path segments and the role that they have got to play in the data flow testing or path testing. In this article we have tried to explain in the easiest way possible the concept of the loop free path and the role it plays in the data flow testing. 

Before taking up the topic of the loop free path segment and its role in data flow testing we shall discuss a little about the data flow testing. 

The control flow graph is the best tool that the data flow testing can use in exploring all the weird or unreasonable things that can affect the data objects. These weird and unreasonable things are nothing but the anomalies.

Till now nine types of anomalies have been defined as mentioned below:

1. dd: harmless but suspicious
2. dk: might be a bug
3. du: a normal case
4. kd: a normal situation
5. kk: harmless but might be containing bugs
6. ku: a bug or error
7. ud: not a bug because of re- assignment
8. uk: a normal situation
9. uu: a normal situation

 - If these anomalies are taken in to consideration, one can develop very effective and reliable path selection strategies which can be then used in filling the gaps that are present in between the branch testing and the complete path testing. 

- The strategies that are followed for carrying out a data flow test are based up on the selection of the paths via the flow of control of the software system or application.

- These path selection strategies are quite useful when it comes to exploring the sequences of the events that are in a way related to the status of the data objects. 

- The paths are so selected that they cover up all the objects, i.e. they ensure the initialization of each and every data object before it is used in the program and also that they are used for a minimum of one time. 

Categories of Data Objects

- The data objects have been categorized in to three different categories for making the path selection process easier:

1. Defined, created, initialized (d)
2. Killed, undefined, released (k)
3. Used:

(a)    In calculations (c)

(b)   In predicates (p)

- An object is said to be defined whenever it has an occurrence in a data declaration or is assigned with a new value or is dynamically allocated. 

- On the other hand an object is said to be used whenever it becomes a part of a predicate or a calculation. - The anomaly detection process relies heavily on the following two anomaly detection techniques:

1. Static anomaly detection (responsible for syntax errors) and
2. Dynamic anomaly detection (responsible for logical errors).

What are Loop Free Path Segments

- Now coming to the loop free path segments, this is a terminology that is usually used under the context of the data flow modelling. 

- Loop free path segments are discovered using the control flow graph.

- The loop free path segments are basically a derivative of the simple path segments.

- It depends on the simple path segment that whether or not it is a loop free path segment also. 

- If the simple path segment consisting of two nodes A and B is having loop in both the nodes, then it cannot be called as a loop free path. 

- Loop free paths are the simple paths segments consisting of loop only in one of the either nodes.