35

Testability transformation

Embed Size (px)

Citation preview

����������� ����� ����

���� �������� ��� � �� ��� ������� ������� �������

������ ������� ������ ������� ���� �����

�������� ��� ������� �������� ������������ �������� ����������� � ������� ����

���� ����������� ��������������

��������

� ����������� ����� ���� �� � �������������� ����� ���� ���� �� � �� � ���� ��� �������

�� � ���� ���� ������� ����� �� ������ ���� ���� �� ��� ������ ���� �

���� ���� �������� ����������� ����� ����� �� ������� ���� �� ����� �� ���������

����� ����� ���� ������������ �� ����������� ����� ����� ������� �� ��������� ����� ����

���� �� �� �������� ��� ���� ���������� ��� ����� �� ����������� ����� ���� ���� � ��� ���

���������� �� ���������� ������� � ������� �� ��� � ���� �� ����� �� ������ �� �������

�� � � ������ ����� ����� ���� ��� ��� ������� � ����� ���� ��� ���� ��� �� ����������

���� ���� ������� �� ��� �������� ����� �� ��� ���� ���� �����������

������������� �� ��� ���� ������� ���������� �� ����������� ������� ��� ��������� ������ ����������� ������������������ �� !"�� �#$

�

� �����������

� ���������� ����� ���� � �� � � ����� �� ��� � ��� ����� ���� � ���� ����� � ��� �� ��� ���

� ����� � � ���� ��� �� ��� ���� ���� ������� � ���������� ���� ���� ��� ����� � ������ ���

� ���������� ����� ���� � ��� ���������� ��� ��������� �� ������� � ���������� ����� ���� � ��� ����

� ��� ���� ��� ��� ����� � �� ���� �� ���� ���� ������� � �� ��� ������� � ��� ���������

�� ���� ������ ��� � ��� ����� ���� � � � !"� !#$� � ���������� ����� ���� � �� �� ��� �����

��������� ����� ����� ��� ����% � ��� ������ � ��� � ����� �� �� �������� & ����� ����������

����� ���� �� ��'� � � ������ ��� ����� ���� �� �� ���� ��� ���� �������(

� ��� ����� ���� � � � � ��� �� �� ��� ������� � � � ��� ����� ����� ���� � � ���

���� ������� ����� �� � ���� ���� ���� �������� � ��� ����� ��� � ��� )��� ����� ���

����� �* ���� �� �������� � ��� ������ � ��� ��� ������ ����� �� + � ������ ������ ���

����� ���� � �� ������� �� � � �����

� ��� ����� ��� � ��� � ����� �� ���� � ,����� � �� ���-� ���� ���� �� ,���- �� �������

��� ����� ��� � ��� ��� �� �������� ��� �� ��� ����� ��� �� �� � ������� � ��������

���� ���� ������� �� + � ������ �� ������ ��� ����� ���� �� �� �� ��� ������ � ��� ����� ��

������� � ��� ����� ��� �����������

� ��� ����� ���� � � ���� ���� � � ������ ��� ������ ��� ������� � � � ����

���������� ����� ���� � ������ ��� ������� �� � � ��� �����������. ���������� ����� ���

�� �� ���� � � ������ ������ ��� ������������ / �%������ �� �� �� �� ���� ����� � ����� �����

���� � �� � � ���� �� ������� ���������� � � ������ ��� ������������ ��� � �������� ������� ��

��� �� ����� + � ������ ������ ��� ����� ���� � ������� ������ ��� ������������

!

��� ���� ���������� ��� ��������� � � ���������� ����� ���� � � �� ���� �� ������� � �����

� ����� �� ��� ������� � ����� ��� �� ��� � �� ���� �� �������� ����� � ����� ��� ��� � ����� ��

���� ���� � ��������� �� ��� ������� �� � ���������� ����� ���� � �� � � ������ ���� �����

��� ��� � ��� ���� �� ������� �� � �� ��( 0���� � ! ��� ����� ��� ��� � ���������� �����

� ���� �� ����� 0���� � 1 �������� ��� � ��� ������� � ���� ��� ��� ��� � � ��� ����� ���� ��

0���� � # �%������ ��� ,��� � ����- � �� ���� �� ���� ���� ������� �� �� ���� �� �� ��� ��� ��������

����� � ������ ��������� ����� ������ ��� ����� � ���� ����� 0���� � 2 ��� ����� �� ��� ���� �����

�� ��� ���� � ������ ���� � ����� �� ���� ���� ��� ����� ���� � �� � ����� ���������� ����� ���� �

��� ���� � ��� ��� ��� ������ ��� ����� ���� �� ����� ��� � ���� ������ �� ���� ����� ���

��������� � ���� �� � � �������� � �����3����� ���� ���� ������� �� 0���� � 4 ������� ��� ������ �

�� �������� ����� � ������� ��� ����� ���� � � ��� � ����� ��� ���� ��������� ���� ��� ��� ���

� �� ���� �� ������� ��� ��������� ��� �������� ����� � ��� � ���� ����� ������ ��� ������� )���

��� �����* ������ � �� ���� �� ���� ���� ������� �� 0���� � 5 ������� ������ � � ��� 0���� �

� ��������

�� ������ ���� ��������

6��� �������� ���� � ����� � � ������� ����� � ������ � ���� � �� � ���� � ����� � ��� � ���

� �� �� ��� � ����� 7� ��� � ���%� � ��� ���� ����������� ���� ���� �� ����� ,���������� ����� �

���� �-� ���������� ����� ���� � ����� � ����� � � � ��� � ���� �� ����� � ������� ���� ����

� �� )� ��� �� ��� ������ � ���-� ,����������-*�

���� �� �� ������� ���� % �� ��� ���� � ���� � �� � � ���������� ����� ���� �(

�� ������� ������� �� � � ������%�� ������� &�� ��������� �� '(��) *++* ,-!.$

1

0������� ������� �� ����� �� � ��������� ������ ���� ������� ������� ��� ��� �����

������� � � ���� ���� � ������ ����� ������ ��� �� ������� � � ������ � ��� � �����

)� �%������ ����� ���� �'����� ��� ���������� � �� � � �*� ���������� ����� ���� �

����� � �� �� ��� � ���� � ����� ���� ��� � ��� � ���� �� ��� ��� ����� � �������

�������� ���� ����� & ����� ����� ���� � ����� ��� ������� � ��� � ���� 0���� ���

� ���-� ������� �� ������ ��� ��� ������� ������ �� ��������� ������� �� � ��� �����

���� ��� ������ ���� ������� ����� � �� � � ��� �����

��� � ���� � � ���� ������� ���� % �� � ��� � � ���������� ����� ���� � � � ������ � ���

������� ����� �� ��� ����� ���� � � ��� ������� ����� � ������ ���� ������� � ��� ����� ���

� ��� ���� ��� ����� ��� ����� � ������� ������� � ��� ������ � ��� ���� ��� ������ ����� ��

����� ����� �� ���� � � ������ � ��� ������� �� ��� ��

��������� � ������� ������� �������������

8�� � �� � ��� � � ���� ��� � �� � ��� � ���� ������� �������� � � ��� ����� ���� � �� �

������ ������ � �� � � �� � �������������� ����� ���� � �� � ������ ������ � �� )� � �* � )� �

�*�

��� ���� ������� ����� �� � �� �� ��� � �������� � ������� ����� �� � �� � ���� ����� ��������

/ �%������ � ��� � � ���� � ��� � �������� � ��� � ����� ��� � �� 0 � ,�""9 ����� � �����-

� � ��� �� ��� ��� � ������� � ��� � ���� :����� ���� ��� ������� � ��� ��� �� � � ��� ������

������� ���� �� ������� � � �� � �������� ����� ����������

�/ � ���%��� ����%���� �� �� ���0��%� %�������� �� ������������ ���� �����%�1��$ (�% ���0��%� %�������� �� �� ��� ��������%������ �� ��� �� ���� ���2%�������� ��% �� & �% ��� �� �� ���$

#

��������� � ���������� �������������

� ��������:������ ����� ���� �� � �� � ����������� ����� ���� � �' � ��� � ���� �� ��� ������

�� �� �)�� �* ; )��� ��* ���� � ��� ���� ���� � � � �� �������� � � ��� ���� � � �� � �� �������� � ��

��� ���� � ���

��� ��� ,���� ���- ���� �� ���� � ��� � � � ��� ��� ��� ��� ������ ���� ������� ����� �� �

������� ������ ����� ���� � �� �� ������ � � ���� ����� � ���������� ����� ���� � �� � �������

������ ����� ���� � � ����� ���� ���� ������� � � � ��� ����� ��� ���� ��� � ����� ��������

���� ���� � ��� ������ ���� ���� � ���������� ����� ���� � � � )�� �* � )��� ��* ���� �� ����� � ��

� <� � �� ���������� ����� ���� �=�

��������� � ������������ ��������� �������������

8�� � �� � ���������� ����� ���� �� 7�� � � �� ����� �� �� � ��� � ���� �� ���� �%���� � �� � ���

