Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams

<table class="table-group" width="800px"><tr class="fig-image" id="a"><td><img alt="370198.fig.004a" src="https://static.hindawi.com/articles/ase/volume-2011/370198/figures/370198.fig.004a.jpg"/></td></tr><tr class="fig-caption"><td align="center"><table><tr><td><b>(a) </b>Slice for passengerSize and NonNegativeAge (s1)</td></tr></table></td></tr><tr class="fig-image" id="b"><td><img alt="370198.fig.004b" src="https://static.hindawi.com/articles/ase/volume-2011/370198/figures/370198.fig.004b.jpg"/></td></tr><tr class="fig-caption"><td align="center"><table><tr><td><b>(b) </b>Slice for ticketNumberPositive (s2)</td></tr></table></td></tr></table>

<table>Slices s1 and s2 of model Coach.</table>

Advances in Software Engineering

fig4

Figure 4

Figure 4: Evaluation of Tools and Slicing Techniques for Efficient Verification of UML/OCL Class Diagrams 