Loops in Software Testing Methodologies

As an infinite set of parallel paths, loops can be understood. Notionally, the loop consists of a single

link b, then the set of all paths during that loop point is 

'b⁰ + b¹ + b²................'

Specifically, for an individual link infinite sum is denoted by b^* and when X is a path expression,^*
denoted by X



For the above figure, the path expression is denoted by the notation:
ab * c = ac + abc + abbc + abbbc + ........
Obviously,
aa* = a*a = a +and XX* = X * X = X
It is more appropriate to specify the fact that a loop cann ot be taken more than a cerai, say 'n' number of times
a bar is used under the exponent to denote the fact as follows:
Xⁿ = X⁰ + X¹ + X² ........ + Xⁿ

Share on Google Plus

About Data Sciences by Venu

Hi, My name is Venugopala Chary and I'm Currently working as Associate Professor in Reputed Engineerng College, Hyderabad. I have B.Tech and M.tech in regular from JNTU Hyderabad. I have 11 Years of Teaching Experience for both B.Tech and M.Tech Courses.