�� ���� ���� �)�� �* ; )��� �*� ���� � �� ������ � �3�������� ���������� ����� ���� ��

/ � �� ����� �� �� � �3�������� ���������� ����� ���� �� �� �� �%����� ��������� ���� ��� �����

� ��� � ��� �� �������� � ������� ���� ������ � ��� ������ ����� �� / ��� ��������� ��� ����

���� �� ��� �����. �� ����� ���� ��� ������� ����� � ��� ��� ����� �� ���� �� � ���������� � ���

������ �� �� � ������� ���� ���� ��� ���� ��� ���� ���� � ��������� ��� �� ���� � ��� ������

� ���� ��� ���� ���� ������� � � ���� ���� � � ������� �� �� ����� ������� � � � � �������� � �

� ��� � ���� 6��� � �3�������� ���������� ����� ���� � �%����� �� �� ����� � ����� ���� ���� ����

�� ������� �� � � � �3�������� ���������� ����� ���� ��

� ���������� ����� ���� � �� ��������� ���� ������� ���� ���� ���� �� �������� � ���� ���

������ ���� ������� ����� �� 7� � �� � � ������ ���� ��� ���� ���� �������� � ������ � ��������

���� ������ � ���� ���� �� �������� �� �� ��� �� �� ��� ���� �� �'������ ���������� � � ��� ������ ����

2

������� ����� �� � �������� ���������� ����� ���� � � ����� >��� �� ��� ���� ����� � ���� ���

������ ���� ������� ����� � ��� � � ��

��������� � ���������� ��������� �������������

� ���������� ����� ���� �� � � �� � ��������� ����������� ����� ���� � �' ��� ������ �� � ����������

����� ���� ��

� ����� � ���� �� �� ������ ���� ��������

��� �!�����"�������� �" ��� #��� ���$��% ��������

7� ������ ��� ����� ���� � �� �� �� ��� � ��� ���� �� ����� ���� ���������� ����� ���� � ���

��� �� � � ������ ���� � � ��� ���� ������� ����� �� ? ����� ��� ����� ���� � ��� �(

����� ����

� � ��� ���� � � ����� ��� �� ����� ���

��� �

���� ����� ���� � ������� ��� )������ ���* ������� � ��� ������� ��� �� ������ ����� � ���

? �� � /� � @��� )?/@* � ��� ������ � ��� � ��������� ��� ����� ���� � �� ����� � � �

����� � ����� ��������� 7� ����� ����� � �� �� ���� ����� ����� � ����� � ����� ��������� ���

& ����� ���� � ����� ���� � ����� ��� �� � �� ��������� ������� �� ��������� ��� � ���� ���

����� ��� � ��� �������� ���� ���������� �� ��� �%����� � ���� ��� ������ � ����� � �����

� ��� ������ � ��� ���� � � � ��� �� � ����� � ����� � ��� ����� ��� � ����

& ����� ���� �� � ����� ����� ������� ��� ������ ��� ����� ��� � ���( �� A ����� B��

���� �C? ����� � ? ����� )A?CB?* �������� ���� ��� � ��� ����� ��� � ��� ���� �� ���������

4

�� � �� �� ��

���� ���� � � / ����� ���� ! � � /���� ���� 1 / � /

/���� �( ���� ?���� ����� ���� ����� � ����� ��� � � A?CB?

� �� ����� �������� � ��� ������� � ���� ��� �� A?CB? �������� �' �� �������� ����� � �����

���� ������ ����� � ��� � ������ ����� ����� �� )�� ��� � �� ���� ����*� ���� �� � ���� ���� ��� �����

��� ������� ���� ��� ����� ����� � ������������ �'���� ��� ��� �� � ��� ����� �������� �������� �

�#$� A?CB? �� ����� � ,� ����- ������� ����� �� ������� �� ���� ��� ����� �� A?CB? �������� �����

�� ��� ����� �������� )� ��� ��� �������*� ��� ��� �� ���� �� � � ��������� ��� �����

7� ��� ������ � ���� A?CB? ��� ����� � ����� �� ����������� 7� ��� ����� ��� � ���� ���

�� � �� 7� ��� ����� ��� � ��� �� ���� ��� ����� �� A?CB? ��������� ���� �� ����� �������� �

��� ������� � ��� ����� ���� � �� � +������ �A?CB? ���������� ����� ���� �� D ����� � ����� ����

��� ����� ���� � �� � � � �������� ���������� ����� ���� �� ���� ��� ���� ��� �� A?CB? ��������

���� ��� � ��� ����� ��� � ��� �� ����� �������� � ��� ������� ���� �� ����� �������� ����

���� � ��� ������ ����� � � � ���� A?CB? � ����� � ��� ����� ��� � ���� / �%������ � �����

� ���� ��� ����� � ������ ���� ���� ������ ����� � ���� ��� ������ �� �� ��� � �� �� �� /���� �� �����

���� ���� ����� ������� ����� � ������ ��� � � A?CB? � ������

���� ���������� ��� �� �� ����� ��� ��%������ � ��� ������� � � ���������� ����� ���� � ��� �� ���

���� ���� ������� � ,������- � �� ����� ������� ��� � ��� ������� ��� ��� ������� ����� ��

6��� ��� ������� � ��� � ��� ������� ���� ���� ������� �� ��� � ���� �� �� ����� ���� �

��������� ��� �������� � ��� ������� ����� �� ����� �� ���� ��� ������ � ��� � ����

5

��& '������ �� #����"����� (�������

������ ����� ��� � �� � ����� ���� � ��� ���� � � ���� � � ��� ����� �� ��� ��� ����� �

������ )� ��������� � ����� �����E��� �* �� ��� ��� � ��� ����� ���� )� �������� ������

�����*� 7� ��� ������ ��� ����� ��� � ��� �� �� ��� �� ������� ���������� ����� ���� � �� ��'�����

��� ����� ��� � ��� �� ���� ���� �� �� ����� � �� ��� ����� ���� ���� ������� � � ����� ���

����� ���� � ��������� ���� ���� � ���� ���� � ���� �������� ���� ���� ��� ���� � ��� ������

����� �� ���� ��� ��� ���� ���� ��� ���� ��������� ��� ����� ��� � ��� ��� �� ���������

