Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets

<table>The <svg height="15.875" id="M202" style="vertical-align:-3.22282pt" version="1.1" viewbox="0 0 68.012497 15.875" width="68.012497" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
<g transform="matrix(.017,-0,0,-.017,.062,11.537)"><path d="M614 175l29 -10q-33 -109 -57 -154q-121 -26 -184 -26q-90 0 -160.5 29t-112.5 77t-63.5 105.5t-21.5 119.5q0 157 108 253t277 96q36 0 71.5 -5t69 -13.5t36.5 -8.5q15 -102 20 -150l-29 -8q-20 79 -66.5 114t-128.5 35q-119 0 -187.5 -86t-68.5 -207
q0 -140 73.5 -227.5t188.5 -87.5q73 0 119.5 37.5t86.5 116.5z" id="x43"></path></g><g transform="matrix(.017,-0,0,-.017,11.367,11.537)"><path d="M592 498l-30 -3q-13 63 -31 89q-13 19 -33.5 25.5t-75.5 6.5h-70v-493q0 -60 16 -75.5t86 -19.5v-28h-286v28q68 4 83.5 19.5t15.5 75.5v493h-62q-60 0 -83 -7t-33 -24q-12 -17 -32 -90h-29q10 116 12 180h20q10 -16 21 -20.5t34 -4.5h395q19 0 28.5 5t21.5 20h21
q2 -89 11 -177z" id="x54"></path></g><g transform="matrix(.017,-0,0,-.017,20.903,11.537)"><path d="M300 253l-14 -55h-229l14 55h229z" id="x2D"></path></g><g transform="matrix(.017,-0,0,-.017,26.955,11.537)"><path d="M614 175l29 -10q-33 -109 -57 -154q-121 -26 -184 -26q-90 0 -160.5 29t-112.5 77t-63.5 105.5t-21.5 119.5q0 157 108 253t277 96q36 0 71.5 -5t69 -13.5t36.5 -8.5q15 -102 20 -150l-29 -8q-20 79 -66.5 114t-128.5 35q-119 0 -187.5 -86t-68.5 -207
q0 -140 73.5 -227.5t188.5 -87.5q73 0 119.5 37.5t86.5 116.5z" id="x43"></path></g><g transform="matrix(.017,-0,0,-.017,38.259,11.537)"><path d="M46 650h247q112 0 169 -41q64 -49 64 -141q0 -91 -56.5 -143t-138.5 -62q-23 -3 -45 -1l-74 19v-157q0 -63 15.5 -77t83.5 -19v-28h-271v28q60 5 74 20t14 77v400q0 65 -12.5 79t-69.5 18v28zM212 559v-245q31 -12 73 -12q59 0 102 38t43 124q0 77 -42.5 115.5
t-108.5 38.5q-44 0 -56 -12q-11 -8 -11 -47z" id="x50"></path></g><g transform="matrix(.017,-0,0,-.017,47.744,11.537)"><path d="M719 650v-28q-43 -2 -62 -15t-22 -44q-6 -47 -6 -169v-403h-31l-426 524h-2v-251q0 -111 6 -169q4 -37 24 -50.5t72 -16.5v-28h-237v28q45 2 64.5 16t23.5 49q6 62 6 171v220q0 54 -3 68.5t-17 32.5q-16 19 -34.5 26.5t-54.5 10.5v28h147l418 -502h3v246q0 117 -7 166
q-4 34 -24.5 47t-73.5 15v28h236z" id="x4E"></path></g>
<g transform="matrix(.012,-0,0,-.012,61.625,15.612)"><path d="M457 488l-30 -3q-17 148 -131 148q-53 0 -84.5 -34.5t-31.5 -82.5q0 -42 25.5 -72t74.5 -62l33 -22q63 -42 95 -85t32 -102q0 -84 -67 -137t-163 -53q-58 0 -113 22t-70 43l-4 152l27 4q4 -32 15 -62.5t31 -59.5t53.5 -47t76.5 -18q56 0 92 35t36 96q0 39 -25 70t-78 68
l-31 22q-32 23 -53.5 41.5t-45 57t-23.5 77.5q0 82 58 132.5t156 50.5q46 0 101 -17l18.5 -6t17 -6t8.5 -3q-4 -55 0 -147z" id="x1D446"></path></g>
</svg> model of the file sharing software system.</table>

Journal of Applied Mathematics

fig2

Figure 2

Figure 2: Test Purpose Oriented I/O Conformance Test Selection with Colored Petri Nets 