��� )��!�������� ������� (�����*�����

F ��� ����� ���� � ��� ������ ���� ���� � ������ ���� ��� �������� � � ������ ��� ������������

+ � ������ � ����� ���� � ���� � ���� � �� �� ��'���� ��������( ���� ���� ���� �������� � � ���

����� ��� � ��� �� �������� � ��� ������ � ���� ���� ����� ���� ��� ����� ���� �� �������

���� � � ������ �� � �� � � ������ ��� ������������ ������ �� ��� � �������� � ������� � ��� ���� �

� ��� ����� ���� � ���� ��� ��� ������ �� ��� ����� ���� ������ � �� ������� ���������� �. � ��

�������� � � ��� ������ ��� ��������� � ��� � ��� ���� ���� �� ������� ����� ��� ����� ���� �

� ����G & ����� ���������� ����� ���� � �� � � ������� ���������� �� � ������ �%����� ����� �� ��

���� �� ��� ������� � � �� ��� �(

� ��� � ��� ���� � ���

0��� �� ���� � �� � �� ������'��� ��� �%����� �� H���� � ������ ��� ����� ���� �� ���� � ��� ��

�� ��� �� ���� � ��� & ����� � � � � � ��� �� �� �� ������� ��� ���� ���� ���� ����� �� ��������

� ����� � ����� � ��� ����� ��� � ��� � ��� � � �� �������� � ��� ������ � ���� �����

� �� ���������� ����� ���� �� �� � � �� ������ � � ������� ���� ������ ��� ����� ���� �. � � ���

������ ��� ����� ���� �� �� ���������� ����� ���� ��� ���� �� �� ��� �������� �%����� ����� ������

����� ���� ������ ��� ����� ���� �� ����� ������ ������ ��� ����������� ���� � � �� ����� ����������

����� ���� �� � ����� � ������ :��� �%������ � � � ����� � ����� �������� ����� ���� ��

������� ��� ������� �� ���������� ����� ���� �� �!�$� ����� ������ �� ����� ���������� � �

��� ��� � �������� � ���� 0��� ����� ���� �� �� �� ���� ���������� ��� ������ ������ ���

������������ ��� � � � ������ ����� �������� ���� ����� ��� � � � ��� ���������� ����� ���� �� ��

������ ��� ����� ���� ��� �� � ������ �%������ � ����� ��� ����� ���� � (

� ��� ���� ���� ��� � � ��� ��� ���� ����

?���� ���� �� � � ������ ���� ������� ��������. �� � ��� ���� �� ���� ������� �������� �� ���

������ ��� ������ ����� ��� ������ ��� ����� ��� � ��� ��'�� � ��� ���� ����� � ��� ������� �

� ��� � ������ ������� ������ D ���������� ���� ����� ���� � � ��� ������ ����� �������� ���� �����

7� �������� ��� ���� � ���� � ��� ���� ��� ������ ��� ����� ���� �� �� ��� ����� ������� ���

������� / �%������ ��� ����� ���� � ��� ���� �������� �� 0���� � 2 ���� ��� ������ ���� �������

�������� ����� ���� � ������ & ����� ���� ����� � ��� ������� ���� ���������� ����� ���� � �� � �

����� � ��� ��������� � � ����� ���� � )� �������* ��� ���� ��� ��������� � � ����� ���� � �

������� ����������� � ��� ���� � ����� ���� �� ���� ��� � ��� ����������� ����� ��� ���� � ��� ������

������ ����� � ��� �� ������ �� �������� / �%������ ���� �� ���� ��� � �� �� � �%����� � �� �����

��� ���� ��� � ��� � ������ � ���� � ������� �� �� ����� � �� � � � ������� � ������ � � ���

� ��� � �� �� �� 7� ���� � ������� � � �� � � � ������� � ��� � �� �� ������ � ��� ��� �� �� ��� �����

� ����� ��� ������� �4� 5$� ���� �� ��� ����� ������� ��� ����� ���� ���� ������� � ���������� ���� ��

�� ���� �� �������� ������� ����� ��� �%����� �� � ��� ���� ���>����

I

� ��� ���� ������� ��� ����������� �� � ���� ��������

J� ���� �� ������� �� ����� �� � �� ���� �� � ������� � ���������� ��#� �2� � $� ����� ����������

�� ����������� ��� ����� � ��������� � � ������ ��� �� ������� ���� ���� ��� ����������� ��

���� ��� ���� ��� ����� � � ��������� � ���� � ��� �� ��������� � � ,������- ������ �� ����� �����

����� ������ � ����� � ���� ��� 7� ���� ���� ������� �� ��� ������ ������ � �� ��������� � ��� � �����

�������� ��� �� ���������� �� ��� ����� ����� �� � ������ ���� ������ ��� ����� ����� � ��� � ���� �����

� ������� � �� ��� ���� � ��� � ���� � �� �� ��� �%����� � � �� ���� � �������� 7� ���� ��� � ��������

��� ���� �� ���� �� �������� ���� ���� ��� �� �������� � � �� ��� ����� � ��� � ���� � ������

��� ��� ��� �� ���� � ������� ��� � �� � ���� � ��� ��� ��� ������ ���� ���� � ��� � ����� �������

� ����� ��� ���� � ��� � ����� � ����� � �� ��������

7� �� � ��� ���� � ����� ���� ���� ������� � ���� ��� ��� � �� ���� �� ��� ������ ��� ���� � ��

���� ������ �� � ������� �� �� ��������� � ����� � ������ ���������� � � ��� ���� � �� �� � ��������

� � ����� � �������� ������ ������ � � �������� � � ��� �������� ���� ���� ��� �� ������� B��������

� ����� ���� � �� �� ������� ��'���� ������ ������ �� ����� � ���� ���� �������� �� / ��������

�������� ��� ������ ������ �� �� ������� ����� � ��� � ������� � � � �������� � ���� ���������� ����

���� ��4� �5� �I� !!� !2$� ���������� � � �� ��� �� �� � � �%������� ��� � ��� �������� �� ��� ������

���

��� ��� ��� � � ���� � ������ ������ � ������� ��� ���� � �� ��� ������ ��� � � ��� �������

��� �� ��� ������ �������� � � �� �� �%����� � � ��� � ������� ��� �������� ����� � �� �� ��� �����

� �������� ��� � ��� ������ �������� � � �� �� ��� �������� � ��� � ���������� � ����� ��� �

����� )��������� �� � ������ ��� ����� � �� �� � �� ���� � ��� ��� ����� ���� ������� � � ���

��������*�

�"

� ����� ��� � ��� ������ � ����� � ������ ��� �������� � �� ����� � ����� � ������� �� �����

/ �%������ �� � ����� � ����� � ���� ����� � �� ��������� � ����� ���� ��� ������ ������ �� �� ��

������ �� ���� � � � � �� � � �� �������� ����� � ���� J��� ���������� � ��� � ������ � �������� �

���� ����� ���� ����� ��� ���� �>��� �� �%������� / ���� ���� ����� ��� �%����� � �� � ��� �� ���

��� ������ ����� �� ��������� � ��� � ��� ����� ����������� ���� ��� ��� �� ��� ������� ��� ���

� � ������� � � ������ �� �������� �� ���� �� ������� � ��

J� ���� �� ������� ��� ���� �� �� � �� �� �'������ �� � ��� �������� ��������� ���� ���� �

����� � % ) ��������* ���� ������� ������ � � ���� ����� � ����� � ��� �������� ��I� !!�

!2$� & ����� � � ���� ���� ��� ��������� ��� ��� ����� � �� ���� �� ������� ��� �� ������

�����������

� ��� ������� �� �� �� �� ����� �� ����� ���� ����� /���� ������� ,���- ��� ������� � � ��

������� � ����� � � �������� J������� ������� ���� �� ������ � �� ����� ���� ���� �%������� ���

� ��� �������� � �� � ����� ��� ���� � � ������� ��� ������� � �� ����� 6��� ��� ��� �� ���

�������� ��� ����� ������ )� � � �� ��� �* ����� ���� �� �� �� �� � ��� �� � ������ ������� �� ���� ��

��� � ��� � ����� �� �� ���� � ���� ������� ���� ���� ������� ��� ��������� ���� ��� ����� �����

����� �� ������� ���� �������� ��� ������ )�� �� �� �* ����� ������ � �� � ��� �� � ������ ��� ���

��� ��� ��� ��� )�� �� � � �� �* ����� ������ � ��� ��� � ��� �� � ������ ��� �������

0��� ������ ��� �� ��� � ���� � ���� ������ � � ����� ����� �� ���� �� ������� ��� ����� �

��� ����� ���� ���� ������� �� ���� �� � ��� �� � ����� ����� ��������� ���� ���� ���� � ���� ��

� ��������� �%�������� ��� � ����� ���� ������� ���� � � ����� �� ����� ������� �%����� ��� ��� ��

����� � �%����� ��� ��������������� �'���� ���� �������� ��� ����� ������ � ��� �� � �� � ��� ��

��� � �� ����������� � � ��� �� �� ������3� 1�����$ �� ��% &��� �� (����������� /������ � � ��� �� �� ������3� 1��������� � �� �� ������ �� ��� ����� ���&$

��

��� ��� ����

��� ������� � ��� �������� ������ � � ��� ������ ���������� ������ ����� ��� ����� ����� ������

���� ������ ����� ��� �'���������� � ��� ������ ���� ��� ��� ������ ��������� � ������ � �� ���������

� ��� ����� � ��� �� � ������ ��� ������� :�� � ����� �������� ���� �� ������� ��� ��� ��� �����

����� � ����������� ��� ���� ���� �� �� ���� �� �������� ���� � � �� ���� � � ���� ��� ������� �������

�� ����� ���� � ��� � ������ ������� ��� ������ ��������� � ����� � ����� � ����� ��� ����� � �

���� � �� ��� �� � ��� ���������� 6��� ��� �� ������� �� �� �� ����� ������� � ��� ���� ��������

���� ����� ��� � ��� ��� � ����� 0��� ,����� �������%- �� � ��������� � �� �� ����� ���� ����

���� � � �� � � � ,�������- ,�������- � ����� �� � ����� ������� ������ � �� �������

��� � ���� �� ���������� �� /���� !� 0��� �� ���� � �� � �� ������� �� �� ������ �� �� ��� ����

" � !" )��� � ���� ��� ���� ���������� ���� �� � �� � ��������� � ���� � �%� ���� �*� ��� ���� ����

����� � � ��� ���� �� �� ��� ������ ��������� � � �������� ����� ����� � ��� �� ��� ����� � � �� �"�

��� ���� ���� ����� � �� �� � � ��� ����� ��� �� ��� ���� ���� ����� � ��� ��������

��� ������ ��������� ������� � ��� ������� �������� �� �� �� ��� ���� �� � ���� ,�����- � �

���� � � � ������ � �� �� ���� ����� ������� + � ������ ��� ��������� � ��� ���� � ���� � ����

� ����� � ������ ������ � ����� ����� ����� ��%���� ������ � ��� ,������� �����- �" � � �������

������ � �� ��� ������ ���� �� � ����� � � � �� ������ � ����� ������� ��� ��� ������ ���������

���� ��� ��� ������������ ,������ �� � �������- � � ����� �� �� �� � ������ � ����� � �����������

��� ������ ������� �� ����� ���������� ��� � ��� � ������ A � ��� ��� � ����� � ���� �

������ �� � ������� �� ������� � ��������

�!

Fitness

10 12 14 16 180 2 4 6 8 20

Value of A

10

8

6

4

2

Fitness

10 12 14 16 180 2 4 6 8 20

Value of A

10

8

6

4

2

if (A==10)...

Version with no flag

if (flag)

flag = (A==10);

Version with a flag

Fitness: MAX−|A−10| Fitness: MAX − (1−flag)*MAX

/���� !( ��� /��� 8��������

! � �� ������ ���� �������� "������ �� ��� ���� �������

/��� ������ � ��������� ������ � ��� � ���� �� ��������� �� /���� 1� ��� ��� �� )�* ��� ���

��� �������� ��$ �������� � �� ���� � �� ����� �� �%����� � � ���������� J��� ����� �������� ��

��������� ����� � �' � ������ � ����� � ��� ��������� � ��� ��� � ������� � ���� ��� �' �

����� �� ������ ���� ������ � ��� ��� ������� � ������ )��� ��� ���* ��� ��� �������� �� ����� �� ��

���� )��� ��� �*� 7��������� ����������� ��� ���� � ��� ���� �� ����� �� ��� ,�����- ��� ,���- ����� ���

���� ��� ������ ������ �����

���� ����� � ����� �� ��� ����� � ����� ���� ���� �� � � ���� � ������ � � ���� ������

�� �� ��� � � � ���������� 8���� ��� �� � � ������� � ��� ��� ����� ������ � �� �� ���� ��� ��� �

� ������� ��� �'��� � ��� � ��� ����� ���� � � ��� ����� ��������� �� � ����� � �� � �

��� � � �������� � ��� ���� ���� ���� � /���� ! � ��� �� ��� ��������� � ��� ���� ���� ���� �

/���� !�

��� ,����� � ��- ����� � �� ��� � �� � � � �� ����� ������� )� ����� �� ������ ������* � ����� �

�1

8���� " D ��� � ��� �� �8���� � ��� ���� �� ��

B���� ����� � �� � ������ �� ����������� � � ��� �������� ����D ����������� � �� )�* � �� ���� ������� � ��� �

8���� ! 8���� � � ����� ���� ������ ��� ����������� � �� )�* ������� � ��� ��8���� 1 8���� ! ��� ����� ����� � �� � �������� � ������������

0 �� � ����� ����������� �� � ��� ��� � �� )� �����* � ��� ���������8���� # 8���� 1 ��� ����� ����� � �� � )� ����� ������� �* �������� � �������� � ����� �����8���� 2 ��� ����� ����� � �� �� � ��'���� � ��� � � ��� ��� ����� ��

/���� 1( 8����� � ��� � ���� � ��� ������� ��� ��� �� �������� �

��� ��� �������� ���� ����� � � � �� ����� ���� ��� ��� ������� ���������� � ��� ��� ������� ���

������� ���� ��� ���� ������� ���������� � �� ��� � ��� ��� ������ ���� 7� �� ���������� � ��� ��

� ������� ������ � �������� � ������ )���� �� �� � ����� ���������*� ���� ��� ��� )����������

����* ���������� �� ����� � �� ��� ��� )���������� ����* ��������� � ��� ���� �� ���� ���� � �������

��� ,���- ����� � �� ��� �������� ��� � ��� ��� ������� ����� ��� ����������� � ��� ����� ����� �

�� ����� ��� ��� ���� ����� ��� ��� �� ������� � �� ���� ����� � ����� ���� ����� ��� �����

����� � �� � � �� � � ��� �� �� �� �� ��� ���� � ��� � �� ��� ��� ����� ��

��� � �� � ��� ������� �� ��� �� ���� � ����� � � ���� ���� ����� ������ � ��� ������� ��� �

� �� � �� )��� ��������� � ����� "� ���� ��� ��� � ���� �� � � ������*� ��� � �� ���� �������� ��

� ����� ���� ����� � ������� �� ���� �� ���� � � ��� ��� � ���� �� ���� ����� ��� �� ������ � �

� �� ����� � ����� ���� ��

+�� ,��� ����*�� �� ��*�� -

8���� " �������� � � ��� ��� � � ��� ��� ��� ����� �� � )�����* ����� ���� � �� ������ ��

����� "�

�#

����� � �� ����� � ��

�� � �� �� �� ������� �� ���� � �� � ������ �� �� ��������������� �� �������� �

��� ���

���� ������ ���� ���������� �� � �� ���� ������

��� ���

�� ���� ��� �� ���� ���

�! "����� �! ���� �� ���� #������ $��������

/���� #( ���� � K������ 7�� ����� �

+�& ,��� ����*�� �� ��*�� �

8���� � �� ������ � ���� ����� +������ ���� �� �� � ������ ����������� �� � ��� �� � ��� ��� �

��� �� � ��� ��������� ���� � � ��� �� ����������� � ��� ��� � ��� �� �� ���� ���������� � ���� �����

�� � ������ ��� � ��� ���� � ���������� ����������� � �� )�* ������� � ��� ��

+�� ,��� ����*�� �� ��*�� &

�� ����� !� ��� ������ ���������� � � ��� ��������� ���� � ��� �%����� � �� � � ��� ��� �� �� �� � �

� ������� ������� ��� ������� � ��� �%����� � �� � )� ��������* �� ������� �� ���� ���������� ����������

� � ������� �� �� )�*� � ��� �� ���� � ����� ��� �%����� � �� � ���� �� ������� ����� ���� �

��������� � �� � ��� ������ � �������� �������� � ������� � ��� �� ��� ��� ����� � � ���� �

�������� �� ���������� �� /���� #�

+�. ,��� ����*�� �� ��*�� �

��� � ���� � � ������ � ������ ���������� � ��� � � � �������� � ������������ ����� �� � �����

��� ����������� � � �� ��� ��� � ��� �������� ��� �� �������� ����� �� �� �� 0������ �1� �!$� �����

�� ��������� � � ���� � ������ ���������� � ��� � � � ������� ���� � ������������ �� �� �� ��

�2

����

�� ���� � � ��� �

�� ���� �� � � � ��� �

��� � �� ����� ��������� �� �� � � � �

�� � � ��� ���������������� �������������� � � � � �� �

��� �� �� ����� �� � �� �� � ��� �

�� ���� � � ����

�� ���� ��� �� ������ ��������� ��

���������������� ��������������

�! "����� �! � ������ ����� �� �� �! ����� �� %���

/���� 2( �� �� �� 0������ � F ���� � 0����� ���������� � ��� /��� K������

����� � � � ���� � ��� �������� � �������� ���� ������ � � ������� �� �� � ��������� � ���

����� ������� ��� �'��� � ��� ������ � ��� � ��� ���� ����� � ��

/ �%������ � ����� ��� � �� ������� �� /���� 2)�*� ���� �� � ������������ �������� � �����������

� ��� �������� ���� � ��� �� �� �� �� ������� � ��� ������� ��� ����� ��� ������ ���������� ��

/���� 2)�*� + ��� ������� � � �� �� �� �� ������ ���� �� �� ���������� ����� ��� ��� ���� ������� �

��� ������� ��� �� ��� � �� �� /���� 2)�*� ��� ����3���� ���� � ���� ������ ���������� �� �� �%����� �

���� ������� ��� ����� � ��� �� ��� ��� � ��� ����� � ��� + �������� �������� � � �� ���� �%����� ��

� ��� ���� � ������� �� ��� �%����� � ��� �� ����������� � ��� ��� �� ��� � ���������� �� ��������

�� /���� 2)�*�

+�+ ,��� ����*�� �� ��*�� .

��� ��� ���� � ����� ���� � � ����� # � ����� " �� �������� �� /���� 4� ��� ��������� ���� �� �

,� �����- ��� �������� ����������� � ����� ��� ���� ���� ��� � ������ ���������� ���������� ��� �'���

�� ��� ���� �� ��� ����� ���� � � ����� 1� & ����� �� ��� ���� � ����� � �� ��� ������ ���������� �

��� ��� ������� �� ����� � � ����� ��� �%����� �� ��� ����� �'��� � ����� ���� � � � ����� # �

�4

0��� � +��� ����� � ��0��� ! +� �� � ����� � ��0��� 1 H�� �� �� �� ������� � � ���� � ������ ���������� � ��� �� ���� �����0��� # ? ���� ����� � �� � � � ����� ��� �%����� � ���������� � ���0��� 2 0������ ��� �%����� � �������� � ���0��� 4 L����� � � ����� 1 � ����� ! ����� ��� ��� ���� � 0���� � 2�#0��� 5 L����� � � ����� ! � ����� � ��� " ����� ��� ��� ����� � 0���� �� 2�1 ��� 2�!

/���� 4( ��� ���� � ����� ���� ����� # ��� ����� "

p

a

q

b

r

c d

a

p

c d

r

b

q

c d

r

c d

r

b

q

c d

r

)�* H������� K��� � )�* +����� K��� �

/���� 5( +������ � ?/@

" �� � � ���� � )� �����* � ����� ��� �%����� � ����� ������� ��� ����� �� �� �� ��� � ��� �����

� �� ��� � ��� ������� ����������� � ��� � ���� �%����� � � �� ����������� � ��� ��� � ��� ���

��������

��� � ����� � � ��� � ����� ��� �%����� � � � ��� ����� � �� �� ����������� � �� ��%���� �����

� ���� �� )������ ,�������- ��� ,�� �� ����-� ������� � ���� �'��� � ��� �������� ������� � ���

� ���-� ?/@*� ��� ������� � ���� ����� � �������� ����� �� ������

+������ ����� � � � ��� ������� � � ��� ��� � ����� � ����� ��� � ��� �� �� ������� ����%

��� �� � ��� � � � � ���� ���� �� ����� ����� �� � ����� ��������� � ������������ +� �� ���� �����

���� � ���� ��� ��� � ��� ��� ��� ����������� � ��� ������� ��� � ������ �'��� � �������� � �� ���

�5

� �� �� ����� �� ���� � ���� ��� �� � ����� ���� ��� ����������� �� ��� ������� ��� ������� � ���

�� ���������� �� �� �� ������� ��� ��� � ���� � ��� ������ ����� � ������ ���������� �� ��� �����

0��� � ���� ��� ��� �� � ������ � � � ����� ��� �%����� �� +������ �� ���������� �� /���� 5� ���

����������� ��������� ��� �� ����� ������������ ����� ��� ��������� ��������� ��� �� �����

����������

��� ,���� � ��- ����� ���� � )�%� � � � /���� �#* � ����� �� ������ � ������ ��� �� �����������

� ������� � � ���� ��� � �� ���� � �� �� ��� ������ ������ ��� � �� ��� ���� ��� ���� ��������

+������ �� �������� � �������� ������� ��� ,���� � ��- ����� ���� � ����� ���� �� � ������

���������� ���� �� � ��� ����� ���� �����������

� ������ ��� �� ����� ����� ��� � �� �� ����� � �� �� ��� ��� ��� ��� � ��� ���� ���

���������� ���������� ��� �� ���������� ���������� �� �� ��� ������ � ��� ��� ��� ��� ������� � ���

�� ���������� +� �� ���� �� ���������� �� /���� � ���������� ������ �� ���� � ����� ���������� ���

���������� +� �� ���� �� �������� � � � �� �� ������� � � ������ ���� ������� L��� 2 � /���� �#

�� ���� ���������� ��������� ����� �� ����� � ���� )���� ���� ���� �� � ����� ��������� � ���

���������� � ���� �� ���*� ���� ��� ��� �� �� ���������� �� �%����� �� �� ����3�'��� ���� 7� �����

���� �%����� �� �� � � ���� �'��� ���� ���� ������'��� �� ��� ����� ���� � ��"$ �� ��� �� � ��������

��� ������ � ��� ������ ��� �� �� ��� ��� �� ��������� � ������������ ����� ��� �� � ������ �

������ ����������� � ��� ��� ������� ����� ��� ��� ���� � �� ���� ���� �� ����� 1� &����� � �� �����

��� ��� �� � � � ���� ��� ���� ������ ����������� � ��� ��� ������� �� ��� ������� ? ������� ���� �

� � ����� ��� �%����� � �� �������� ����

� � ��� �%������ ����������� ������� ��� �� �� ���� ��� � � ��� ���������� ����� ���� � � �

����� # � ����� " �� ����� �� /���� I� ��� ���� �� �� ��� � ���� � ����� ���� � � � � � ���� �

� �� � ����� ��� ������ � �� )��� ������� ���� ����� � � ��* �� ������ ��� �� �� ���� 0������ ���

�

a a

b b

’’

a ab b

r’’’’ r

p

q

c d

r

c d

c d

r’’’

c d

q’

+� �� ��� K��� � � /���� 5)�*

/���� ( +� �� ���� � ?/@

����� ����� �� �� �� ������� � ��� ������� ��� � ����� � ������ ����������� ���� � ���������

�� ��� �� �� ����� � ��� � ���������� � � ��� �%����� � �������� � ��� � ���� ������ ����������� ��

��� � �� � � ��� ����� ��� �'��� � ���� � ���������� � �� �� �� � � ��� ���� �������� � � ��� ��� ���

���� ����� �� ��� ����� � �� ��� ��� ���� ���� �� ��� ��� � ���� � ����� ���������� � �� ������� ���

� ��� ���� �� �������� ���� � �� � ���� ���������� ����������� � ������� �������� ������� �����

��� ��� ��� �� ������� � ��� ��� �����

+�/ #�� ��������� "�� ,��� ����*�� �� � ������ �*�����!(�����*��� #����!

����% #����"��������

��� ��� ���� � �� ���� ���� ��� ���� ������ ����� ���� � ����� ����� ���� � � ���� � )� �����

���������* � ����� ��� �%����� � ����� ��� �� �������� � ��� ��� �������� J��� � ����� ����� �� �����

�� ���� ������� ���������� ��� ����� �'��� �� � ��� ������ � ���� � ����� �� �������� ��� (

� ������ ����� �� � �� �� ������ � � �%��� �� � � ������� ������ ��� � � ������ %�� ������ % �%�� ����������� � �� ��% ���� �� ����������� ���� � � %���������� ��� ��������������� � �� �����%���� ��� ����4�5�%� ����� � �� ����� ��������� ��� � ��

�I

flag = 0;if (a>b) {flag = 1; a=a+1; }if (a==b) { b = a+2; flag = b>c; }

conditional expressionCoversion to simplified

flag = 0;if (a>b) {flag = 1; a=a+1; }if (a==b) { b = a+2; flag = b>c; }

}Bushing Blossoming

Slicing

flag = 0;if (a>b) { flag = 1; a=a+1; if (a==b) { b = a+2; flag = b>c; } else ; }else if (a==b) { b = a+2; flag = b>c; } else ;

else flag = 1;else if (a==b) flag = a+2>c; else flag = 0;

if (a>b) if (a+1==b) { flag = 0; flag = 1; a=a+1; b = a+2; flag = b>c; } else { flag = 0; flag = 1; a=a+1; }else if (a==b) { flag = 0; b = a+2; flag = b>c; } else flag = 0;

Define Code

Syntax−preserving slice on flag

Bushed Define Code

Blossomed Defined Code

Ta = a;Tb = b;

temporary variables

a = b+c ;if (flag) ...

flag = 0;if (a>b) {flag = 1; a=a+1; }if (a==b) { b = a+2; flag = b>c; }

Addition of fresh

This transformation of the define code allows a transformation from level 4 to 0 as follows:−

Level 4Level 0

Amorphous slice on flag

With temporary variables introduced

if (a>b) if (a+1==b) flag = (a+3)+2>c;

Ta = a;Tb = b;

a = b+c ;

flag = (a>b) ? !(a+1==b) || (a+3)+2>c : a==b && a+2>c ;

flag = (Ta>Tb) ? !(Ta+1==Tb) || (Ta+3)+2>c : Ta==Tb && Ta+2>c ;

if ((Ta>Tb) ? !(Ta+1==Tb) || (Ta+3)+2>c : Ta==Tb && Ta+2>c) ...

/���� I( � 6 ��� J%����� 7���������� ��� /��� L�� ��� ��� ����

!"

��� ���������� � ��� ��� ������� � ����� � �� �� �� ������� ��� ������� ��� �� �� ���� �� ���� ��

����� � ����� �� �%����� � )� ����� � ���� ���� ��� � ����� ��� ��* ����� ��� ���� �� �����������

� ��� ��� � ��� ��� ��������

��� ������ � ���������� ,������� �- � ,���-� ����� �� � ��� ��� ����� � � ����������� � ���� �

��������� ��� ��� ���� ������ ��� ������ ��� ���������� � ��� ����� � ��� �� � ������� � �� ���

���������� � � ,������� �- � ,���- � ��� ��� ������� ������� ��� ��� ��� ������ ������ � � �����������

� ���� � ���������

0��������� � � �� �%����� � ����� ��� � �'��� �� � ��� ����� � ��� ?/@ ��� ���� ��� � �'���

�� � ����� � ����� �������� ���� ����� ����� �� ��� �� ���� � ��� �� ���� � � ������� � � ���

?/@� � ��� ��� �� ��� ����� ���� � �� ��� ������ � � ��� ������� ���� �������� � ���� � �������

������������

� ������������ �������� � ����������� �� ��� ������ ��� ����� � ��� ?/@ � ��� � ���� & �����

����� ����� ���� � � �'��� ����� � ����� �������� ���� ����� ���� �� ������� ��� ������� ���� ��������

� ����������� �� ������� ������� �� �%������ ���������� ����������� ��� � ���� ����� � ������� ��

�� �� ���� �� ��� ?/@ � � � � ��� ������ � � ��� ���������� �������� ��� ����� � ���� � �

� �� ����� � ���� ����� & ����� ��� ���� ���� �� ������� ���� ������� ��� ���� � ����� �� �� ���

������ ������ ���� � � � �

/����� �� �� ��� ����������� �� � ��� ���� � ��������� ��� � >���� � � ��� ����� �� ���

������ � ��� �������� ������ ��������� �� �� ���� ����� ��� ����� �� � �� �� ��� ����� ���

��� ������ � ��� ���� ����� � ����� ���� � ��� �������� �� ��� ������ � ���� ������� ���� ���

�� � ��� ���� �� � �� � ��������� ������� � � ��������� �����

0���� ��� ����� ���� � �� ������ ���� ������� �������� ��� ��� ��� ����� � ������ ��� ��������

�� �� ����� �� �������� ����������� �� ��� �%%��$

!�

�� �� ����� � � ������ � �� ���� �� �� � ����� �������� ���������� ����� ���� �� 7������ �� �� � ������

� � ������ ��� ����� ���� � �� � �������� ���������� ����� ���� � ������� ���� ���� �������� �

��� ������ � ��� ���� ��� �� ����� �������� � ��� ����� ��� � ����

# ������� ��������� �� ���� $������

��� B�����?���� J� ���� �� ������� ����� �!2$ ��� ���� � ������� ���� ���� � ��������� � �

���� ��� ����� ������ ��� � ����� ���� �� �� ������� � � ������ ��� ������� ����� ���� ���������

�������� � ��� ����� ���� ������� ���� �� � ��� � ����� � ���� �������� � � ��� ����� ��

�� �� ��� �� �� � ���� ����� ��� ���� �� ����� � ��� ����� � ��� B�����?���� ���� �����

������� ���� ��� ��� � �� ���� �� ������� �!� !2$�

���� ����� � ������� � � ���������� �%��������� ����� ��������� ��� �� �������� �� � ��� ���

� ���� ��� ��� �'��� � ���� �� ��� �� � �� ���� �� ���� ���� ������� �� ��� ����� �� � ���

������ ������� � ��� ���� ���� ���� � ����� ���� ��� ������� �������� � ��� � ��� ����� � ����

� ��� ��������� ����� ��� � ��� �������� �� �� �� � ��������� ��� �������� ��� � � ��� � ����

� �������� & ����� ���� ����� ��� ������ ��� ����� ���� � � �� ���� ����� � ��� ������� ���� �

� ��� � ���� � ������ � ��� �� ���� �� � ���� ������� ��� ��� ����� ������� � � ��� )� �����

���� ����* ��� ������ � ��� � ����� �������� ���� ����� ���� ��� ���������

��� ������ �� � ��� � ����� �������� )� ��% ������� �%����� �� � ��� �� ���� �� ������� �����*

������� ��� ����� � ������ �������� ��� ��� �� ����� � � ������ � �'���������� ������� �' ��

� ���� � �� � ������ � ���������� � ������� ���� ���� � � �� � �������� ������ ��� � �����

� ���� ���� ����� � �������� �� ������ �� ���� ���� � �� �� ��������� 7� ��� �%������� � ���� ��� �����

�������� ���� ����� � ����� �%���� )���� �� � ���������� �������*�

!!

/�� #������� �����0������ (������

��� ������� ����������� � � ��� �� ����� ���� �� � �������� �� � ����� �������� ��� � ��� ���

���� �������� )�� � ��� *� ����� ������� ��� ���� ������� � � ����� ��� � �� � ��� � ��� �� �

�������� ������ ��� ���� ���� ������� ������� � �������� ��� �� ��� � � � ����� ��� ��� �������

����

7���� ������ �� !����� ������ ������ ���� ��""" � !"""" ���� � ������ � � "�""""�� ���� �����

� ����� ����� ��E� � ��� %������ �"��� �� ���� �� � ��� ������� ����������� � � ��� ��� ����

�� ��� �%�������( � ,K������ �����- � ��� ��� � ,0������ K����- � ���� ����� �� ������� � ���

������� � ��� ��������� ��� ���� � ������ ��� ����� � ���� � � � �� )K������ ?����* �� ���

� ����� )0������ K����*� ��� ������ � ���� ������ �� �� �� �� /����� �" ��� ���

7� ��� ,K������ ?����- ������� ��� ��� �� �������� � ����� ����� �������� � ��� � ������� ������ �

������� ���� �� ��� ���������� )� ���� ����*� ��� ������ ����� ������ ���� ��������� � ���

��� ����� ���� � ������ ����� ����� �� ��� ������ ��������� � �� � � � ����� � ����� ���� ������

�������� /����� �� ���� � ��� ���������� �� ��� ������� ���� � �� ��� � ��� � � �������

� ����� ��� ��������� ��� � ���� ��������� � ��� � �� � ������� ���� � ��� 7� ���� ������� � ���

������� � ���� ������� � �������

+ � ����� ��� ,0������ K����- ������ � ��� ������� � ��� �������� � ������ � � � ���������

� ���� ��� ��� ������� �� ��� � ��� � �� �� ��� ������� ������� � ��� ������� � ���� �������

7� ���� � ������� � �� ���� �� ������� ���������� � ��� � ��������

��� ������ �� � ���� � ��� ,K������ ?����- ���� � � ��� � ���� ��� �� ��� � ���� �����

��������� � ��'������ ���� ��� ����� ������� ��%���� ������� ��� ���� ��� � ��� � ���� � ������

����� � �' �� :� ��� ��� ����� ��� ,0������ K����- ������ �� �� � � ��� ��� ��� � ���� ��� ���

!1

���� #"�""" ������ �������� ��� � �� � ��� ���� ��� ��� ���� �� �� � � ����� � "� 5 ��� ���� �!"�"""

�������� �� � �� ��� ���� �� �� "�I!� D ���� ������ ��� ��%���� � ������ � ������ & ����� � ���

��� ��� ���� �� ���� �� !"�""" ������ �������� ��� ��� � ��� ���� ��� ���� ������ � � ����� � � �

���� "�I4 ��� ���� �� "�""" �������� �� ��� ���� ������ ��%���� � ������ � ����� )��"*�

/�& ������� (������

��� ������� � ��� � ������ ������ ��� ����� ��� ��� � ������� ��� ��� ���� � ���� �� ����� ����

����� ����� �� � ����� � ��� +����� ���������-� ,?������ ���- � �52� �2$� ���� ��� ������ ���� ���

���� � 0������� ��� !��� ��� � �� ���� �� ��� � �� ���������� � �� ��� � 0������� ��� �#��� �

������ � ����� ������ ���� � �������� � ��� � ������ � ��� ���� � ��� ,�� ��� �� ���-� �����

,�� ��� ���- � � � ������� ���� �� ��� ������� � ��� ����� �� ��� ��� � � ����

��� ������� � ��� �� � ������ ��������� � ��� ����� ����� � �� ,�������- � ����� � ��� ����

��� ����� � � ��� ��� ���� � ���� ����� ���� �� ������ ������� ���� ���� ���� � �%����� ��� ������ ����

��� ��� ����� �������� �� �� � � ����� � ���� �� � ��� �� � ������ ������ ���� ��� ���� 7� ���� �����

��� � ��� ����� ������� ��������� ���� � ����� �� ���� ������ ������ � ���� � " � �"� ����� ��

����������� � ������ ��� ��� ������ �������� !��� "���� ��� ���� ���� �� ��� � ��3������� �� ���

�� /���� �!� ���� ����� � ����� ����� � ��� %������ ��� ���� ��� ��� ���������� �� ���� ������

��� ,�� �� ��� ��- ��� ��

��� ������ � �� ���� �� ���� ���� ������� � � ��� ������� � ���� � ����� ���� ��� �������

�������� � � �� �� �� �� �� /���� �!� ��� ������� � �� ��� ���� ��������� � ���������� ���

������ ����� ��� � ��� � ����� � ��� ������ ��� ��� ���� � ������ ��� ���� � ���������

:� � ���� ��� ���� ���� ��� ����� ��� ���� � ��� � ��������� �� � � �� ����� � ���� � � )������

!#

� �� � � � ����� ���� �* ������� ��� ����� ��� � ��� �� � � ��� � � ������

��� ������ �� � ���� ��� �� ��� ����� �� ���� ��������� ������� ��� � ��� ��� ������� ��� ��%����

� ������ ������ ����� ��� ������� ���� �� ����� � �� � �� � ����� ��� ������ � ���� 7� ��� ��� ��

���� � � ��� � ��� � � ����� � ���� ��� ���� ����� ��� ������� ���� � � �� �������� ����� � �����

����� ��� �������� ���� ����� � � ����� ������

/�� ���� �*���� % ��������� (������

��� #���$�%���!��&� ������ � ��� �������� � � � �� ������ � ���� ������� �� � ������� � ����

� � �������� ���� � �� ��� � ��� ��� ����� ����� �������� � �� � ������ ��� ������ � ���� �

�1!""" � M1!"""� ��� � ��� ����� ����� ��E� �� ����� � 4#� """�� ���� �� � ������� ���� ���� ��� ���� ��

������ � ������� � �� � ���� ��� � ��� ��������� ���� �� ��� � 1!� """� � ��� 4#� """� � ������ �������

���� ����� ���� ��� ������ � ��������� �� �� ���� � ����� ,�� ��� �- �� ��� %������ � �� �"���

��� ������ � �� ���� �� ���� ���� ������� � � ��� L�������� � ���� � ����� ���� ��� �������

����� � � ����� �������� � ��� �� �� �� �� /���� �1� ��� ������ �� � ���� ��� �� ��� � ����� �����

������� 7� ��������� ����� ���� ��� ���� ���� � �� ) � � ���� � � >��� ���� "�I# � ����� � ���

��%���� � ������ � ����� � ��"* �� ����� ��� �� ��� � ��� ����� � ��� ���� � ���� ���� ��� �""9

� ����� �� ����� �������� � ��� ��� ���� � ���� !""N ������ �������� ���

% $������ &��'

���������� ��� ���� ������ � K �� �!1$� �� ���� � ��� F ������ �� 7������ � ��� J%����� � )F7J*

����� �� ��� F7J ���� � ������� ���������� �� ���� � ��� ������� � ���� �� ������� � )� �����* ��

�%������ ��� ����������� � ������� �� �� �������� ��� 7� ���� ����� ��� ��� ���������� �� � ������

!2

!����� "��# � $��

0.65

0.7

0.75

0.8

0.85

0.9

0.95

1

0 10000 20000 30000 40000 50000 60000 70000 80000

Cove

rage

Fitness Evaluations

���������� �� �� � �� ��� ��

������� �� ������ �� �������� ��

���� � �� �� ��� �� ������

���

�� ����������� �������

���������% $�������% ������

0.65

0.7

0.75

0.8

0.85

0.9

0.95

1

0 10000 20000 30000 40000 50000 60000 70000 80000

Cove

rage

Fitness Evaluations

���

�� �� �� � �� ��� ��

������� �� ������ �� �������� ��

���� � �� �� ��� �� ������

�������

/���� �"( L������ � ��� ,K������ ?����- ������� � ���

!����� "��# � $��

0.8

0.82

0.84

0.86

0.88

0.9

0.92

0.94

0.96

0.98

1

0 20000 40000 60000 80000 100000 120000

Cove

rage

Fitness Evaluations

���������� ������ �� ����� �� ������� �

���

�� ������������ �������

���������% $�������% ������

0.8

0.82

0.84

0.86

0.88

0.9

0.92

0.94

0.96

0.98

1

0 20000 40000 60000 80000 100000 120000

Cove

rage

Fitness Evaluations

���

�� ������ �� ����� �� ��������

�������

/���� ��( L������ � ��� ,0������ K���� ?����- ������� � ���

!4

!����� "��# � $��

0.8

0.82

0.84

0.86

0.88

0.9

0.92

0.94

0.96

0.98

1

0 100000 200000 300000 400000 500000 600000 700000 800000

Cove

rage

Fitness Evaluations

���

�� ���� ���������� ��� ������ �� ���� ��

��������� �����

������ !�" ��� ��� �#���$ �

����

�� ����� %% �� ������ �� %% ��"��&�

������ ��"'������(���)�����)*"�����++��"�

������,�����""��������-���

����

���

���������% $�������% ������

0.8

0.82

0.84

0.86

0.88

0.9

0.92

0.94

0.96

0.98

1

0 100000 200000 300000 400000 500000 600000 700000 800000

Cove

rage

Fitness Evaluations

���

�� ���� ���������� ��� ������ �� ���� ��

��"��� ���� %% ����)� %% ��" �& %% ��" . �&�

������ !�" ��� ��� �#���$ �

����

�� "��� ���� %% ����)� %% ��"��&�

������ ��"'������(���)�����)*"�����++��"�

������,�����""��������-���

����

���

/���� �!( L������ � ��� 8��� O�� F ���

!����� "��# � $��

0.8

0.82

0.84

0.86

0.88

0.9

0.92

0.94

0.96

0.98

1

0 50000 100000 150000 200000

Cove

rage

Fitness Evaluations

�� ���������$/���)�� %% ���������$)����)���

���� ���������$���� �$# ����$��$# %%

���������$���� �$" ����$��$" %%

���������$���� �$#����������$/���) ����$��$# %%

���������$���� �$"����������$)����) ����$��$" �

��

���������$���� �$# ����$��$# %%

���������$���� �$" ����$��$" %%

���������$���� �$#����������$/���) ����$��$# %%

���������$���� �$"����������$)����) ����$��$" ��

� � �

�� ����� ������ "���

���������% $�������% ������

0.8

0.82

0.84

0.86

0.88

0.9

0.92

0.94

0.96

0.98

1

0 50000 100000 150000 200000

Cove

rage

Fitness Evaluations

� �� � ��� ���� ���� ��������� ����

/���� �1( L������ � ��� 8��� ? ���� � L�������� � ���

!5

�� ��� � � ������ ����� � ���� ,��� ���� ���� ����� ���� ���� ��� �� ��������-�

��� ��� � ���� � �� ���� �� ������� ��� �� �� ���� � �� �� �%����� � ��� ���� B ���� � L����

L��� )BLL* � ���� ����� K �� ��������� �� �� � ��� � � ����������� ���� ��� ��� ����� ����� �

�������� �� ������ � ��������� � � ���� ������� ��� ���� ��� ���� �� � �� �� � ������ ������� K ��

������ ���� ���� ������� �� )���� ���� BLL�* � ��� ���� � ����� �������� ��������� ��� � ������ �

� �� ���� � ��� F7J ����� �� & ����� � ���� BLL �� �� ��������� ��������� � ����� � � ����

� �� ���� �� ���� ���� ������� �� �� �� �� � ��� �������� ���� ���� ��� �������. ��� � ����

�� ����� ���� ��� ���� BLL ��� ��� � ���� ����� � ����� ���� �� �� ��� � ��� ����� � ����

��������� 7� ����������� � ���������� ���� � ��� ��� � ��� ,������ �� � �������- � �����

��� ����� ���� �� � ������� �� ���� ���� ���� � � ������ ������ ��� ������������ ���� �� �

������� � � � �� � � � � ��� ����� ���� �� ��� �� �� � � ��� ��� �������� � � �������� ���

������� �������� ����� ���� � �� ��� ��������� 6���� �!4$ ��� ����� � ��� �������� � ����� � �

��� � �������� � ��� � ��� � ��� � � ������ � �� �� ���� � ��� � ��� ����� � �������� ��������

��� ������ � ������ � �������� �� � �� �� �� �� ���� ����� ��� �� ��������� ��������� � ���� �

���� �'��� �� �� ��� � � � ��� ������ � ����� �� ���� � �������� � >���� � � ��� ������ � ��� ����

������� � �������� � >���� � � ��� � ���-� ���������� �� ����� � ����� ��� �� �� ���� � ��������

�� ������� ���������� � � ��� � ��� � � ����� �� �� � ���������

0������� B��� ���E �I$ ��� /����� ���$ � ������� � ��������� � ��� ����� ���� �� � � ���

� ������� � �� � ������ ��� �������� ������������ 7� ����� ,�� ���� � ����� ��-� ��� ���� �� ���� ���

� ����� �� � �� �� ���� ����� ����� ���� � ��� ���� ���� �� ���� � ��������� � �� � � ������ ���

)� ������* ������� � ��� � ���� ��� ��������� � ��� � ��� �� ������� ��� ������ �� � ���

� �� ������ ������� ��� ��� ���� ������� � ��������� ����� �'��� �� ������� �� ����� ������� ���

���� ��������� 7� ���� ��� �� �� ���� � ����� � �� � ����� ����� ���� � � � ������ �� ����� ���

!

������� ����� � �� � � � ��� � �������� ��� � � ��� � ���� ��� � ��� � ������� �� ����� �� � �����

���������

��� ���� � ��� ������� � ���������� ����� ���� � )���� ������ � ������ ��� ����� ���� �* �����

����� �� 0���� � 1 �� ������� � ����� ��� ����������� ��� ��'������ ������� ���������� ����� ���� �

��� ����� ��� �� ������ �� � ������ ��� ����� ���� � � ������� ��� �� ���� � ����� ���

� ���������� ����� ���� �� ��� � � ������ ���� � � ��� ���� ������� ����� �� H����� ����������

����� ���� �� ������� ��� �� ���� �� ����� ���� �� �� � � � ������ ���� ������� ��� � �����

���� � ���� ����������

� ���������� ����� ���� �� �� ���� ������ H����� ���������� ����� ���� �� �� ���� � ����� ��

� ���� ������ ����� �� �������� � ��� �� ����������� � ��� ������ � ��� � � ����� ���

�� � ��������� + � ������ � ���������� ����� ���� � �� ���� � ����� � �� ���. ��� ��� ����

���� �� �������� � � ��� ����� ��� � ���� �� �� ��������� 8��� ���������� ����� ���� ��

������� �� ���� ���� �� � ����� � �� ���� ���� ���� �� ��� �� �������

� ���������� ����� ���� �� �� � � ������ � ������ ���� � � >���� � � ��� ������ ����������

H����� ���������� ����� ���� �� ������� ��� �� ���� � ����� �� ��� �� ������ �� ��������

�������� �� � ��� ������ � ���-� ���������� 7� �������� ���� ��� ������ ��'����� �� �� ����

��� ���� ���� �� ������ ��� ���� � ����� �� ��� �� ���� ���� ������� �������� ����� ���

�� �� �� ��� � ���� � ������� ���������� ����� ���� � ��� ������

!I

( "������

���� ���� ��� ����� ���������� ����� ���� �( � � ��� ��� ��� � � ��� ����� ���� �� �� �����

���� ���� �� �������� � � ��� ����� ��� � ��� ���� � ����� ��� ����� ���� � � ���� ���������

���� ��� ���� ���� ���� �� �������� � ��� �������

7� ��� ���� �� �� ���� � ���������� ����� ���� � �� � ��� ������� �� �� ������ ������ � ������

��� ������ ��� ������� � ��� � ���� � �� �������� � � ��� L����� � ���������� ����� ���� �

������� � ��� ������� ������� � �������� � � �������� ���� ���� �����

��� ��� ��� ��� ���������� � ��� ������� � � � ������ ��� ���� � ��� �� ��� ��� �� ��������

���� ����� �� ��� ���� ���� ��� ���� ��� ��� ��� ��� ����� � �� ���� �� ���� ���� ������� ��

���� ��� ��� ��� �������� ��� ����� ������ ����� ���� �� ��� ) �������� ��� ���� ���� �� �����*�

� ���� �������� ����

��� ����� ���� � ���� ���� �� ���� ���� �� ������ �� /���� �#�

��� ���� �� ������ �� ��� � � � � � ����� ��������� � ��� � ��� � �( �

������ �� ��������� ��

<7� � ��� ���� ��� ������� � ��� �� ����� ��� ��� ��� ������� �=� ��� ��� �� )�* ��� ��� ���

������ ��$ �������� � �� ���� � �� ����� �� �%����� � � ���������� ��� ��� &'()��� �� ��* �����

��� �%����� � ���� ������ � � ������������ ��� �������� � ��� ������� � �� ��� �%����� � ��� ���� ���

�%����� � ���

1"

�)�� � ��)# *��������

�� �; ��� �� � �� )��*� �� ; &'()��� ��� ��*

���� ; ��. �� ; ��. $$� ���� ; ��. �� ; ��. $$

�)�� � �'����� ��� +���� *��������

�� ; &'()��� �� ��*

��� ; ��. � ; ��. $$� ��� ; ��. $$

�)�� � ��)# ,��

���; &'()��� �� ��*� ���;��. �$$� ���� �;��.$$

���;��. � )��* �$$ � ��� )���* �� �;��.$$

�)�� � ��)# ,������

���; &'()��� �� ��*� ���;��. ��$$� ����

��;��.$$� ���;��. ��$$� ����

��;��.$$

���;��. � )��* �� ���� ��$$� ��� )���* ��� ���� ��� �;��. $$

�)�� - ��)# ���� ��

�� ; &'()�� �� �*

��� ; �. ���� � ���� � �$$� ������� � ; �.� ���� � ; �.� �$$

*.��� � �#�� ����� ������ �� �� $$� ������ ������ ���� ��$$

/���� �#( ����� ���� � L����

1�

$��������

��$ ����� K� �� � L��� 0����� ��� P�'� B� H������ � ������� ���������� ���������� �� � ���

����� � 6����� �I 4�

�!$ ���Q� +������ &���� 0������ ��� A������ 0������� /������ ������ � ������ � ��� �� �� ���� ��

� �������� �������� 7� ����� !! � � ������� � ��� ������� �� �� ���� ��� � ������� �

� �������� ����� �1!I3�114� D�� O �� I��1 P�� !""!� A ��� N������� F���������

�1$ B���� 6������ +������ ? ������� �� �� �� � ��� ������ ����� ���������� ����� ��� � �����

� � � ���� 7� "�# $��� ���� � "����� � �������� ����� 2�I32!2� ��� A����� 0�� ��� �� �

��%��� H�0���� �III� �?A F���� D�� O �� DO� H0��

�#$ +����� 0������� 7��������� +0 5I!2�� � ������ � ���� �� � ����� �������� �II �

�2$ ?������ ���� ?������ ���� ��� ������� ���� @� �� 77� ���� %%����� �52��

�4$ @��� ?��� �� ������ ?�������� ��� ����� B� 8����� ? ����� ��� � ��� �������� 7� A��

&���� ��� N���� @�������� ���� �� %�� ���� � �� $ ��&�� ����� � �� $������ %���� � � ���

$������� � ���� #"� ����� 2I234"5� J������ 0������ +� K�� �II �

�5$ 0�������� B������� ?��� / %� A�� &����� ��� L ��� A�� &�� ��� ��� ? �07� � ����� ���

������� ������ $ ��&�� ������� �� �'�������� !""#� �������� � ��������� ��

� $ P �� B������ � ��� L � A� +������� � ���� ���� � ����� � ����� ���� ������� � �����

( ���� � ��� "�#� !#)�*(##345� �I55�

1!

�I$ D����� B��� ���E ��� R �� A����� ��� �� ���� � � � ����( � ����� � ��� ����� � ���

� ������� �� 7� � ������� ��� � ��� ) ��� "����� $��� ���� � ��������� � � �������

*��������� ����� �##3�2#� �?A 07@�?� ��� 07@F8�D� �?A F���� �I55�

��"$ P �Q� P���� B ��� � A�� &����� A�� ?���� :�� � ��� 8�� &�� �� �������� ����������� � �

��� �������� � � ��� � ���� �'���� � � ��� � �������� �� %��� �������� �� � $ ��&��

����������� !""1� �������� � ��������� ��

���$ A���� 0� /������ � ����� � ��������� � ��� ����� ���� �� "�# �������� �� � � ����

���� *�������� �� $������� #)�*(�3!"� P���� �I !�

��!$ A�� &����� B���� 6������ +������ ��� 0�������� B������� �� �� �� � ��� �������� ( ����

� $������ �� $ ��&��� 4 )�*(#234#� :�� �� !""1�

��1$ A�� &����� 8�� &�� L ��� &�� ��� ���Q� +������ ��� &���� 0������ 7�� ���� �� ���� ��

������� � ��� �� ��� ),���� �� @J??:- ���� �����*� 7� ����� !! � � ������� � ��� �������

�� �� ���� ��� � ������� � � �������� ����� �12I3�144� D�� O �� I��1 P�� !""!� A ���

N������� F���������

��#$ A�� &���� ��� +�� /� P ���� 0���� ����� � ����� ����������� %�� ���� � �� $ ��&��

����� � ��� #1)�#*( 113 1I� B������ !""��

��2$ P �� &� & ������ "���� � �� +����� �� "��,���� $������� A7� F���� ��� �� � �I52�

��4$ +�/� P ���� &��&� 0������ ��� B�J� J��� ��� ����� �������� ������� ����� ������� ��� ������

��� $ ��&�� ���������� ( ����� ��(!II31"4� �II4�

11

��5$ ?�?� A������� @� A�@��� ��� A��� 0����E� @�������� � ����� ���� ���� � �� ���� �� %���

�������� �� � $ ��&�� ����������� )�!*(�" 23���"� B������ !""��

�� $ A������ A�������� "� %�� ���� � � ������� "�� ������ A7� F���� �II4�

��I$ L� F� F����� A� P� &� ��� ��� L� L� F���� ��������� ������� � ����� ������� ��� ������ ���

( ���� � $ ��&�� �������� -��,���� � �� ������������ I(!413! !� �III�

�!"$ &����� �� F������ ��� $����,���� � �� ����� ���� � � � ����� " ) ��� "�� ��� � $ ���

&�� .���� ������ 0������ �II"�

�!�$ 8�� L������� J���������� � � -� ����� �������� � ��� �������� ( ���� � ��� "�#�

12)#*( I13I!"� �I �

�!!$ D���� ����� P �� ?���� ��� N���� A����� ��� �� � ��� � ������� ������ ��������� �����

��� �( ��� ��������� ������� ��� ���� 7� %������� ��� / 0�� � � .�������� � ������� ��

%�� "�������� �� 1.�%"2� ����� �4I3� "� 7/7F� P���� �II �

�!1$ P�'� A� K �� ��� N���� 6� A����� 0 ����� ����������( ��� ��� �������� �� %��� $ ��&���

�!)1*(�53! � A� �II2�

�!#$ A���� 6��� L����� ���������� �� ��� � ��� ����� ���� �� ��� � ����� ( ����� 15)2*�

�II#�

�!2$ P ����� 6������ ���Q� +������ ��� &���� 0������ J� ���� �� ���� ���� ����� � ��� �����

�������� �������� %�� ���� � �� $ ��&�� ����� � �� $������ %���� � $ ��&�� ���������� �����

#����������� %�� ������ "�� ������ #1)�#*( #�3 2#� !""��

1#

�!4$ A�� 6����� � ��� ������� ) ���� ����� � ������ �� �������� ����������� �� � �� ��� �����

� ��� �������� � ���� � F�B ������� H������� � A�������� ��� �� � A7� �I5I�

12