Top Banner
24

Data Flow Testing 1

Dec 25, 2015

Download

Documents

Data flow testing . Source: www.google.com
Welcome message from author
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
Page 1: Data Flow Testing 1

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

������� � ��!#" $&%'�(�)*�,+.-�/ 01��2435/ %7698;:=<>2�/ ?@8A-*�CBD(�"FE@3G8D-CB <>2H/ ?@8A-*�� -FIJK�GLM/ 0N!#" $&%'�(�)*�,+.-�/ 01��2435/ %7698;:=<>2�/ ?@8A-*�CBD(�"FE@3G8D-CB <>2H/ ?@8A-*�

O&PRQTSVU�WRXZY[S7YM\7S7]_^*`aS7YMbdc*^*]_e�f*YM\�WRXZY�g*YM\Z]_`5^*YMghS7P>Yji&Y'bMf1S7YkWal*XZP5`5XZWRmnP5^�Wk\7YMSoPRQCS7YM\7S=bGWR\7YM\oS7cFW�Sol*XZP'p1]_g1Y\Zf&q�bM]_Y'^@S#bMPGp@YMXdWR`5Y�f*^*g1Y'X.\7P5m�Y>\Zl;YMbM] rFb>UsYMt_t uVg*YjrF^*YMgvSZYM\�SabMPGp@YMXZWR`5Y�b'X7] SZYMX7]_P5^ whx�^*YaQyP5XZmzPRQsSZYM\�SZ]_^*`]_\ogFW�SdW�{FP'U|S7YM\7S7]_^*`�Uoc*]_bdc}]_\=WR]_m�Y'g�W�S[Yji&Y'X7bM]_\Z]_^*`�\7SZW�S7]_bGWRt_t ~hg*YjS7Y'bjS7YMg9g*YjrF^1] SZ]_P5^1u�f*\ZYkWR\Z\7P&bM]�W�S7]_P5^*\[]_^W�l*X7P5`5XdWRm�w���gFW�SZW�{FPGU��*WR\ZYMg9S7YM\7Skb'P'p@YMXdWR`5Y�bMXZ] S7Y'X7]_P5^9bZcFWRXdWRbjS7Y'X7]_�MY'\aW�m�]_^*]_m�WRtD\ZYjS#PRQ�g*YjrF^*] S7]_P5^1uf*\7Y�WR\Z\7P&bM]�W�S7]_P5^*\>S7cFW�S�maf1\7S>�;YhYMi&YMXZbM]_\ZYMg��@~,SZc1YhS7Y'\�S�b'WR\ZYM\��;YjQ4P5X7YhS7c*YhS7YM\7S7]_^*`NPRQ=SZc*Yhl*XZP5`5XZWRm�]_\bMP5^*\Z]_g1Y'X7YMg�S7PN�;Y�bMP5m�l*t_YjS7Y5w��V^�SZc1]_\�bdcFWRl1S7YMX�UKY�g*YM\ZbMXZ]_�;Y�p5WRXZ]_P5f1\�gFW�SdWv{FPGU��FWR\ZYMg�SZYM\7S�bMP'p@Y'XZWR`5YbMXZ] S7YMXZ]�W�WR^*gvg*YM\ZbMXZ]_�;Ya\7P5m�YkbMP5m�m�P5^*t ~�f*\ZYMgv\7S7XdW�S7YM`5]_YM\.QyP5X�S7YM\7S7]_^*`�W�l*XZP5`5XZWRm�f*^*g*YMX[S7c*YM\ZY�bMXZ] S7YMXZ]�W1w�V^aP5X7g*YMXCSZP[b'WRX7X7~.P5f1SASZYM\�SZ]_^*`*�5S7YM\7SAb'WR\ZYM\�WRXZYKX7Y'e�f*]_X7Y'g�wC�9Y�WRt_\7P�g*]_\7bMf*\Z\CS7c*YoWRl*l*XZP@WRbZc*YM\�QyP5XC`5Y'^1Y'XZW�SZ]_^1`S7Y'\�S�b'WR\7Y'\o]_^*bMt_f*g*]_^1`aSZc1Y']_X�m�WR^�fFWRt `5YM^*YMXZW�SZ]_P5^}WR\�UsYMt_t�WR\=WRf1S7P5m�W�SZ]_b�`5YM^*YMXZW�SZ]_P5^ w

����� �[(�J����>+[�o( � ������D�4�y���G�D� �&¡N¢A�y£F¤�¡,��¥ �v£;¦�§G¤�§'�G�&¡ ¨F�G��©,ªC�&§G�4«�¥�¨;¥Aª¬ªC�&­��&�y£�¢D¡,��¥ �}¢D®�¨�©5���4©��&§�®��&§G¯D�T�R§}�4¥�4¥A©@®��&¨�§'�4¥D«��4¤�®����4��¨;°D�4�±§G£;¦V�M²>¨;®���³A§G£�¡,�v�&®G®�£�®R§�¨;®��±§'�G�4�y���4�y´����4¤���£�°��9¢D®��&§G��¥ ���4¥µ�G�D�N§'£�¦V�'¶²>¨;®���·�¸>�D�v«�£�¨��o£;¦[���&§'�G�4¥D«���§���£��@¹C¢º£�§G�v�D��ªDªC�&¥»��®�®G£�®�§�° ¤��@¹C�&®�©��4§G�y¥A«,�G�D�N§'£�¦V�M²a¨�®G�}£�¥¨,§'����£;¦��G�1§M��©&¨�§G�&§&·�¼j¥�y��§�§G�4¡N¢A�y�1§M��¦H£�®G¡³D¨N�G�1§M��©&¨�§G��©�£�¥A§G��§M�R§>£;¦[¢D®G£�«�®R¨;¡½�4¥D¢D¯C�R§�¨;¥�ª©@£�®G®��&§G¢º£�¥AªC�4¥D«,�@¹C¢º�&©@�G�&ª»£�¯C��¢D¯C��§&·h¾h¥A©��}�G�D�N§'£�¦V�M²a¨�®G���A¨�§�§G¯A©�©��&§�§M¦H¯A�y�4¤¿«�£�¥D�v�G�D®�£�¯D«���G�A�#���&§'�G�4¥D«h¢A�A¨�§G��³F²a�k��¨*­��k¨h«�®��&¨;�G�&®=ªC�&«�®����#£�¦�©@£�¥CÀ�ªC�&¥A©@�a�4¥v�G�A�a§G£;¦V�M²>¨;®���Á §�®����4�4¨�°D�4�y�y�M¤�·Â £;¦V�M²>¨;®������&§'�G�4¥D«9��§a­��&®G¤,��¨;°º£�®a�y¥ �G�&¥A§G�y­���¨�¥Aª��D�&¥A©@��¨;��§G£±�@¹C¢º��¥A§G�4­���·[¼d��©�¨�¥¿¨�©&©@£�¯D¥ �

¦H£�®±Ã�Ä ÅÆ£�¦k���D�,�G£���¨��#©@£ §M�}£;¦�§G£;¦V�M²>¨;®��NªC�&­��&�y£�¢D¡,��¥ ��Ç È;ÉZ·�¸>�A��®��@¦H£�®��9�G£�£���§��G��¨F�±¨;¯D�G£;¶¡ ¨F����£�¥D�>£�®#¡N£�®G��¨�§'¢º�&©@��§[£;¦º�G�1§M���y¥A«v©�¨;¥,«�®G�1¨F�G�4¤}�D�&�y¢ �4¥,¡,¨�¥A¨;«��y¥A«����D��£F­��&®�¨��y��©@£ §M�.£�¦�G�1§M���y¥A«A·�¸o�1§M���y¥A«v�G�1©R�D¥D��Ê ¯D�&§a©�¨�¥�°��h°D®�£�¨�ªD�y¤,©@��¨�§�§'�yÀA�1ª,�y¥ �G£±�M²k£N©�¨;�G��«�£�®��y�1§�³&ËRÌCͺÎ�Ï7Ð�Ñ;ͺÒFÓ¨;¥�ª¬Ô5Ï7Õ5ÌAÎ�Ï7ÌCÕ�ÒFÓ�·�ÖA¯D¥A©5���y£�¥A¨;�=�G�1§M���y¥A«���§h©�£�¥A©���®�¥D�&ª²��y�G�µ¦H¯A¥A©5���y£�¥A¨;�4�T�M¤®R¨F���D��®��G�A¨�¥»�y¡N¶¢D�4��¡,��¥ �R¨F�G�4£�¥9£;¦D���D�>¢D®�£�«�®R¨;¡·�¸>�D�&®G��¦H£�®��#�y���y¥�­�£��y­��&§o�@¹C��®R©@��§'�4¥D«�ªC�T×K��®���¥ �[�y¥A¢D¯C��£�¯C��¢D¯C�©@£�¥AªC�y�G�4£�¥A§&·  �G®�¯A©5��¯D®�¨��s�G�1§M���y¥A«��4§�©@£�¥�©@��®�¥D�1ª¿²��y�G����&§'�G�4¥D«,�G�A�v�y¡,¢D�4��¡,�&¥��R¨F���y£�¥µ£;¦��G�D�¢D®�£�«�®�¨�¡½° ¤��@¹C��®R©@��§'�4¥D«,ªC�y׺�&®G�&¥���¢A®G£�«�®R¨;¡,¡,�y¥D«N§M��®G¯�©5�G¯A®G�1§>¯A§'�1ª�° ¤��G�D�}¢D®�£�«�®�¨�¡·¸>�D�v¢D®��y¡ ¨�®G¤ ¦H£C©�¯A§�£;¦[���D�4§�©R�A¨;¢C����®���§�§'�G®�¯A©5��¯D®R¨;�s���&§'�G�4¥D«A·aØk��¦H£�®��}²k�vªD�4§�©@¯A§�§�§'�G®�¯A©5¶

�G¯A®�¨������&§'�G�4¥D«N�y¥¿«�®��&¨F����®aªC�@�R¨;�4�7³��4�@��¯A§a�4ªD��¥ �G�y¦H¤,�G�D��´��&¤�¨�§G¢��1©5�R§#£�¦=¨9§'�G®�¯A©@�G¯D®R¨;���G�1§M���y¥D«§'�G®R¨F�G�&«�¤�·

ÙµÚ�Û ÒFÏaÐ�Ô}Ï ÛAÜ Ë@Ñ;Õ5ÝÞÑMË�Ï Ü Ô5Ï#Õ Ü�ß ÌCÐVÕ Ü Ý Ü ÍAÏ7Ô�à�á�v¡±¯A§'����ªC��¥ ���T¦H¤§'¢º�&©��TÀº©�¢D®G£�«�®R¨;¡â�&¥ �G�y�G�4�&§��4¥��G�&®G¡ §�£�¦�²��A�4©R����D��Ï Ü Ô5ÏaÕ ÜRß ÌCÐVÕ Ü Ý Ü Í�Ï�Ô£;¦v¨¬¢D®�£�«�®�¨�¡ã©�¨�¥ä°º�|§'��¨;�G�&ª�·å���D�&¥��G�D�|¢D®G£�«�®R¨;¡ã��§ ®�¯D¥�£�¥�¨á���&§'�¿©�¨�§'��³k²a�»©�¨�¥¨;¥�¨;�4¤ æ&��G�D�|¢D®G£�«�®R¨;¡Á §,�@¹C�&©�¯C�G�4£�¥ä�G£nªC�@����®�¡N�4¥D�µ���D�|§G�@��£�¦��G�&§'��®��&Ê ¯D�4®G�&¡,��¥ ��§,���A¨F�¨;®��N�@¹C��®R©@��§'�1ªµ°�¤µ�G�A�9���&§'�v©�¨�§G��·  £�¡,�N�@¹D¨;¡,¢D�4�&§�£�¦#�G�1§M�}®��&Ê ¯D�4®G�&¡,��¥ ��§�¨;®���çh¢D®�£�«�®R¨;¡§'��¨F����¡,��¥ �R§�³C¢D®�£�«�®�¨�¡½¢A¨F���A§&³DªC�@ÀA¥A�T���y£�¥C¶Z¯�§'�v¨�§G§G£C©@��¨F�G�4£�¥�§�³C¨;¥�ª¿ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�}¢A¨F���A§&·

Ù�è Ñ;é�Ý9ÌAÎ Û Ï Ü ÔRÏZÐVÍ ê�Ð�Ô Ü ÍKÑFÌ�ê Û à�á�}¥D���1ª���£�ªC�@����®�¡,�y¥D�}²��A��¥��G�D�v�G�&§'�G�4¥D«,¢D®�£C©@�&§�§>�A¨�§�°��&��¥µ©@£�¡,¢D�y���G�1ªs·#ÖD£�®>�G�D��§�¢D¯A®'¶ëTìsí7î'îMïHíZðVñ5òFójïAô1ìZõ�îMö ÷ ïHðFø�ïHù4ö údûKü�íZûMýMþ'ìZìdÿ�����îMëyö õ�ö �Hí7ëyö ìZûMù�í7û'ý��sí���óMö ûjïAô1ìjýjï�ïHûjïHðTí7ëyö ìZû

Page 2: Data Flow Testing 1

� �

¢º£�§G�v²k�vªD�@ÀA¥D��Ï Ü Ô5Ï�ÎRÑ�� Ü ÕGÒ�ê Ü Î�Õ5ÐVÏ Ü Õ5Ð�ÒF·�� ���&§'�h©@£F­���®R¨;«���©�®G�y�G�&®G�4£�¥µ§G¢��1©@�yÀA�&§h¨ ¡,�y¥D�4¡ ¨;�§G�@�,£;¦����&§'�N®��&Ê ¯D�4®���¡,��¥ ��§±�G��¨F� ¡±¯A§'�,°��µ©@£��y�4�&©@�G�4­��&�y¤¬�@¹C�&®�©��4§G�&ª ° ¤¬���D�¿�G�&§'��©�¨�§'�1§±£�¥²��D��©R�����D�¿¢A®G£�«�®R¨;¡ �4§9�@¹C�&©�¯C�G�1ª ªC¯A®G�4¥D« �G�D�¿�G�1§M���y¥D«á¢D®�£C©@�&§�§&·��h��¢º��¥AªD�y¥D«á¯D¢º£�¥ �G�D�©@®��y�G��®��4£�¥�³º¨ ¡,�y¥D�4¡ ¨;�[§'���h£�¦����&§'�h®��&Ê ¯D�4®G�&¡,��¥ ��§�¡ ¨*¤�£�®h¡,¨*¤�¥D£���°��9¯D¥D��Ê ¯D��·�¸>�A�v�G�1§M�©@®��y�G��®��4£�¥ ¨��4§G£��D���4¢A§�¯A§�«�¯D�4ªD�9���D�,�G�1§M���y¥A«�¢A®G£C©@�1§G§&·��a�v¨�¥ ¤|¢�£��y¥ �vªC¯D®��y¥A«����D�,�G�1§M���y¥D«£;¦�¨¢D®�£�«�®�¨�¡³o£�¯A®v«�£ ¨;����§}�G£|®G¯D¥á���D��¢D®�£�«�®�¨�¡ £�¥¬���&§'�9©�¨�§'�1§��G�A¨;�±�@¹C�&®�©��4§G�,�G�1§M�±®��@¶Ê ¯D�4®G�&¡N�&¥ ��§����A¨F��¨;®��}¤��@�h�G£�°º�±©�£F­���®��&ª�°�¤¨;¥�¤�£�¦����&§'��©&¨�§G�&§>���A¨F���A¨*­��v¨��y®��&¨�ªC¤�°º����¥�@¹C�1©@¯C���&ªs·

ÙµÚ�Û ÒFÏaÐ�Ô}Ï ÛAÜ Ï Ü ÔRÏZÐVÍ ê Ô5Ï7ÕGÒ;Ï Ü êKà¸k¤ ¢A�4©&¨;�4�y¤äÀA®R§M�áÌCÍAÐVÏ,Ï Ü Ô5ÏZÐVÍ ê �4§¿��¡,¢D�4£F¤��1ª��G£n�G�1§M�µ¨;�4�h�G�D�á¡,£�ªD¯D�y�1§��y¥z�G�D�á¢D®�£�«�®R¨;¡�4¥AªC�4­ ��ªC¯A¨��y�4¤h¨�¥Aª��G�A��¥ ÐVÍAÏ Ü ê;Õ�ÒFÏZÐ�ÑFÍNÏ Ü Ô5Ï7ÐVÍ�ê[�4§���¡,¢D�4£F¤��&ªh��£>�G�&§'�����D�.�4¥�����®G¦�¨�©��&§s¨;¡,£�¥D«a�G�D�¡,£CªC¯D�4�&§&·=¸>�D�&®G�#¨�®G�.ªD�T×K��®���¥ �=²>¨*¤C§K�G£�£�®�«�¨;¥A�yæ&�=���D�#�4¥ �G�&«�®R¨F�G�4£�¥����&§'�G�4¥D«�¢D®�£C©@�&§�§&·����D�4�y��4¥D�T���4¨��y�4¤ ¨á¢D®�£�«�®�¨�¡ �4§}ËRÌCÓVÓ�¿�G�1§M���&ªs³>ªC¯D®��4¥D«á�G�D�µ¡ ¨;�4¥ �G�&¥A¨;¥A©��µ§M�R¨;«��1§N£;¦�¨á¢D®�£�«�®�¨�¡³Õ Ü ê�Õ Ü ÔRÔ5Ð�ÑFÍäÏ Ü Ô5ÏZÐVÍ ê,���&©R�D¥A�4Ê ¯D�1§±¨;®�� ��¡,¢D�4£F¤��1ª �G£»��¹��&®�©��4§G� £�¥A�y¤ �G�D���G�1§M�±®��&Ê ¯D�4®���¡,��¥ ��§�G��¨F� ¨;®����y¡,¢A¨�©5���&ª�°�¤á�G�A�¿¢D®�£�«�®�¨�¡ ©R��¨;¥D«��&§&· Ö��y¥�¨;�4�y¤¬���D�¿«���¥D�&®�¨;�G�4£�¥�£�¦��G�&§'� ©�¨�§G�&§®��&Ê ¯D�4®G�1ª¬�G£|�G�&§'� ¨»«��4­��&¥�§'���N£�¦��G�1§M�,®G�1Ê ¯D�y®���¡,�&¥��R§9©&¨;¥�°º�©�¨;®�®��y�1ª¬£�¯C��Ý,Ò;ÍAÌAÒFÓVÓ��£�®§G£�¡,��ÒFÌCÏjÑFÝ ÒFÏZÐ�Îa�G�1©R�D¥D��Ê�¯A�&§�©&¨;¥�°��}�&¡N¢A�y£F¤��&ªs·¸>�D��®���¨;®������D®G�&���M¤�¢º�&§k£;¦o§'�G®�¯A©5��¯D®�¨��D���&§'�G�4¥D«v���&©R�D¥D��Ê ¯D�&§&ç�Î�Ñ;ÍAÏZÕGÑFÓ� �ÑFé��RÒ*Ô Ü�� ���&§'�G�4¥D«A³

� Ò;ÏdÒ� >Ñ;é���ÒFÔ Ü�� ���&§'�G�4¥D«A³>¨;¥�ª�ÝNÌCÏdÒ;Ï7Ð�Ñ;Í ���&§'�G�4¥D«A·��k£�¥���®G£�����£F² °A¨�§'�1ª��G�1§M��©�£F­��&®�¨�«��©@®��y�G��®���¨ �@¹C¢D®��&§�§����&§'�G�4¥D«�®��&Ê ¯D�4®���¡,��¥ ��§��y¥|�G�&®G¡ §h£;¦.���D�±¥D£CªC�1§�³K�1ªC«��1§�³K£�®h¢A¨F���A§��y¥»�G�D�¢D®�£�«�®�¨�¡ ©�£�¥ �G®�£����A£F² «�®R¨;¢D�o·�¸>�A�ªA¨F��¨��A£F² °A¨�§G�&ª �G�1§M��©�£F­���®R¨;«��¿©�®G�y�G�&®G��¨|��¹C¢D®G�1§G§�G�1§M���y¥A«|�4¥��G�&®G¡ §9£;¦�ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�¿¨�§G§G£C©@��¨F�G�4£�¥�§v¢D®��&§G��¥ �±�4¥����D�¿¢A®G£�«�®R¨;¡·��µ¯C�R¨F���y£�¥�G�1§M���y¥A«�°º��«��4¥A§h°�¤�©�®G�1¨F�G�4¥D«�¡9¯C��¨�¥ ��§h£;¦[�G�D�N£�®��4«��4¥A¨;��¢A®G£�«�®R¨;¡ ²��A�4©R�|¨�®G�±£�°C�R¨;�4¥D�&ª°�¤¡ ¨;´��4¥D« §'�4¡,¢D�y�v©R��¨;¥D«��&§a�G£,���D�}£�®��4«��4¥A¨;�K¢D®�£�«�®�¨�¡�·�¸>�D�v©R��¨;¥D«��&§>¡ ¨�ªC����£,�G�D�}£�®G�4«��4¥A¨;�¢D®�£�«�®�¨�¡ ©@£�®G®��&§G¢�£�¥Aª±�G£}¡,£�§'�#�4�y´����4¤±��®�®�£�®R§��G�A¨;�#©@£�¯A�4ª,°º��¢D®��&§G��¥ �&·[¸>�D��«�£�¨��C£;¦K�G�1§M���y¥D«��§��G£µ��¹��1©@¯C���,�G�D��£�®��y«��y¥A¨��[¢D®G£�«�®R¨;¡Þ¨�¥Aªá�T�R§}¡±¯C�R¨;¥ ��§v£�¥á�G�1§M�±©&¨�§G�&§��G��¨F�9ªC��§'�G�4¥D«�¯D��§G��G�A��¡ ¦H®�£�¡ �&¨�©R�»£;���D��®1·h���A�y�4�±���D�9¦H£�©�¯A§�£;¦����D�4§�©R�A¨�¢C�G�&®h��§h£�¥ � ÒFÏjÒ� >Ñ;éåÏ Ü ÔRÏZÐVÍ ê�³K²k�¨;��§G£N°A®G�4���A¤¿©@£�¡,¡,��¥ ��¯D¢º£�¥�ÎRÑFÍ�Ï7ÕGÑ;Ó �ÑFé�Ï Ü Ô5ÏZÐVÍ êh¦H£�®�©@£�¡,¢A¨�®G��§G£�¥�¢A¯D®G¢º£�§G�&§&·¸>�D��§'�G�&¢A§9£;¦����D��ªA¨F��¨ �A£F² �G�1§M���y¥D«¬¨;®��¿§G¯D¡,¡ ¨;®��yæ&�&ª¬�4¥nÖ��4«A·"!�·#�â���&§'�,©�£F­��&®�¨�«��

©@®��y�G��®��4£�¥ä�4§�©R�A£�§G��¥�¨;¥Aªn���&§'��©�¨�§G�&§ ¨�®G�«���¥D�&®�¨;�G�&ª �G£�¨�ªC�&Ê ¯A¨;�G�&�y¤ �G�&§'� �G�A�»¢D®�£�«�®R¨;¡¯D¥AªD��®��G�D� §G���4�&©@�G�&ªá©@®��y�G��®��4£�¥�·}���D�&¥|���D�N�G�1§M�v©@£F­���®R¨;«��v©@®��T����®��y£�¥»�4§}§�¨F���4§'ÀA�1ªs³K�G�1§M���y¥D«�G�&®G¡,�4¥A¨F���&§&·h¼d¦#�G�D�N¢D®�£�«�®R¨;¡ £�¯C��¢D¯C�}ªC�y׺�&®�§h¦H®�£�¡Æ�G�D�N�@¹C¢º�&©@�G�&ª|£�¯C��¢D¯C��¦H£�®�§'£�¡,�v�G�1§M�©�¨�§'��³��G�D�}¢A®G£�«�®R¨;¡ �4§�ªC��°D¯A«�«��1ª¿¨�¥Aª¿¡N£CªC�yÀA�1ª�¨�¥Aª¿�G�D�&¥��G�&§'�G�4¥D«,®��&§G¯D¡,�&§&·

Select/Generate

A Test Input

Execute Program

On Test Input

ProgramOutputCorrect?

Is Test

CriterionSatisfied?

MarkNewly TestedRequirements

Yes

No

No

Yes

Debug Program

TestingComplete

$ ]_`*w&%5w�'oc1Y('CY'\�SZ]_^1`")ºX7P&bMYM\Z\'w

Page 3: Data Flow Testing 1

� �¸>�D�}®G�&¡ ¨;�4¥AªC��®�£;¦��G�D��§�©R�A¨�¢C�G�&®��4§�£�®�«�¨;¥A�yæ&�&ª�¨�§a¦H£��4�4£F²�§�·.¼j¥»§G�&©@�G�4£�¥��N²k�}�4¥ �G®�£CªC¯A©@�

�G�A��­F¨�®G�4£�¯A§±�G�1§M� ©@£F­���®R¨;«���©@®��T����®��4¨ ¨;�4¡,�&ª ¨;�N��¹C��®R©@��§'�4¥D«»���D�¢D®�£�«�®R¨;¡Á §±©�£�¥ �G®�£�� �A£F²¨;¥�ª�ªD¨;��¨ ��£F²�©R�A¨;®R¨�©@�G��®���§M���4©&§�·�¼j¥¿§G�&©@�G�4£�¥��9²k��ªC��§G©�¯A§G§>©�£�¡,¡,£�¥D�4¤,¯A§'�1ª�§'�G®R¨F����«��4�&§.¦H£�®©@£�¡,¢D�y���G� ���&§'�G�4¥D«»£�¦�¨»¢D®G£�«�®R¨;¡ ¯D¥�ªC��®N¨»ªD¨F�R¨ �A£F² °A¨�§G�&ª ���&§'�G�4¥D«|©@®��y�G��®��4£�¥�·�¼j¥ §G�&©5¶�G�4£�¥��N²k��ªC�&§�©@®��4°���®G�&«�®��&§�§'�4£�¥,���&§'�G�4¥D«N�G�1©R�D¥D��Ê�¯A�&§k�G�A¨;��¨;®�����¡,¢D�4£F¤��1ª�¨;¦V�G��®�¨9¢D®�£�«�®R¨;¡©R�A¨�¥D«��9�4§�¡ ¨�ªC�,ªC¯D®��4¥D«¿¢A®G£�«�®R¨;¡Æ¡,¨��y¥ ����¥A¨�¥A©@��·±¸>�D�9�G�&§'�}�y¥A¢D¯C�}«��&¥D��®R¨F���y£�¥µ¢D®G£�°D�4��¡��§�©@£�¥�§'��ªC��®��&ª��y¥§'�1©5���y£�¥�ÃC·[�á��°D®G�4����¤�ªC�&§�©@®��4°���§'£�¡,��¨�¢D¢D®�£�¨�©R�A�&§���£ ¨;¯C��£�¡ ¨F���y¥D«9�G�1§M�©�¨�§'��«���¥D�&®�¨;�G�4£�¥�· �k£�¥A©��y¯�ªC�y¥A«N®���¡ ¨�®G´C§>¨;®���«��4­���¥��4¥�§G�&©@�G�4£�¥µÈD·�A� (��C(���� ���sJº<�!��µ�.J � (��sJ � <�Æ�G�1§M��©�£F­��&®�¨�«���©�®G�y�G�&®G�4£�¥n�4§ ¯�§'�1ª���£¬ªD�@�G�&®G¡,�4¥D�µ²��D���G�D�&®�¨ ¢A®G£�«�®R¨;¡ �A¨�§,°��&��¥�¨�ª�¶�&Ê ¯A¨;�G�&�y¤ä�G�1§M���&ªs·½¼d�»§G¢��1©@�yÀA�&§��G�A�á¡,�4¥D�4¡,¨��}§'����£�¦v¢D®G£�«�®R¨;¡ ��¥ �G�y�G�4�&§¿���A¨F�¡±¯A§'�°��©@£��y�4�&©@�G�4­��&�y¤v��¹C��®R©@��§'�1ª9°�¤±�G�D�����&§'�k©�¨�§'�1§[£�¥,²��D��©R�N�G�D��¢A®G£�«�®R¨;¡���§��@¹C�1©@¯C���&ª ªC¯D®��4¥D«��G�D��G�1§M���y¥A«�¢D®�£C©@�&§�§&·���y­���¥|¨�§'���h£;¦����&§'��©&¨�§G�&§&³�°�¤��@¹C�&©�¯C�G�4¥D«����D�±¢A®G£�«�®R¨;¡ £�¥µ�G�A£�§G�v�G�1§M�©�¨�§'�1§�³s¨�¥Aª»��¹C¨�¡,�y¥D�4¥D«��G�D�N¢A¨F���A§h¦H£��4�y£F²a�&ª|ªC¯D®��y¥D«��G�D�,¢D®�£�«�®�¨�¡Á §���¹C�&©@¯D�G�4£�¥A§&³s²k�N©�¨�¥ªC���G��®�¡,�y¥A�}²��D�@���D��®�£�®�¥D£;��¨,«��4­��&¥����&§'��©@£F­��&®�¨�«���©@®��T����®��y£�¥���§�§G¨;�G��§MÀ��&ªs·�A�y� �s8A-&%52�8D���A� 8��å�s8�01��2������v��2�/ %M�;2�/ ���§G�y¡,¢D�4�>¦H£�®�¡ £�¦K§'�G®�¯A©5��¯D®R¨;���G�1§M�#©�£F­��&®�¨�«��k©�®G�y�G�&®G��¨�¨;®��>°A¨�§G�&ªN¯D¢º£�¥N�G�A��©R�A¨;®R¨�©@�G��®���§M���4©&§£;¦±�G�D�á¢D®�£�«�®R¨;¡ ©@£�¥���®G£����A£F² «�®�¨�¢D��· ¸>�D� �G�&§'�µ©@£F­��&®�¨�«��µ©@®��y�G��®���¨��4¥A©@�4¯AªC�1ª��4¥��G�A�4§©�¨;�G�&«�£�®�¤�¨;®���ç

Ù� ÓVÓ��jÍKÑ ��Ü Ôv���&§'��©@£F­���®R¨;«��¿©@®��T����®��y£�¥�®G�1Ê ¯D�y®��&§9���A¨F� �&¨�©R� ¥D£CªC��4¥ä�G�D�µ©@£�¥ �G®�£����A£F²«�®R¨;¢A��°º�}�@¹C�&©�¯C�G�1ª¿°�¤�§G£�¡,���G�1§M��©&¨�§G��·�¸>�D�&®G��¦H£�®����y����§�¨;��§'£ ©�¨��y�4�&ª|Ô5ÏdÒ;Ï Ü Ý Ü Í�Ï#Ï Ü Ô5ÏZÐVÍ ê�·

Ù� ÓVÓ�� Ü�� ê Ü ÔN���&§'�¿©@£F­���®R¨;«���©�®G�y�G�&®G�4£�¥�®��&Ê ¯D�4®G�1§N�G�A¨;�¿�1¨�©R���&ªC«��»�4¥��G�D�á©@£�¥ ��®G£�� �A£F²«�®R¨;¢A��°����G®R¨*­���®R§G�&ªáªC¯D®��y¥D« §'£�¡N��¢D®G£�«�®R¨;¡ �@¹C�&©�¯C�G�4£�¥�· ¸>�D�4§±¦H£�®�¡ £;¦��G�1§M���y¥A«»�4§N¨;��§G£©�¨��y�4�&ª ��ÕGÒFÍKÎ Û Ï Ü Ô5ÏZÐVÍ ê>°º�&©&¨;¯A§G���1¨�©R�N°D®�¨�¥A©R�,£�¯C�R©@£�¡N����§.��¹C��®R©@��§'�1ª±¯D¥�ªC��®#�G�D��§#©�®G�y�G�&®G�4£�¥�·�.¨;®��4£�¯A§�­*¨�®G��¨F���y£�¥A§�£�¥�°D®R¨;¥A©R�����&§'�G�4¥D« ��¨*­��»°º���&¥z¢D®�£�¢º£�§G�&ªä��£ ®��y«�£�®�£�¯A§G�y¤ �G�1§M�¿�G�D�°D®R¨;¥A©R��¢A®G�1ªC�4©&¨F���&§»Ç !��;ÉZ·�¸>�D��ÒFÓVÓ�� Ü�� ê Ü Ô�©@®��T����®��y£�¥�§'¯A°A§'¯A¡N�1§ ���D�äÒ;ÓVÓ��j꼄 ��Ü Ô�©@®��T����®��y£�¥°º�&©�¨�¯A§G�¿�y¦�¨��y�>�1ªC«��1§9�4¥n�G�D� �A£F²â«�®�¨�¢D�n¨�®G�¿�@¹C��®R©@��§G�&ª�°�¤����D���G�1§M��©�¨�§'�1§�³.�G�D�&¥n�y� �4§«�¯�¨;®R¨;¥ �G�&�&ª,���A¨F�±ÒFÓVÓ��j꼄 ��Ü Ôa¨;®���¨;��§'£N�@¹C��®R©@��§G�&ª�°�¤,���D���G�&§'��©�¨�§'�1§����D£F²a��­���®1³����D��®G�&­��&®�§G���§>¥D£;����®G¯D��·

Ù� ÓVÓ����AÒFÏ Û Ô�©@®��T����®��y£�¥9®��&Ê ¯D�4®��&§��G��¨F�.��­���®�¤¿ÎRÑFÝ��ºÓ Ü Ï Ü �AÒFÏ Û! �7· ��·4³ ¨�¢A¨;�G�,¦H®�£�¡ �G�D� Ü ÍAÏZÕ ¥D£CªC�µ��£¬�G�D� Ü#" ÐVÏ�¥D£CªC�|£;¦��G�D� �A£F² «�®�¨�¢D�%$N�4¥��G�D�»¢A®G£�«�®R¨;¡ã°º�µ�G�1§M���&ªs· ¸>�D��§,¦H£�®�¡£;¦±�G�&§'�G�4¥D«���§�¨��4§G£n©&¨;�4�y�1ª&�AÒFÏ Û Ï Ü Ô5Ï7ÐVÍ�ê;· ¸>�D��ÒFÓVÓ����AÒFÏ Û Ô©@®��T����®��y£�¥z§'¯A°A§'¯A¡N�1§¿�G�D��ÒFÓVÓ��Ü�� ê Ü Ô,���&§'�¿©@®��T����®��y£�¥�·åÖA£�®�¨¬¢D®G£�«�®R¨;¡ã²��y�G���4£�£�¢A§&³a�G�D�&®G�|¡,¨*¤n°��|�y¥CÀ�¥D�T��� ©�£�¡,¢D�4�@�G�¢A¨;�G�A§&·�¸>�D��®��@¦H£�®G�µ¢A®G£�¢�£ §G¨��4§ ��¨*­��µ°º����¥z¡,¨�ªC�µ��£��y�4¡,�T���G�A�µ�G�1§M���y¥D« �G£ ¨�ÀA¥D�y�G� §G�@�£;¦>¢A¨;�G�A§&· � ¢º£�¢D¯D��¨;®v�G�&©R�A¥D�4Ê ¯D�,���A¨F�}¦�¨��y��§}�4¥á�G�D��§±©&¨F�G�&«�£�®G¤µ��§ �»©��a¨;°º��Á §�°A¨�§G�4§v¢A¨F����G�1§M���y¥A«µ�G�1©R�D¥D��Ê�¯A��·¿¸>�A�4§v�G�&©R�A¥D�4Ê ¯D� ®��&Ê ¯D�4®��&§}¨µ§G�@�±£�¦a¢A¨;�G�A§v�G£µ°º� �G�1§M���&ªá���A¨F�9©�£F­��&®¨;�4�º�G�D��°D®R¨;¥A©R�A�&§.�4¥¿�G�D��¢D®�£�«�®R¨;¡·�¸>�D��®��@¦H£�®G��³ �»©��a¨;°º��Á §a°A¨�§G�4§k¢A¨;�G�����&§'�G�4¥D«9�G�&©R�A¥D�4Ê ¯D�¢D®�£F­��4ªC�1§a�@¹D¨�©@�G�4¤ �G�D�v§�¨;¡,�}©@£F­���®R¨;«��h¨�§a���D��ÒFÓVÓ�� Ü�� ê Ü Ôa�G�&§'��©@£F­���®R¨;«���©@®��T����®��y£�¥�·ÖD®�£�¡ã�G�D�»¨�°�£F­���ªC�1§G©�®G�4¢C���y£�¥A§,£;¦h�G�D����D®G�&�µ©@®��T����®��y£�¥n�y���4§ ©��y�1¨;®,���A¨F� ���D�µªC��«�®G�&��£�¦�G�1§M���y¥A«±¢º��®G¦H£�®�¡N�1ª ªC�y׺�&®�§.¦H®G£�¡ £�¥D�����&§'�k©@®��T����®��y£�¥,�G£±¨�¥D£;���D��®1·[¸>�D�NÒ;ÓVÓ��j꼄 ��Ü Ô#©@®��T����®��y£�¥¢º��®G¦H£�®�¡,§9���D�¿�4�&¨�§M� ¨;¡,£�¯D¥ �N£�¦��G�1§M���y¥D«�¨�¥Aª���§N¥D£;� ©@£�¥A§'��ªC�&®G�1ª��@×K�&©@�G�4­����y¥ä�@¹C¢º£�§G�y¥A«¦�¨;¯A�T�R§[°��1©�¨;¯�§'�>�y��ªD£ �1§[¥D£;�.§G¯('�©@�4��¥ �G�4¤v��¹��&®�©��4§G�#�4¥ �G�&®�¨�©5�G�4£�¥�§=°º�@�M²a���&¥N§'��¨;�G�&¡N�&¥ ��§&·�¸>�D�ÒFÓVÓ����DÒ;Ï Û Ô>©�®G�y�G�&®G�4£�¥��4§>­���®�¤�§'�G®��y¥D«���¥ �>°D¯C���y���4§>�4¡,¢D®R¨�©5���4©&¨;�K¦H£�®�®G�1¨;�4�4§'�G��©�¢D®G£�«�®R¨;¡ §&·

Page 4: Data Flow Testing 1

� �

�A� � ���1%'� �D� 8��å��8;0*�;2V�����±��2H/ %M��2H/ ���¨F��¨ �A£F²����&§'�G�4¥D«�²a¨�§��4¥ �G®�£�ªD¯A©@�1ªµ�G£©@�4£�§G�v���D�,«�¨�¢»°����M²k�&��¥�ÒFÓVÓ�� Ü�� ê Ü Ôh¨;¥�ªnÒFÓVÓ����DÒ;Ï Û Ô©@®��y�G��®���¨ Ç !��%� ��Ã�� � �;Éd· ��¨F�R¨ �A£F²����&§'�G�4¥D«µ©@®��T����®��4¨¨;®��,¨;�4¡N�1ª ¨;�v�@¹C��®R©@��§G�y¥D«ªC��ÀA¥D�y�G�4£�¥C¶¯A§G�á¨�§G§G£C©@��¨F���y£�¥A§��4¥����D�¬¢D®G£�«�®R¨;¡· ¸>�D� ��¹C��®R©@��§'�4¥D« £�¦9¨äªC�@ÀA¥A�T���y£�¥C¶Z¯�§'�¬¨�§�§'£C©��4¨;�G�4£�¥©�¨�¥»°º�±­��y�&²k�1ª»¨�§�®G�1Ê ¯D�y®��4¥D« �G®R¨*­��&®�§�¨;�s£�¦#¨�§G���4�&©5���&ª»§G¯D°D¢�¨F�G�|²��D�4©R�|£�®��y«��y¥A¨;�G�1§�¨F���G�D�ªC��ÀA¥D�y�G�4£�¥�³A�G��®�¡,�y¥�¨F�G�1§�¨F���G�D�}¯A§G��³º¨;¥Aª���§�®��&§G¢�£�¥A§G�y°D�4��¦H£�®��1§M�R¨;°D�4��§'�D�4¥D«,���D�±ªC��ÀA¥D�y�G�4£�¥C¶¯A§G�¿¨�§G§G£C©@��¨F�G�4£�¥o· Øa�@¦H£�®G�¿�y¥ �G®�£CªC¯A©��y¥D«»�G�D�ªD¨F�R¨ �A£F²½°�¨�§G�&ª¬���&§'�G�4¥D« ©�®G�y�G�&®G��¨D³�²a��«��y­��¦H£��4�4£F²��y¥D«,®����4��­F¨;¥ ��ªC�@À�¥D�T���y£�¥A§&·

Ù�� ¨�©R�£�©&©@¯D®�®���¥A©���£�¦.¨,­*¨�®G��¨;°A�y�}£�¥�G�D�v�4�@¦V���A¨;¥�ªµ§'��ªC�}£;¦.¨�¥»¨�§�§'�4«�¥D¡,�&¥�����§�¨ ��Ü�� �ÍAÐVÏZÐ�ÑFÍ £�¦=���D��­F¨;®��4¨�°D�y�}¨�§>�T��¯D¢KªD¨;�G�&§��G�D�}­F¨;�4¯D��£;¦��G�A�}­*¨�®G��¨;°A�y��·Ù�� ¨�©R��£C©�©�¯D®G®���¥�©@��£�¦=¨9­*¨�®G��¨;°A�y��£�¥��G�D��®G�4«�� �>�A¨;¥�ª�§G�4ªC��£;¦[¨;¥�¨�§�§'�4«�¥D¡,�&¥��a�4§>©&¨;�4�y�1ª

¨µÎRÑFÝ��ºÌCÏjÒFÏZÐ�ÑFÍ|Ì�Ô Ü £�®�¨»Î �jÌ�Ô Ü ·Ù�� ¨�©R�}£C©�©@¯A®G®���¥A©��.£;¦A¨�­F¨;®��4¨�°D�y�#�y¥±¨�°�£�£��y�1¨;¥v¢D®��&ªD�4©&¨F�G�#®G�1§'¯D�y��§=�4¥±¨�¢A¨��y®=£;¦(�KÕ Ü�� Ð�ÎRÒFÏ ÜÌ�Ô Ü Ôk£�®�� �jÌ�Ô Ü Ôk©@£�®G®��&§G¢º£�¥AªC�4¥D«9�G£,��®G¯D�}¨�¥Aª¿¦�¨;��§'����­F¨��y¯A¨;�G�4£�¥A§a£�¦=���D�}¢D®��&ªC��©�¨;�G��·Ù ��¢A¨;�G� ���������� ������������������ $[��§#¨ ��Ü�� Í�ÐVÏ7Ð�Ñ;Í��'Î�Ó Ü ÒFÕ�¢A¨;�G�,¦H®�£�¡ �G�D���@¹C�T�k£;¦ � ��£}��¥ �G®�¤£;¦ � �y¦ �� ���D®�£�¯D«�� ��� ªC£ ¥A£;��©@£�¥��R¨;�4¥�¨,ªC��ÀA¥D�y�G�4£�¥£;¦��o·Ù ���4­���¥�¨}ªD�@ÀA¥D�y�G�4£�¥ £�¦����y¥ ¥A£�ªD� ��� ¨�¥Aª,¨v©5¶d¯A§G��£;¦����4¥ ¥D£CªC� ��� "!$#&% ³��G�A��¢D®��&§G��¥A©��£;¦�¨ ��Ü�� Í�ÐVÏ7Ð�Ñ;Í��'Î�Ó Ü ÒFÕ}¢A¨;�G�á¦H£�®'��¦H®G£�¡ ��� �G£ ��� "!$#&% �1§M�R¨;°D�4�4§G�D�1§��G�D� ��Ü�� ÍAÐVÏZÐ�ÑFÍ%�'Î �jÌ�Ô ÜÒ*ÔRÔ�Ñ1Î@Ð�Ò;Ï7Ð�Ñ;Í (���)����� �!$#&%�� � $5·Ù ���4­���¥ ¨�ªC��ÀA¥D�y�G�4£�¥,£;¦����4¥N¥A£�ªD� ��� ¨;¥Aª,¨�¢C¶d¯A§G��£;¦�� �y¥,¥D£CªC� �"*$ "!$#&% ³;�G�A��¢D®��&§G��¥A©��£;¦>¨ ��Ü�� ÍAÐVÏZÐ�ÑFÍ%�'Î@Ó Ü Ò;Õh¢A¨;�G� ¦H£�®+�á¦H®G£�¡ ��� �G£ �"*$ "!$#&% �&§'��¨�°D�y��§G�D�&§�¨�¢A¨;�4®�£;¦ ��Ü�� ÍAÐVÏZÐ�ÑFÍ%�� �jÌ�Ô Ü Ò*ÔRÔ�Ñ&Î�Ð�ÒFÏZÐ�ÑFÍAÔ ����,� (�"*$ "!$#&%$��- $ � � $>¨�¥Aª ����)�� (�"*$ �!�#�%���. $ � � $>©�£�®�®G�1§'¢º£�¥�ªC�y¥A«v�G£N��®G¯D�

¨;¥�ª�¦�¨��4§G�}��­F¨;�4¯A¨;�G�4£�¥A§a£;¦��G�A�}¢D®G�1ªC��©�¨F�����y¥ �"*$ "!$#&% ®��&§G¢��1©5�G�4­��&�y¤�·Ù ¸>�D� ¢A¨F���A§¿�G�D®�£�¯D«����G�D�á¢D®�£�«�®�¨�¡ ¨;�4£�¥A«�²��D��©R�zªC�@À�¥D�T���y£�¥C¶d¯A§'�á¨�§�§'£C©��4¨;�G�4£�¥A§¿¨;®��

�&§'��¨�°D�4�4§G�D�&ª|¨;®��±©�¨��y�4�&ª � Ì(���DÒ;Ï Û Ô5· � ¢A¨F��� (��$����������"/,����0 $��4§�¨ � Ì(���AÒFÏ Û ¦H£�®�­F¨�®G��¨;°D�4�1��y¦ �� ©�£�¥ ��¨��y¥A§k¨ ��Ü�� Í�ÐVÏ7Ð�Ñ;Í9£�¦���¨�¥Aª,���y�G�A��® ��0 �A¨�§a¨�Î��jÌ�Ô Ü £�¦��¿¨;¥�ª (����������2��"/,����0 $.�4§��Ü�� Í�ÐVÏ7Ð�Ñ;Í��'Î�Ó Ü ÒFÕhÔ5ÐVÝ �KÓ Ü �AÒFÏ Û ¦H£�®3� �7· ��·4³C¨vªC�@À�¥D�T���y£�¥C¶j©@�4�&¨;®#¢A¨F����²��T����¨;�4�A¥A£�ªD�&§&³���¹C©���¢C�¢º£�§�§'�4°D�4¤9���D�hÀA®�§'��¨;¥Aª��4¨�§M�1³�°º���4¥D«,ªC�4§'�G�4¥A©@� $k£�® �"/ ��§k¨ � �jÌ�Ô Ü £;¦��¨;¥Aª (��$����������"/ $.��§k¨��Ü�� Í�ÐVÏ7Ð�Ñ;Í��'Î�Ó Ü ÒFÕNÓyÑ1Ñ � ��ËRÕ Ü�Ü �DÒ;Ï Û ¦H£�®4� �7· ��·4³s¨�ªC��ÀA¥D�y�G�4£�¥C¶j©@�4�&¨�®�¢A¨;�G�»�4¥»²��D��©R�|¨;�4��¥D£CªC�&§¨;®��}ªC��§M���y¥A©@� $@·

x = .... 1

2

3 4

5

x = x + 1

t

f

if x > 10

$ ]_`*w$51w��Vt_t_f*\�SZXZW�SZ]_P5^hPRQ76�YjrF^*] S7]_P5^*\Gw

Page 5: Data Flow Testing 1

� �

¸>�D��@¹D¨;¡,¢D�4�¿�4¥�Ö=�4«A· �á©@£�¥ ��¨;�4¥A§±�M²k£¬ªC��ÀA¥D�y�G�4£�¥A§,£�¦ ���y¥ä¥D£CªC�1§ !µ¨�¥Aª ��³#£�¥A�¬Î��Ì�Ô Ü £�¦ �ä�y¥n¥D£CªC� ��³.¨;¥Aªn¨»¢A¨��y®N£;¦ � �jÌ�Ô Ü Ô}£�¦ �äªD¯D����£ �y��§N¯A§G��°�¤á�G�A��¢A®G�1ªC�4©&¨F�����4¥¥D£CªC�±ÃD·k¸>�D�v¢�¨F�G��§ ! � � � � � à $a¨;¥Aª ! � � � � $k¨�®G�vªD�@ÀA¥D�y�G�4£�¥µ©��y�1¨;®�¢A¨;�G�A§�¦H£�®��=·a¸>�D� � Ì(��AÒFÏ Û ! � � � � $��1§M�R¨;°D�4��§'�D�1§����D� ��Ü�� Í�ÐVÏ7Ð�Ñ;Í��'Î��jÌ�Ô Ü ¨�§G§G£C©@��¨F���y£�¥ ! � � � � $�²��D�4�y�N�G�A� � Ì(���DÒ;Ï Û ! � � � � � à $#�&§'��¨�°D�y��§G�D�&§ ��Ü�� ÍAÐVÏZÐ�ÑFÍ���� �jÌ�Ô Ü ¨�§�§'£C©��4¨;�G�4£�¥A§ ! �� à ��- $ � � $>¨�¥Aª ! �� à ��. $ � � $@·���y­���¥�¨±§G�@�k£;¦s�G�1§M�>©�¨�§'�1§�³��y����� °����G�D��§'���k£�¦s©�£�¡,¢D�4�@����¢A¨;�G�A§#�@¹C��®R©@��§'�1ª,°�¤±���D��¢D®�£;¶«�®R¨;¡½��¹C�&©@¯D�G�4£�¥A§a¦H£�®k���D�&§G���G�1§M��©&¨�§G�&§&·[ÖA£�®>�&¨�©R�¿£�¦o���D�}ªD¨F�R¨ ��£F²z°A¨�§'�1ª �G�1§M��©�£F­��&®�¨�«��©@®��y�G��®��4£�¥�³����D�v©@£�¥AªC�y�G�4£�¥A§a���A¨F��� ¡±¯A§'��¡,������¦H£�®����D���G�1§M��©�®G�y�G�&®G�4£�¥¿�G£,°º�v§G¨;�G��§MÀA�1ª¨;®��«��4­��&¥¿°º���4£F²}·

Ù� ÓVÓ�� ��Ü Ë�Ô��4§±§G¨;�G��§MÀA�1ª|�y¦�� �4¥A©@�4¯AªC�1§v¨µªC��ÀA¥D�y�G�4£�¥C¶j©@�4�&¨�®�¢�¨F�G�á¦H®�£�¡ ��­��&®G¤»ªD�@ÀA¥D�y�G�4£�¥�G£ §G£�¡,�}©@£�®G®��&§G¢�£�¥AªC�4¥D«N¯A§'� ©5¶d¯A§G��£�®�¢C¶d¯A§'��$5·

Ù� ÓVÓ��'Î��jÌ�Ô Ü Ô���§a§�¨F���4§'ÀA�1ª �T¦����y¥�©@�4¯AªC�&§>¨9ªC�@ÀA¥A�T���y£�¥C¶d©��y�1¨;®a¢A¨F����¦H®�£�¡ ��­���®�¤NªD�@ÀA¥D�y�G�4£�¥�G£ ¨��y��£�¦=�y��§�©�£�®�®G�1§'¢º£�¥�ªC�y¥A«N©@¶Z¯A§G�&§&·

Ù� ÓVÓ��'Î��jÌ�Ô Ü Ô��AÔ�Ñ;Ý Ü ��� �jÌ�Ô Ü Ô9��§ §G¨;�G��§MÀA�1ª �y¦�� �4¥A©@�4¯AªC�1§�¨¬ªC�@À�¥D�T���y£�¥C¶j©@�4�&¨;®,¢A¨;�G�ä¦H®�£�¡��­���®�¤9ªC��ÀA¥D�y�G�4£�¥��G£±¨��y�º£;¦s�y��§a©@£�®�®��&§G¢�£�¥AªC�4¥D«v©5¶d¯A§G�&§&·=¼j¥�¨�ªDªC�y�G�4£�¥�³ �y¦=¨vªC��ÀA¥D�y�G�4£�¥��A¨�§.¥D£©5¶d¯A§G��³����D��¥� ¡±¯A§'���y¥A©��y¯�ªC�v¨ ªC�@À�¥D�T���y£�¥C¶j©@�4�&¨;®>¢A¨;�G���G£ §G£�¡,��¢C¶d¯A§'��·

Ù� ÓVÓ���� �jÌ�Ô Ü Ô��4§a§�¨F�G��§'ÀA�&ª �y¦� �4¥A©@�4¯AªC�1§>¨±ªC��ÀA¥D�y�G�4£�¥C¶j©@�4�&¨�®#¢A¨;�G� ¦H®�£�¡ ��­���®�¤NªD�@ÀA¥D�y�G�4£�¥�G£ ¨��y��£�¦=�y��§�©�£�®�®G�1§'¢º£�¥�ªC�y¥A«9¢C¶d¯A§G�&§&·

Ù� ÓVÓ���� �jÌ�Ô Ü Ô��AÔ�ÑFÝ Ü �'Î �jÌ�Ô Ü Ô9��§ §G¨;�G��§MÀA�1ª �y¦�� �4¥A©@�4¯AªC�1§�¨¬ªC�@À�¥D�T���y£�¥C¶j©@�4�&¨;®,¢A¨;�G�ä¦H®�£�¡��­���®�¤»ªC�@À�¥D�T���y£�¥|��£µ¨;�4��£;¦k�y��§}©�£�®�®G�1§'¢º£�¥�ªC�y¥A«�¢C¶d¯A§G�&§&·9¼j¥�¨�ªAªC�T���y£�¥�³��y¦a¨ªC��ÀA¥D�y�G�4£�¥á�A¨�§¥D£,¢C¶d¯A§G��³C���D��¥��¡9¯A§'���y¥A©��y¯�ªC�v¨,ªC�@ÀA¥A�T���y£�¥C¶d©��y�1¨;®�¢A¨;�G�¿�G£�§G£�¡,�}©5¶d¯A§G��·

Ù� ÓVÓ��jÌ�Ô Ü Ô��4§�§�¨F���4§'ÀA�&ª �y¦��â�4¥A©��y¯AªD�&§}¨�ªC�@ÀA¥A�T���y£�¥C¶d©��y�1¨;®�¢A¨;�G� ¦H®G£�¡Þ��­���®�¤ªD�@ÀA¥D�y�G�4£�¥�G£,�1¨�©R��£;¦[�T�R§�¯A§G�&§>�4¥A©@�4¯AªC�4¥D« °º£;�G�µ©@¶Z¯A§G�&§>¨�¥Aª�¢C¶Z¯�§'�1§�·

Ù� ÓVÓ�� � Ì(���DÒ;Ï Û Ô���§.§�¨F�G��§'ÀA�&ªN�y¦��z�4¥A©@�4¯AªC�1§#¨��y�AªD¯C¶Z¢�¨F�G��§[¦H£�®.�1¨�©R� ªC��ÀA¥D�y�G�4£�¥�·�¸>�D�&®G��¦H£�®���y¦.�G�D�&®G�N¨;®��±¡9¯D�T���y¢A�y�N¢A¨F���A§h°����M²k�&��¥ ¨�«��4­��&¥»ªC�@ÀA¥A�T���y£�¥ ¨;¥�ª|¨�¯�§'��³����D��¤µ¡9¯A§'��¨;�4��°���4¥A©@�4¯AªC�1ªs·

Ù � Ð �'ÒFÓVÓ��jÌ�Ô Ü Ô=��§.§�¨F�G��§'ÀA�&ª9�T¦����4¥A©��y¯AªD�&§.¨�ªC��ÀA¥D�y�G�4£�¥C¶j©@�4�&¨�®�¢A¨F���9¦H®�£�¡ ��­��&®G¤vªD�@ÀA¥D�y�G�4£�¥�G£��&¨�©R�±£�¦A�T�R§�¯A§'�1§��y¥A©��y¯�ªC�y¥A«�°º£;���N©@¶Z¯�§'�1§=¨�¥Aªv¢C¶d¯A§G�&§&· �µ£�®G�&£F­��&®o�&¨�©R�±¯A§G�a�4§[©@£�¥A§G�4ªC�&®G�1ª�G�1§M���&ª�£�¥D�4¤,�T¦o�y�>�4§�ÑFÌCÏ��ºÌCÏ�ÐVÍ kÌ Ü ÍºÎ�ÐVÍ ê�³ �G�A¨;�a��§&³ �y��ªC�y®��&©@�G�4¤,£�®#�4¥AªC�4®��&©5���y¤ �4¥ �A¯A��¥A©��&§#�G�D�©@£�¡,¢D¯C��¨;�G�4£�¥�£;¦�§'£�¡,��¢A®G£�«�®R¨;¡ £�¯C��¢D¯C�hªD¯D®G�4¥D«N�G�A�}¢D®G£�«�®R¨;¡ ®�¯D¥�Ç �;ÉZ·ÖD®�£�¡ �G�D��¨;°º£F­���ªC��ÀA¥D�y�G�4£�¥A§±£;¦�ªC�y׺�&®G�&¥ �9ªD¨F�R¨ �A£F² °A¨�§'�1ª�©@®��T����®��4¨�y�9��§±©��y�1¨;®v���A¨F�

�&¨�©R��©@®��T����®��y£�¥ ��ªC��¥ ���TÀA�1§±¨¡,�4¥D�y¡ ¨��k§G�@�v£;¦�ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G��¨�§�§'£C©��4¨;�G�4£�¥A§����A¨F�±¡9¯A§'�v°���@¹C�&®�©��4§G�&ª,°�¤,¨±§G�@�#£�¦s�G�&§'�a©&¨�§G�&§.�G£±§�¨F���4§'¦H¤N�G�D��©@®��T����®��y£�¥�·���£F²k�&­��&®&³F���D��§#¡,�4¥D�y¡ ¨��º§G�@�a�4§¥D£���¯D¥D��Ê ¯D��·��h§�²>¨�§>���D�±©�¨�§'�±²��T���»©@£�¥ ��®G£�� �A£F² °A¨�§G�&ª¿���&§'�G�4¥D«�©@®��y�G��®���¨D³�§G¯D°A§G¯D¡,¢C���y£�¥®�����¨F�G�4£�¥�§'�D�4¢A§9¨;��§'£»��¹C�4§'�9°º�@�M²a���&¥ ©@�&®'�R¨;�4¥�ªD¨F�R¨ �A£F²½°A¨�§'�1ª�©@®��T����®��4¨A·»¼j¥ Ö��y«�· �»�G�D�1§'�§G¯D°A§G¯D¡,¢C�G�4£�¥�®�����¨F���y£�¥A§'�A�y¢A§9¨;®�� �4ªD��¥ �G�yÀA�&ª�·µ� �¿�A¨*­���¨��4§G£µ�y¥�©@�4¯AªC�&ª��G�D��©@£�¥ ��®G£��(�A£F²°A¨�§'�1ª¬�G�1§M�,©@£F­��&®�¨�«���©�®G�y�G�&®G��¨µ�4¥��G�D��§N�D�4��®R¨;®R©R� ¤|¦H£�®,©@£�¡N¢A�y���G��¥A�&§�§�·��h¨�§'�D�1ª��4�y¥A�&§N¨;®��¯A§G�&ª¿�G£ ªC��§'�G�4¥D«�¯D��§G�¿���D��¡ ¦H®G£�¡½�G�A�vªD¨F�R¨ ��£F²z°A¨�§'�1ª����&§'��©@£F­��&®�¨�«���©@®��T����®��4¨A·���@�k¯A§.©@£�¥A§G�4ªC�&®��G�A���@¹D¨;¡,¢D�4���4¥�Ö=�4«A· ���G£v�4�y�4¯A§'�G®R¨F���>�G�D�����&§'�#©@®��T����®��4¨A·=¼j¥�¨�ªDªC�y�G�4£�¥N�G£

�G�A��©�£�¥ �G®�£�� �A£F²�«�®R¨;¢A��³ �M²k£±�G�&§'�>�y¥D¢A¯C��§>¨;¥�ª �G�A���4®>©�£�®�®G�1§'¢º£�¥�ªC�y¥A«±©@£�¡N¢A�y���G��¢A¨F���A§>¨;®��«��4­��&¥µ�y¥���D�vÀ�«�¯D®���·�¸>�D�±�M²k£¿©@£�¡,¢D�4�@���v¢A¨;�G�A§h©@£F­��&®�¨;�4�o¥A£�ªD�&§�¨;¥Aª�1ªC«��1§��4¥µ�G�D� �A£F²«�®R¨;¢A��¨;¥Aª,���D��®��@¦H£�®G�h§G¨;�G��§M¦H¤9�G�D� ÒFÓVÓ��j꼄 ��Ü Ô#¨;¥Aª|Ò;ÓVÓ�� Ü�� ê Ü Ô#©�®G�y�G�&®G��¨D·���£F²��4�@�a¯A§a©@£�¥�§'��ªC��®�G�A� ­*¨�®G�4£�¯�§�ªA¨F��¨ ��£F² °A¨�§'�1ª»���&§'�±©@£F­��&®�¨�«��±©�®G�y�G�&®G��¨D· ¸>�D�,�R¨;°D�4�,�y¥�Ö��4«A· ��4�4§'��§v¨��y��£�¦�G�A��ªC�@ÀA¥A�T���y£�¥C¶Z¯�§'��¨�§G§G£C©@��¨F�G�4£�¥�§h¢A®G�1§'�&¥��v�4¥á�G�D��¢D®G£�«�®R¨;¡· ÖD£�®}�&¨�©R�¬£�¦k���D��ªD¨F�R¨ �A£F²°A¨�§'�1ª�©@®��y�G��®��4£�¥�³ �@¹D©@�4¯AªC�4¥D«9�G�D��Ò;ÓVÓ�� � Ì(���AÒFÏ Û Ôk¨�¥Aª Ñ;Ð �'ÒFÓVÓ��jÌ�Ô Ü Ôa©�®G�y�G�&®G��¨D³�¨±¡,�4¥D�4¡,¨���§'���a£�¦

Page 6: Data Flow Testing 1

� �

ALL−USES

ALL−DEFS

ALL−P−USES/SOME−C−USES

ALL−C−USES/SOME−P−USES

ALL−C−USES ALL−P−USES

ALL−NODES

ALL−EDGES

ALL−PATHS

ALL−DU−PATHS OI−ALL−USES

$ ]_`*w��1w 'CY'\�S��KP'p@Y'XZWR`5Y��KXZ] S7Y'X7]�W��o]_Y'XZWRXZbdc@~@w¨�§�§G£�©��4¨;�G�4£�¥A§�¨�®G�,��ªC��¥ �G�yÀA�1ªs·�¼d¦�¨¿«��y­���¥¬§'���v£;¦�©@£�¡N¢A�y���G�,¢A¨F���A§}��¹��&®�©��4§G�9�G�D��§G¢º�&©@�yÀA�1ª¨�§�§G£�©��4¨;�G�4£�¥A§o¦H£�®�¨��G�1§M�.©@®��y�G��®��4£�¥�³*���D��¥9�G�D�&¤±§�¨F�G��§'¦H¤��G�D�>���&§'��©�®G�y�G�&®G�4£�¥o·�¼j¥±���D��§[�@¹D¨;¡,¢D�4��³¨;�4��£�¦C�G�D�a§'¢º�&©��TÀ��&ª����&§'��©@®��y�G��®���¨�¨;®��#§G¨;�G��§MÀ��&ª�°�¤��G�D�#�M²k£�©�£�¡,¢D�4�@���.¢A¨F���A§�©@£�®�®��&§G¢�£�¥AªC�4¥D«�G£»�G�D� �M²a£µ¢D®�£�«�®�¨�¡ �y¥D¢A¯C��§&·µ¸>�D� ÒFÓVÓ�� � Ì(���AÒFÏ Û Ôv©@®��T����®��4¨���§±¨��4§G£µ§'¢º�&©��TÀA�1ª¬°�¤|���D� �M²a£©@£�¡,¢D�y���G�9¢A¨F���A§�¨�§��4¥µ�G�D��§h�@¹D¨;¡,¢D�4�}�G�A��®��±��§�£�¥A�y¤¨�§G�y¥A«��4�±ªC¯C¶d¢A¨F���»©@£�®G®��&§G¢�£�¥AªC�4¥D«,�G£�&¨�©R��ªD�@ÀA¥D�y�G�4£�¥D¶Z¯A§G�}¨�§�§'£C©��4¨;�G�4£�¥�·ÖD®�£�¡½���D�}�@¹D¨;¡,¢D�4���y¥µÖ��4«A·���³C²k�}©�¨�¥¿¡ ¨�´����G�D��¦H£��y�4£F²��4¥D« ¨�ªDªC�y�G�4£�¥�¨;�s£�°�§'�&®G­F¨F���y£�¥A§&·Ù ¼d¦#¨,¡,£�®��±§'�G®��y¥D«���¥ ���G�1§M��©@£F­���®R¨;«���©@®��y�G��®��4£�¥�4§h©R�D£�§G��¥o³D�G�A�±¥�¯D¡±°º��®h£;¦.ªC��ÀA¥D�y�G�4£�¥C¶

¯A§G�v¨�§�§'£C©��4¨;�G�4£�¥A§k�G��¨F��¡9¯A§M��°º���G�1§M���&ª�4¥A©@®��&¨�§'�1§�·�ÖA£�®���¹C¨�¡,¢D�y��³C�G£�§�¨F���4§'¦H¤ ���D�¿ÒFÓVÓ�� ��Ü Ë�Ô©@®��y�G��®��4£�¥N²k��¥D�&�&ª9�G£v�G�&§'�.£�¥A�y¤±¦H£�¯D®#¨�§G§G£C©@��¨F���y£�¥A§�²��D�y�4����£v§G¨;�G��§M¦H¤±�G�D�±Ò;ÓVÓ��jÌ�Ô Ü Ô�©@®��T����®��y£�¥²a��¡9¯A§'���G�&§'��¨;�4��¨�§�§G£�©��4¨;�G�4£�¥A§&·Ù ¸>�D�h¡N�4¥D�4¡ ¨;�s§'���k£�¦=¨�§�§'£C©��4¨;�G�4£�¥A§[���A¨F�>¡±¯�§M�a°��h�G�1§M���&ª,��£N§�¨F���4§'¦H¤ ¨}«��4­��&¥�©@®��T����®��y£�¥

��§}¥D£;�N¨;�4²a¨*¤C§�¯D¥D��Ê ¯D��·ÖD£�®v�@¹D¨�¡N¢A�y��³��G£ §G¨;�G��§M¦H¤|�G�D� Ò;ÓVÓ�� ��Ü Ë�Ô±©@®��y�G��®���¨�¨�¥�¤|£�¥A� £;¦a�G�D�ÀA®R§M�a¥D�4¥D�h¨�§G§G£C©@��¨F�G�4£�¥�§.©�¨�¥ °���§'�&�y�1©5���&ªN�G£±�G�1§M�k�G�D��ªC�@À�¥D�T���y£�¥�£;¦��¿�y¥�¥D£CªC� !�·[¸>�A���G�1§M�®��&Ê ¯D�4®G�&¡N�&¥ ��§o¨�¥Aª�F£�®����&§'��©&¨�§G�&§�©�¨;¥±°��k¢D®G�4£�®��y�G�4æ��&ª}�G£���¹C¢D�y£��T�=�G�D�>¨;°º£F­��k©R�A¨;®R¨�©@�G��®���§M���4©�·¼j¥¬¢A¨;®G�G��©@¯A�4¨�®&³�¢A®G�4£�®��T���y�1§}©�¨�¥á°º� ¯A§G�&ª �G£µ®��&ªD¯A©@�N�G�A�,�G�&§'�G�4¥D«µ��׺£�®'��Ç ! �;É.£�®}¡ ¨F¹C�4¡N�4æ���G�A�}®�¨;�G��£;¦=¦�¨;¯D�y��ªC�@���&©@�G�4£�¥�Ç�!� ����ÈFÉd·

Ù ¸=�&§'�G�4¥D«¬«�®��&¨F����®N¥�¯D¡±°º��®,£;¦�¨�§�§'£C©��4¨;�G�4£�¥A§NªC£��&§,¥D£���¨;�4²a¨*¤C§9®G�1Ê�¯A�y®�����¹��1©@¯C���y£�¥n£�¦«�®��&¨;�G�&®s¥ ¯A¡±°º��®�£�¦����&§'�=©�¨�§'�1§�·s¼j¥}£�¯D®��@¹D¨�¡N¢A�y��³�²��D�4�y�.�G�D�.¡,�4¥D�4¡,¨��;¥�¯D¡±°º��®o£;¦DªC�@À�¥D�T���y£�¥C¶¯A§G�¿¨�§G§G£C©@��¨F�G�4£�¥�§}�G��¨F�,¡±¯A§'�N°º�¿�G�&§'�G�1ª���£ §�¨F�G��§'¦H¤á­F¨�®G�4£�¯A§N©@®��y�G��®���¨µ­F¨;®��y�1§±«�®G�1¨F�G�4¤�³�¨��y�©@£F­���®R¨;«���©@®��T����®��4¨N¨;®���§G¨;�G��§MÀA�1ª�°�¤ ���D���M²k£N���&§'��©&¨�§G�&§&·[¼j¥�¦�¨�©5���T����¨�§>°º����¥§G�D£F²�¥����A¨F��G�A�¬Ò;ÓVÓ��jÌ�Ô Ü Ô±©�®G�y�G�&®G��¨»��§9Ê ¯D�y�G��¢D®R¨�©@�G��©�¨;�>¨�§9®�����¨F�G�4­��&�y¤ ¦H��²â�G�&§'� ©�¨�§G�&§N¨;®���®��&Ê ¯D�4®G�1ª¬�G£§�¨F�G��§'¦H¤ �G�D��§�©�®G�y�G�&®G�4£�¥¬Ç � !@Éd·

Page 7: Data Flow Testing 1

� �

1

2

3

4

56

7

8

a = x + 1

if x <= 0

read x

if x > 0

if x < 1x = x + 1

a = x + 1

tf

tf

t f

print a

'CYM\7S=�V^*l*f1S �KP5m�l*t_YjSZY )AW�S7ci�� % ����� %ju 5�u ��u�Ru�i��»u % � ��� %ju 5�u�Ru���u���u���u��u���u��Gu�

�KXZ] S7YMXZ]�W�� WRt_t uVg1YMQy\ WRt_t u�bMu�f*\ZYM\ WRt_t uVl1uVf*\7YM\ WRt_t uVbjuVf1\ZYM\�� WRt_t uVl1uVf1\ZYM\�� WRt_t uVf1\ZYM\�=\Z\ZP�bM]�W�SZ]_P5^�� \7P5m�YjuVl1uVf*\7YM\ \7P5m�YMu�bMu�f*\ZYM\� %5� � 51� S��d� i�� � � � �� %5� � 51� Q��d� i�� � � �� %5� �1� i�� � � �

� %5� � �*� S��d� i�� � � �� %5� � �*� Q��d� i�� � � �� %5� � �1� S��d� i�� � � �� %5� � �1� Q��d� i�� � � �� %5� �1� i�� � � �� %5� �&� i�� � � �� �1� 1� W�� � � � � �� �&� 1� W�� � � � � �� �1� �1� i�� � � � �� �1� �&� i�� � � �

� �1� � �1� S��d� i�� � � �� �1� � �1� Q��d� i�� � � �

O1W�S7]_\7QT~1]_^1`")AW�SZc*\ � ��� !�� �#" � ���#!$� �%" � ���%!$� �#" � ���%!$� �#" � ���#!$� ��" � ���#!&� ��"

$ ]_`*w'�*wz��^)(�i1WRm�l*t_Y5w

Page 8: Data Flow Testing 1

� �

Ù ���D�4�y�µ�y� ¡ ¨*¤�°��µ¢º£�§�§'�4°D�4���G£ ÀA¥Aª�¨á¡N�4¥D�4¡ ¨;��¥�¯D¡±°º��® £�¦�©�£�¡,¢D�4�@�G�¢A¨;�G�A§N���A¨F�§�¨F�G��§'¦H¤�¨ «��4­��&¥��G�1§M�µ©@£F­���®R¨;«��µ©�®G�y�G�&®G�4£�¥�³��G�D��§¨;¢D¢D®�£�¨�©R��©�¨;¥A¥D£;�¨;�4²a¨*¤C§�°º�á¯A§'�1ª��G£¡,�y¥A�y¡,�4æ������D� ���&§'�G�4¥D«»�@×K£�®G�&·»¸>�A�4§±�4§±°��1©�¨;¯�§'��§G£�¡,� £�¦a���D�¿©�£�¡,¢D�4�@����¢A¨F���A§v¡ ¨*¤ °��ÐVÍ&Ë Ü ÒFÔRÐ ��Ó Ü ·�ÖD£�®N��¹D¨;¡,¢D�4��³.���D�»©@£�¡,¢D�y���G�¢A¨;�G� !@¶ �*¶ �;¶��¦H£�®N�G�A��¢A®G£�«�®R¨;¡ �y¥�Ö��4«A· �¬�4§�4¥C¦H�&¨�§'�4°D�4��·

tf

t

f

f

t

if ....

if ....

y = g(x)

x = ....

.......

1

2

3

4

5

6

7

8

9print y

read a,b

y = a+b

if ....

�KP5m�l*t_YjSZY()AW�S7c*\ �� � �&%���5�� ��� ��� ��� ��� ��'5�� ��� ��� ��� ��� ��� ���&%���5�� ��� ��� ��� ���

�KP5m�l*t_YjS7Y()AW�SZc � ��� � ��� �������������QyP5X � 5'!$�'!�� ���

5�u ��u�Ru�� �5�u ��u�� � �

�KP5m�l*t_YjS7Y()AW�SZc � � � � ��� �������� "!�#$���$#$ &%

� 5'!��'!'� � �]_^&{Ff*YM^*bMYM\�P5f1S7l*f1S)(

$ ]_`*w �1w���t_t uVg1f1uVlFW�S7c*\oWR^*g}x�] uVWRt_t uVf*\ZYM\ �KPGp@YMXZWR`5Y��KX7] SZYMXZ]�W1w

���@��¯A§�©@£�¥�§'��ªC��®�¨;¥D£��G�D�&®¿��¹D¨;¡,¢D�4�µ�G£n�y�4�y¯�§M��®�¨;�G�»���D��ÒFÓVÓ�� � Ì(���DÒ;Ï Û Ô�¨;¥Aª Ñ;Ð �'ÒFÓVÓ��jÌ�Ô Ü Ô©@®��y�G��®���¨D·oÖ��4«A·;Ã�§G�D£F²�§o�M²k£�©@£�¡N¢A�y���G�a¢A¨F���A§=�G�D®�£�¯D«��}�G�A�k«��y­���¥±©�£�¥ �G®�£��&�A£F²�«�®R¨;¢A��·=¸>�D�ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G��¨�§G§G£C©@��¨F�G�4£�¥ � � à � � $k�4§>�1§M�R¨;°D�4��§'�D�1ª�¨��y£�¥D«v�M²a£+*-,/.1032 -5436 �7. �7. ��. è;¥�ª �. �+.nÃC· ¸>�D�,¢A¨;�G� � ��¹C��®R©@��§'�1§ � � à � � $�¨;�4£�¥D«�°º£;�G�¬ªC¯C¶d¢A¨;�G�A§v¨�¥Aª|�G�D�&®G��¦H£�®��§G¯('�©@�4��¥ �G�4¤,�G�1§M�R§#�y�k��£±¡,�����k���D� ÒFÓVÓ�� � Ì(���DÒ;Ï Û Ôk©@®��T����®��y£�¥�·���£F²a��­��&®&³ §'�4¥A©������D��­F¨;�4¯D��£;¦��¨F�a¥D£CªC��ÃvªC£��&§k¥D£;�#�4¥ �A¯A��¥A©������D��£�¯C�G¢D¯D�98 ¨;�4£�¥D« � ³ �y�aªD£ �1§.¥D£��k¡,�����k���D�NÑ;Ð �'ÒFÓVÓ��jÌ�Ô Ü Ô©@®��y�G��®��4£�¥v¦H£�® � � à � � $@·�¾h¥9�G�D�>£��G�D�&®��A¨;¥Aª�³�¨;�y�G�D£�¯D«��N¢A¨;�G� � ��¹��&®�©��4§G�&§�£�¥D�y¤±£�¥D�a£;¦��G�D�ªC¯C¶d¢A¨;�G�A§&³��G�D��­F¨;�4¯D��£;¦ �¨;�a¥A£�ªD�}Ã9ªC£��&§a�4¥ �A¯D�&¥A©@�����D��£�¯C��¢D¯C��8K·[¸>�A��®��@¦H£�®���²��D�y�4� � ªC£��&§�¥D£;��§�¨F���4§'¦H¤����D�¿ÒFÓVÓ�� � Ì(���AÒFÏ Û Ô�©@®��T����®��y£�¥¿¦H£�® � � à � � $a�y�hªC£��&§�§G¨;�G��§M¦H¤��G�D�¿Ñ;Ð �'ÒFÓVÓ��jÌ�Ô Ü Ô©@®��y�G��®��4£�¥�·:A� ���<;>=)?��C(��(���C( � �.!Øa�@¦H£�®G�����D�9§G£;¦V�M²>¨;®��}©�¨;¥µ°º�±ªC�&¢D�4£F¤��&ª��y��§G�D£�¯A�4ª°º�}�G�A®G£�¯D«��D�4¤����&§'�G�1ªs·�ÖD£�®���¨;®�«��}§'£�¦V�'¶²>¨;®���³º�G�1§M���y¥D«��§�©�¨;®�®��y�1ªµ£�¯C�}�4¥ ¨¿¥�¯D¡±°º��®}£�¦k§M����¢A§&·±Ö��4®�§'���G�D�,�4¥AªC�4­ ��ªC¯A¨��[¢D®G£C©��&ªC¯D®��&§¨;®������&§'�G�&ª�£�¥D��¨;�k¨}���y¡,��ªC¯D®��y¥D«�ÌCÍAÐVÏ[Ï Ü Ô5Ï7ÐVÍ�ê;·�¸>�D�h�y¥ ����®G¦�¨�©@�1§�°º�@�M²a����¥��G�D�h¢D®G£C©��&ªC¯D®��&§¨;®��}���&§'�G�&ª»¥D�@¹��}ªC¯D®��y¥D«|ÐVÍAÏ Ü ê�ÕGÒ;Ï7Ð�Ñ;Í�Ï Ü Ô5Ï7ÐVÍ�ê;· ��¥�¯D¡±°º��®�£;¦.®��&§G�&¨�®�©R�A��®R§>�A¨*­��v��¹C¢D�y£�®G�1ª

Page 9: Data Flow Testing 1

� �

ªD¨;��¨��A£F²â���&§'�G�4¥D«�¡,�@���D£CªC£��4£�«��y�1§N¦H£�®�©@£�¡,¢D�y���G����&§'�G�4¥D«A·  £�¡,�µ£;¦����D�&§G��G�1©R�D¥D��Ê ¯D�&§¨;®��|§G¯D�y��¨;°A�y�|¦H£�®�¯D¥D�y�¿���&§'�G�4¥D«n¨�§����D��¤�¨;®���ÐVÍ�Ï7ÕGÒ �ºÕGÑ1Î Ü�� ÌCÕGÒ;Ó �Z· ��·4³��G�A���4®�¨�¢D¢D�4�4©&¨;°D�4�y�y�M¤��§±®��&§'�G®��4©@�G�1ª|��£|¢D®�£C©@�1ªC¯D®���°�£CªC�4�&§ $�Ç ��� !*Ã(� � !@Éd· ¾��G�D�&®�§±�A¨*­���ªD��­��&�y£�¢��1ª¬�y¥ ����«�®R¨F���y£�¥�G�1§M���y¥A«,�G�&©R�A¥D�4Ê ¯D�1§>�G��¨F�h¨�®G�,ÐVÍAÏ Ü Õ �ºÕGÑ1Î Ü�� ÌCÕGÒFÓD¨�¥Aª¿�G�D�&®G��¦H£�®����G�D�1§'�����&©R�D¥D��Ê ¯D�&§�©@£�¥�§'��ªC��®ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G��¨�§G§G£C©@��¨F���y£�¥A§k�G�A¨;���@¹��G�&¥Aª¨�©@®�£�§�§k¢D®G£C©��&ªC¯D®���°�£�¯D¥AªD¨�®G�4�&§}Ç ������ÈFÉd·¼j¥»�G�A�4§�§G�&©5���y£�¥»²a�±¢D®��&§G��¥ ��¨�¥»£F­��&®G­��4��² £;¦.¯A¥D�T�v¨�¥Aªµ�4¥�����«�®�¨;�G�4£�¥�G�1§M���y¥A«�¨�§G§G¯D¡,�y¥A«

�G��¨F�����D�¿ÒFÓVÓ��jÌ�Ô Ü Ô�©@®��T����®��y£�¥���§�°º���4¥D«��&¡,¢D�y£F¤��&ªs·���¯A®G�4¥D«��1¨�©R�µ§M����¢µ�4¥�G�1§M���y¥D« ²a�v¡9¯A§M���ªC��¥ �G�y¦H¤��G�D�±�G�1§M��®G�1Ê ¯D�y®���¡,�&¥��R§��4¥µ¦H£�®�¡ £;¦.ªC�@À�¥D�T���y£�¥C¶d¯A§'�N¨�§�§'£C©��4¨;�G�4£�¥A§>���A¨F��¨;®��}�G£�°���G�1§M���&ªs·å¾h¥�©@��G�A��G�&§'� ®G�1Ê ¯D�y®���¡,�&¥��R§,�A¨*­���°º����¥���ªC�&¥����TÀ��&ªs³a²k�¡9¯A§M��«���¥D�&®�¨;�G���G�1§M�©�¨�§'�1§���£¿��¹C��®R©@��§'�±�G�D�,ªC�@À�¥D�T���y£�¥C¶d¯A§'�,¨�§�§G£�©��4¨;�G�4£�¥A§&·v¾h¥D�N¨�¢D¢D®�£�¨�©R�µ�4§h�G£§G���4�&©5�}¨¿¢A¨F���¨;�4£�¥A«9²��D��©R�µ¨F���4�&¨�§'��£�¥D��¯D¥ ���&§'�G�&ªªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�}¨�§�§'£C©@��¨F���y£�¥���§>�@¹C��®R©@��§G�&ªs·�¸=�&§'��ªA¨F��¨��§h«���¥D�&®�¨;�G�1ª�G�A¨;��©&¨;¯A§G�&§��G�A�9¢D®�£�«�®�¨�¡ ��£��R¨;´��v�G�A�NªC�1§'�4®��&ª»¢�¨F�G�á¨;¥Aªµ�G�D� ªC��ÀA¥D�y�G�4£�¥C¶¯A§G�N¨�§G§G£C©@��¨F���y£�¥µ�4§h�G�1§M���&ªs·v¸>�A�4§h¢D®�£�©��&§�§���§�®G�&¢��1¨F���&ªC�4¤µ¨;¢D¢D�4�4�&ªµ��£����&§'��¨��y�[£�¦��G�D�N�G�1§M�®��&Ê ¯D�4®G�&¡N�&¥ ��§&·�=ÍAÐVÏ�Ï Ü Ô5ÏZÐVÍ ê ©�£�¥A§G�4ªD��®R§�£�¥D��¢A®G£C©@�1ªC¯D®�� ¨F�9¨����y¡,��¨�¥Aª¬�@¹C��®R©@��§G�&§��G�A��ªC�@À�¥D�T���y£�¥C¶d¯A§'�

¨�§�§G£�©��4¨;�G�4£�¥A§o²��T���D�4¥v�G��¨F�[¢D®G£C©��&ªC¯D®���· �nªD�@ÀA¥D�y�G�4£�¥D¶Z¯A§G�>¨�§�§'£C©@��¨F���y£�¥}²��T���D�4¥9¨h¢D®G£C©��&ªC¯D®���³¨;��§G£N®��@¦H�&®G®��&ª��G£�¨�§�¨�ÐVÍAÏZÕGÒ �KÕGÑ1Î Ü�� ÌCÕGÒFÓDªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�v¨�§�§'£C©��4¨;�G�4£�¥�³C��§�£�¥A��¦H£�®�²��D��©R���G�D�ªC��ÀA¥D�y�G�4£�¥¬¨;¥Aª»�G�D�N¯A§G�9°º���4£�¥D«¿�G£¿�G�A�N¢A®G£C©@�1ªC¯D®��9¨�¥Aª|¨�ªC�@À�¥D�T���y£�¥C¶j©@�4�&¨;®�¢A¨;�G�¬©�¨;¥|°��¦H£�¯A¥Aª�²��y�G�D�4¥����D��¢A®G£C©@�1ªC¯D®���²��y�G�D£�¯C�9��¹D¨;¡,�y¥A�y¥D«|�G�D�©@£CªC�¿°��&�y£�¥D«��4¥D«|�G£ ¨�¥�¤á©&¨;�4�y�1ª¢D®�£C©@�&ªD¯D®G�1§�·�¼j¥»£;���D��®�²k£�®�ªA§�³A�G£���ªC�&¥����T¦H¤µ�4¥ �G®R¨;¢D®�£C©@�1ªC¯D®R¨;�oªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�9¨�§G§G£C©@��¨F�G�4£�¥�§¦H£�®,¨µ¢D®�£C©@�1ªC¯D®���³[²k��©@£�¥A§'�&®G­F¨;�G�4­����4¤ ¨�§G§G¯D¡,� ���A¨F� ¨;�4�#­F¨;®���¨;°D�4�&§±­ ��§G�y°D�4����£»���D�¿©&¨;�4�y�1ª¢D®�£C©@�&ªD¯D®G�1§±¨�®G��´��4�y�4�&ª�° ¤á���D��¡·#� ¢D®�£C©@�1ªC¯D®���¡ ¨*¤ ®��&¨�ª¬­*¨��y¯A�&§9£;¦�«��4£�°�¨;�#­F¨�®G��¨;°D�4�&§¨;¥�ª¡,¨*¤��A¨*­��v�y¥A¢D¯C�h¢�¨;®R¨;¡,�@����®R§�· �h�@ÀA¥D�y�G�4£�¥�§�¦H£�®��4¥D¢D¯C��¢A¨;®R¨;¡,�@����®R§�¨;¥�ªµ«��4£�°A¨��4§�¨;®���4¥���®G£CªC¯�©@�&ª�¨;�v�G�A��°��&«��4¥D¥D�4¥D«»£�¦a���D��¢D®�£C©@�1ªC¯D®�� �y¥�¦H£�®G¡ £;¦�®��&¨�ª¬§'��¨;�G��¡,�&¥��R§�·µ¸>�D�1§'�ªC��ÀA¥D�y�G�4£�¥A§v¨��4§G£«��4­��N®G��§G�9��£»ªC�@À�¥D�T���y£�¥C¶d¯A§'��¨�§G§G£C©@��¨F���y£�¥A§h�G�A¨;�v¡±¯A§'�}°�� ���&§'�G�1ªs·¿¾h¥A©@��G�A��ªC�@ÀA¥A�T���y£�¥C¶Z¯�§'��¨�§�§G£�©��4¨;�G�4£�¥A§��A¨*­��k°º���&¥ ©@£�¡,¢D¯D�G�&ª9���D�>�G�1§M���y¥D«�£�¦����D��¢D®�£�©��&ªC¯A®G�>©�¨�¥¢D®�£C©@���1ª�¯�§'�4¥D«N�G�D�}¢�¨F�G�µ§G���4�&©@�G�4£�¥�°A¨�§G�&ª�§M��®�¨;�G�&«�¤�ªC�1§G©�®G�4°��1ª��&¨;®��4�y�&®&·�5ÍAÏ Ü ê;Õ�ÒFÏZÐ�ÑFÍ Ï Ü Ô5ÏZÐVÍ ê���¹C��®R©@��§'�1§s�G�A�k�4¥ �G��®�¢D®�£C©@�&ªD¯D®�¨���ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�k¨�§�§G£�©��4¨;�G�4£�¥A§oªC¯D®��y¥D«£�¥A�k£�®�¡,£�®G�a�y¥ ����«�®R¨F���y£�¥9§'�G�&¢A§�· ��¥,�4¥�����®�¢D®�£�©��&ªC¯A®�¨�� ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�a¨�§G§G£C©@��¨F���y£�¥v¡ ¨*¤}°��

¦H£�®�¡,�&ªµ�4¥|¨¿§'�y�G¯A¨;�G�4£�¥»²��A��®��v�G�A�NªC��ÀA¥D�y�G�4£�¥|¨�¥Aª»¯�§'�9°��&�y£�¥D«���£¿ªC�y׺�&®G�&¥ �h¢D®�£C©@�&ªD¯D®G�1§�·¼d��©�¨�¥ ¨;��§'£ °���¦H£�®G¡,�&ª �y¥ä©�¨�§'�1§±²��D�&®G�¨;�y�G�A£�¯D«����G�A��ªC��ÀA¥D�y�G�4£�¥�¨;¥Aª ¯A§G��¨�®G�¿�y¥ �G�D�§�¨;¡,�9¢A®G£C©@�1ªC¯D®���³�¨��y�[£;¦k�G�D� ªC��ÀA¥D�y�G�4£�¥C¶j©@�4�&¨�®�¢A¨F���A§�°����M²k�&��¥ �G�D�&¡ ©@£�¥��R¨;�4¥|¢D®�£C©@�1ªC¯D®��©�¨��y��§&·�¼j¥��&¨�©R���4¥ �G��«�®�¨;�G�4£�¥�§M����¢�£�¥A�µ£�® ¡,£�®��µ¢D®�£�©��&ªC¯A®G�1§ ¨;®��§G���4�&©@�G�1ª ¦H£�®��4¥�����«�®�¨;¶�G�4£�¥o·h¸>�D�9¢D®G£�«�®R¨;¡Æ©�¨;�4��«�®R¨;¢D�µ��§�¯�§'�1ª�G£�ªC®G�4­��v�G�D�N§'�&�y�1©5�G�4£�¥|¢D®G£C©��&§�§�·�ÖA£�®h�@¹D¨;¡,¢D�4��³�4¥�����«�®�¨;�G�4£�¥¿©&¨;¥�°��v©&¨;®�®G�4�&ª�£�¯C���4¥µ¨±��£�¢C¶jªC£F²�¥¿¦�¨�§G�D�4£�¥�£�®>°�£��'��£�¡N¶Z¯A¢¿¦�¨�§'�A�y£�¥�¨�©�©@£�®�ªC¶�4¥D«µ�G£»�G�D��©�¨;�4�#«�®�¨�¢D��·¼j¥��1¨�©R�¬�y¥ ����«�®R¨F���y£�¥�§M����¢����D���4¥�����®�¢D®�£�©��&ªC¯A®�¨��#ªC�@À�¥D�T���y£�¥C¶d¯A§'�¨�§�§G£�©��4¨;�G�4£�¥A§a®����4��­F¨;¥ �a¦H£�®>���A¨F��§'�G�&¢�¡9¯A§'�>°º���G�1§M���&ªs·.¸>�A�v©@£�¡,¢D¯D��¨F���y£�¥¿£�¦=�4¥ �G��®�¢D®�£C©@�@¶ªC¯D®R¨;��ªC�@À�¥D�T���y£�¥C¶d¯A§'�N¨�§�§'£C©��4¨;�G�4£�¥A§�©&¨;¥»°º�9©&¨;®�®G�4�&ª�4¥|¨¿©@£�¯A¢D�y�9£;¦.ªC�y׺�&®G�&¥ ��²>¨*¤C§�·h¾h¥D�¨;¢A¢D®G£ ¨�©R��¨�¥A¨;�4¤�æ��&§.�G�D��©@£�¡,¢D�y���G�h¢D®G£�«�®R¨;¡ ¨;¥Aª¿©@£�¡,¢D¯D�G�&§a¨;�4�º£;¦����D��ªD�@ÀA¥D�y�G�4£�¥D¶Z¯A§G�h¨�§M¶§G£�©��4¨;�G�4£�¥A§[¢A®G�4£�®��G£}�4¥ �G�&«�®R¨F�G�4£�¥±�G�1§M���y¥D«�Ç � *ÉZ· ��¥A£;�G�A��®.¨;¢A¢D®G£ ¨�©R�9¢A¨;®G�G��¨;�4�y¤9¨;¥A¨��y¤�æ��1§=�G�D�¢D®�£�«�®�¨�¡��G£9©@£�¡,¢D¯D�G�����D��®����4��­F¨�¥��.�4¥ �G�&®G¢D®�£C©@�1ªC¯D®R¨;�AªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�h¨�§G§G£C©@��¨F�G�4£�¥�§�ªC¯D®��y¥D«¨;¥��4¥�����«�®�¨;�G�4£�¥§M����¢�¯A§'�4¥D«�ªC�&¡ ¨;¥Aª�¶jªC®��y­���¥�ªD¨F�R¨ ��£F²å¨;¥�¨;�4¤�§G��§�Ç !&Ä;ÉZ·¸>�D�±��¹C¨�¡,¢D�y�±�y¥|Ö��4«A·KÈ �4�y�4¯A§'�G®R¨F�G�1§�¯A¥D�T��¨;¥Aª»�y¥ �G�&«�®R¨F���y£�¥¿���&§'�G�4¥D«A·�¸>�D�9§�¨;¡,¢D�4�v¢D®�£;¶

«�®R¨;¡Æ©@£�¥��R¨;�4¥A§�¦H£�¯D®�­F¨�®G��¨;°D�4�&§�²��D�4©R�»¨�®G�v¨��y�=«��4£�°A¨��4§&·�¸>�D�9ªD�@ÀA¥D�y�G�4£�¥D¶Z¯A§G�±¨�§G§G£C©@��¨F�G�4£�¥�§�G��¨F��¨;®���«���¥D�&®�¨;�G�&ª�¨�§a®G�1Ê ¯D�y®���¡,�&¥��R§.¦H£�®>¯D¥D�y�a���&§'�G�4¥D«,¨;®���«��4­��&¥��4¥¿Ö��4«A·DÈ;°o· �h§a²k��©�¨�¥§G����³=�y¥�£�®�ªD��®��G£»©�£�¡,¢D¯C����ªC�@À�¥D�T���y£�¥C¶d¯A§'��¨�§G§G£C©@��¨F���y£�¥A§��G£µ¯D¥A�T�v���&§'� � ¨�¥Aª��,³[ªC�@ÀA¥A�T¶�G�4£�¥�§�¦H£�®h«��4£�°A¨��4§�®G��¦H��®���¥A©��&ª�°�¤��G�D�1§'�v¢A®G£C©@�1ªC¯D®��&§�¨�®G�±�y¥ �G®�£CªC¯A©��&ª�4¥µ�G�D�9��¥ �G®�¤�¥D£CªC�&§

Page 10: Data Flow Testing 1

� ���

read x,y,z

print sum

sum = 0

if x < 0

P

sum = sum + x

Main

x = −x

1

2

3

4

5

6

7

P

10

11

8

9

12

Q

if y < 0

y = −y

sum = sum + y

Q

13

15

16

14 if z < 0

z = −z

sum = sum + z

� W��s� O1WRm�l*t_Y )�XZP5`5XdWRm�w

(8,9,y)(8,10,y)

Q

if y < 0

y = −y

sum = sum + y

10

11

8

9

12

read y,sum(1,3,x)(1,4,x)(6,7,sum)

Main

if z < 0

z = −z

sum = sum + z

13

15

16

14

read z,sum (13,14,z)(13,15,z)(13,16,z)(15,16,z)(13,16,sum)

QP

� � ����YMe&f1]_XZYMm�YM^�S7\sQ4P5X��=^1] S 'CYM\�SZ]_^*`*w

(8,16,sum)(16,12,sum)(10,12,y)

(2,16,sum)(12,6,sum)(1,9,y)(1,10,y)(1,14,z)(1,15,z)

Integrate Q with P Integrate P with Main

� b ����YMe&f*]_X7YMm�Y'^@S7\�QyP5X��V^�S7YM`5XdW�S7]_P5^ 'CYM\7S7]_^*`�O�S7YMl*\Gw

$ ]_`*w��1w��=^�(Ai*WRm�l*t_Y�PRQ�sP5m�l1t_YMS7Y('CYM\7S7]_^*`*w

Page 11: Data Flow Testing 1

� � �

£;¦k�G�D�,¢D®�£C©@�1ªC¯D®��&§&· ��¯A®G�4¥D«�y¥ ����«�®R¨F���y£�¥»���&§'�G�4¥D«¿²a� ¨�§�§'¯A¡N�9�G��¨F�v¨�°�£��'�G£�¡N¶Z¯D¢¬§'�G®R¨F�'¶��«�¤ ��§v¯�§'�1ªs·»¸>�D��®��@¦H£�®G� ²a� ÀA®R§'�±�y¥ ����«�®R¨F��� �Æ�y¥ ��£ � ¨;¥Aªá���D��¥�²a���4¥ �G��«�®�¨;�G� � ¨;¥�ª� 2 � � ·>¸>�A�v�y¥ ����®�¢D®G£C©��&ªC¯D®R¨;��ªD�@ÀA¥D�y�G�4£�¥D¶Z¯A§G�±¨�§G§G£C©@��¨F�G�4£�¥�§>�G�A¨;��¡±¯�§M��°º�v���&§'�G�1ªµªC¯D®��y¥D«�G�A�}�y¥ �G�&«�®R¨F���y£�¥¿§'�G��¢�§�¨;®��h«��y­���¥��y¥µÖ��4«A·DÈ�©�·¼j¥�£�®RªC�&®#��£N©&¨;®�®G¤N£�¯C�a�G�A�����&§'�G�4¥D«9£�¦��G�A�h®��&Ê ¯D�4®G�&¡,��¥ ��§aªC¯D®��y¥A«9¯D¥A�T��¨;¥Aª��y¥ ����«�®R¨F���y£�¥

�G�1§M���y¥A«�²a�>¡±¯A§'�.«��&¥D��®R¨F���#���&§'���y¥D¢A¯C��§&·�¸>�D�a�G�&§'�#ªD¨;��¨�«��&¥D��®R¨F���y£�¥v¢D®�£�°D�4��¡���§�ªC��§G©�¯A§�§'�1ª��¨F�G�&®��y¥N���D�4§k©R�A¨;¢D�G��®1· ��¦V�G�&®��G�D��¢D®G£�«�®R¨;¡���§[�@¹C�&©�¯C�G�1ªN£�¥ ¨��G�1§M�.�4¥D¢D¯C�.²a��²a£�¯D��ª±�4�4´��>�G£��ªC��¥ �G�y¦H¤,¨;�4�D�G�A�hªC��ÀA¥D�y�G�4£�¥C¶d¯A§G��¨�§�§'£C©@��¨F���y£�¥A§[�@¹C�&®�©��4§G�&ªN°�¤±���A¨F�k�y¥D¢A¯C�&·.ÖA£�®����D�4§#¢D¯D®�¢�£ §'�²a�h©�¨�¥��4¥A§'�G®�¯D¡,��¥ �k���D��¢D®G£�«�®R¨;¡ �G£N���y�G�D�&®k«���¥D�&®�¨;�G��¨;¥���¹C�&©@¯D�G�4£�¥ ��®�¨�©@��²��A�4©R��©�¨;¥�°����¨F�G�&®�¨;¥A¨��y¤�æ��1ª�£�®>²k�}©�¨�¥¿ªC¤�¥A¨�¡,�4©&¨;�4�y¤ ��®�¨�©R´,�G�D�}ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�}¨�§�§'£C©@��¨F���y£�¥A§#�G�A¨;��¨;®��°º���4¥D«|��¹��&®�©��4§G�&ª�·»¸o�1©R�D¥D��Ê�¯A�&§9¯A§'�1ª¬°�¤¬ªD¤ ¥�¨;¡,�4©�§'�4�4©��y¥A« ¨;�4«�£�®G�y�G�A¡,§±©�¨;¥�°º��¯A§'�1ªá¦H£�®�G�A�4§�¢A¯D®G¢º£�§G� Ç�! ����Ä;ÉZ·� � J �A!aJ ��� � ����(��C( � �.!�.®�£�«�®�¨�¡ ©R�A¨�¥D«��1§�¨;®��v§'£�¡,�@�G�4¡,�&§h®G�1Ê ¯D�y®��&ª¨;¦V�G��®��G�D�NªC��¢A�y£F¤�¡,��¥ ��£�¦#§'£�¦V�M²a¨�®G��·a¸>�D�&®G�¨;®��}�M²a£�©@£�¡,¡N£�¥µ®G�1¨�§G£�¥A§�¦H£�®h§G¯A©R�|©R��¨;¥D«��&§&·�Ö=�4®R§M�1³º¨��T���D£�¯D«��µ�G�A�9§G£;¦V�M²>¨;®��}¡,¨*¤��A¨*­��°º����¥�©�£�¡,¢D�4�@�����4¤v�G�1§M���&ª,¢D®��4£�®[�G£}�y��§kªC��¢A�y£F¤�¡,��¥ �&³�§'£�¡N���&®G®�£�®R§�¡ ¨*¤±£�¥A�y¤9°���ªD�4§�©@£F­���®��&ª£�¥�©@�����D��§'£�¦V�M²a¨�®G����§a�y¥¿¯A§G��·  �&©�£�¥Aª�³�§G£�¡,��©R�A¨;¥D«��&§k¡ ¨*¤N°º��¡,¨�ªC�h�G£±°º�@�G�G�&®a¡,�&�@�a�G�D�¥D�&�&ªD§o£;¦C�G�A�k©@¯�§M��£�¡,��®1·����&«�®��&§�§'�4£�¥��G�1§M���y¥A«���§s�G�A�#¢D®�£C©@�&§�§�£�¦��G�&§'�G�4¥D«��G�D�k¡N£CªC�yÀA�1ª}¢A¨;®G��§£;¦����D�#§G£;¦V�M²>¨;®��.¨;¥Aª���¥�§'¯D®��4¥D«��G��¨F�o¥D£�¥D��²¬��®�®�£�®R§���¨*­���°º����¥±�y¥ �G®�£CªC¯A©��&ª��y¥ ��£�¢D®���­��y£�¯A§G�y¤�G�1§M���&ª}©�£�ªD��·=¸>�A��®��@¦H£�®��[®G�&«�®��&§�§'�4£�¥h�G�1§M���y¥A«�¡±¯A§'���G�1§M�=°�£��G���G�A�.¡,£�ªD�TÀA�1ª}©@£CªC�#¨�¥Aª�£;���D��®¢A¨�®'�R§o£�¦C�G�D�a¢D®�£�«�®R¨;¡å�G��¨F�=¡ ¨*¤�°º�a¨;׺�1©5�G�1ªv°�¤��G�D�a¢D®�£�«�®�¨�¡ ©R�A¨�¥D«���·����1§'�1¨;®R©R�D��®R§s�A¨*­��ªC�&­����4£�¢º�&ª�¨N¥�¯D¡±°º��®�£�¦�ªD¨;��¨��A£F²å°A¨�§G�&ª¿®G�&«�®��&§�§'�4£�¥��G�1§M���y¥D«N���&©R�D¥D��Ê ¯D�&§}Ç �;Ä���� ����� 1Éd·¼j¥ �G�D��§#§G�&©@�G�4£�¥�²a��ªC�1§G©�®G�4°º��¨;¥�¨�¢D¢D®�£�¨�©R�N¦H£�®.®G�&«�®��&§�§'�4£�¥N���&§'�G�4¥D«v¢D®�£�¢º£�§G�&ªN°�¤ ��¯D¢C��¨

Ü Ï}Ò;Ó Ù Ç �;ÄFÉd·»¼j¥ �G�D��§9¨�¢D¢D®�£�¨�©R�¬¨ �ºÕGÑ�ê;Õ�ÒFÝ Î Û ÒFÍ�ê Ü ��§}��®�¨�¥A§G�4¨;�G�&ª��y¥ �G£ ¨|§G��®��y�1§v£;¦��4£F²�4��­��&� �ºÕ�ÑGê�ÕGÒFÝ Ü�� ÐVÏ7Ô5·�� Ü Ý,Ò;Í � � � Õ5Ð � Ü ÍäÔ5ÏdÒ;Ï7Ð�Î�Ô5Ó�Ð�Î�ÐVÍ ê¿¨;�4«�£�®G�y�G�D¡ §}¨�®G� ¯A§G�&ªá��£µ�4ªD��¥ �G�y¦H¤ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G��¨�§�§'£C©��4¨;�G�4£�¥A§����A¨F�,¨;®��|Ò� Ü Î�Ï Ü�� °�¤á�&¨�©R��¢A®G£�«�®R¨;¡Þ�1ªC�T�1·»¸>�D��©�£�¡,¢D�4�@�G�§G�@�£;¦NªD�@ÀA¥D�y�G�4£�¥D¶Z¯A§G�¬¨�§�§'£C©@��¨F���y£�¥A§��G�A¨;�¨�®G�¬¨F×K�&©@�G�&ªz°�¤�¨ä§G��®��4�&§¿£;¦±¢D®�£�«�®�¨�¡ �&ªC�y��§©@£�®G®��&§G¢º£�¥AªC�4¥D«N�G£¿¨ ¢D®�£�«�®R¨;¡ ©R�A¨;¥D«��v¨;®��v®��@�G�1§M���&ªµªC¯A®G�4¥D« ®���«�®��&§�§G�y£�¥����&§'�G�4¥D«A·��h¯D®��y¥D«®���«�®��&§�§G�y£�¥v�G�1§M���y¥A«}²k��¡ ¨;´��>¯A§'��£�¦º��¹C�4§'�G�4¥D«��G�1§M�#©&¨�§G�&§����A¨F�#²a��®���ªC��­����4£�¢º�&ª,ªC¯D®��4¥D«��G�D��4¥D�T���4¨�����¹C�A¨;¯A§'�G�4­��[���&§'�G�4¥D«�£�¦��G�D�a§'£�¦V�M²a¨�®G�[°�¤�¡,¨��y¥ �R¨;�4¥D�y¥A«>�G�D�#�G�&§'��§G¯D�y�G��Ç ��ÃFÉZ·���£F²a��­���®1³�4¥|«��&¥D��®R¨;�Z³s§'£�¡,�±¥D�&²��G�1§M�}©�¨�§'�1§�¡ ¨*¤µ¨;��§'£¿�A¨*­��±�G£�°��N«��&¥D��®R¨F���&ª��£�¨�ªC�&Ê ¯A¨;�G�&�y¤��G�1§M��G�A�}¡N£CªC�yÀA�1ª�©�£CªC��·¸>�D�µ¢D®�£�«�®R¨;¡ã©R��¨;¥D«�����§ ¡ ¨;¢A¢��1ªn�4¥ �G£�¨¬§G��®��y�1§,£;¦��y£F²Æ�y�&­��&��¢D®G£�«�®R¨;¡ �1ªC�T�R§�·z� �

��ªC��¥ �G�y¦H¤�¨á©�£�¡,¢D�4�@���»§'����£;¦�¢D®G£�«�®R¨;¡ �1ªC�T�R§�§G¯A©R�ä�G�A¨;��©R�A¨;¥D«��&§N��£¬�G�D�µ¢D®�£�«�®�¨�¡ã©�¨�¥¨;�4²>¨*¤�§>°º�v¡ ¨;¢A¢��1ªµ�y¥ ��£�¨�§'�&®G�4�&§�£;¦�¢D®�£�«�®R¨;¡ �&ªC�y��§&·�¸>�D�4§��y��§'��£;¦��&ªD�T�R§���§�«��4­��&¥°��&�y£F²}·��§�²k�}©�¨�¥�§G����³��G�D�}�1ªC�y��§�¨�®G��ªC�@À�¥D�&ª��4¥¿����®�¡ §>£;¦=£�¢��&®�¨;�G�4£�¥A§>£�¥����D�}¢D®�£�«�®�¨�¡ ©�£�¥ �G®�£���A£F²å«�®R¨;¢D��· !�$ ���&�y���G�v¨N¯A§G��£�¦[¨N­F¨;®���¨;°D�4��¦H®G£�¡ ¨;¥¨�§�§'�4«�¥A¡N�&¥ ��§'��¨;�G�&¡N�&¥ �&· � $¿¼j¥A§'�&®'��¨N¯A§G��£;¦�¨9­F¨�®G��¨;°D�4���y¥µ¨�¥�¨�§G§G�y«�¥D¡,��¥ ��§M�R¨F�G�&¡,��¥ �&· � $ ���&�y���G�v¨,ªC�@À�¥D�T���y£�¥£;¦�¨,­F¨�®G��¨;°D�4�h¦H®G£�¡ ¨;¥µ¨�§�§G�y«�¥D¡,��¥ �>§'��¨;�G�&¡N�&¥ �&· � $¿¼j¥A§'�&®'��¨,ªC��ÀA¥D�y�G�4£�¥£;¦�¨N­*¨�®G��¨;°A�y���y¥µ¨�¥�¨�§G§G�y«�¥D¡,��¥ ��§M�R¨F����¡,��¥ �&· à $ ���&�y���G�v¨N¯A§G��£�¦[¨N­F¨;®���¨;°D�4��¦H®G£�¡ ¨,©@£�¥�ªC�T���y£�¥A¨;��§'��¨;�G�&¡N�&¥ �&· È $¿¼j¥A§'�&®'��¨N¯A§G��£;¦�¨9­F¨�®G��¨;°D�4���y¥µ¨,©@£�¥AªC�y�G�4£�¥A¨���§M�R¨F����¡,��¥ �&· $ �k�A¨;¥D«���¨�¥£�¢º��®R¨F�G£�®>£�®�¨,©@£�¥�§M�R¨;¥ ���y¥µ¨;¥¨�§�§G�y«�¥D¡,��¥ ��§M�R¨F�G�&¡,��¥ �&·

Page 12: Data Flow Testing 1

� � �

� $ �k�A¨;¥D«���¨�¥£�¢º��®R¨F�G£�®>£�®�¨,©@£�¥�§M�R¨;¥ ���y¥µ¨,©@£�¥AªC�y�G�4£�¥A¨���§M�R¨F�G�&¡,��¥ �&· � $¿¼j¥A§'�&®'��¨�¥¿�1ªC«���· !1Ä $ ���&�y���G�v¨�¥��1ªC«���· !&! $�¼j¥A§G��®G��¨,¥A��²å¨�§G§G�4«�¥D¡,��¥ ��§'��¨F����¡,��¥ �1· !�� $�¼j¥A§G��®G��¨,¥A��²å©�£�¥AªD�T���y£�¥A¨;��§'��¨;�G��¡,�&¥��1·���@�h¯A§�¨�§�§G¯D¡,���G�A¨;��²k�}¯A§G�&ª����D��ÒFÓVÓ��jÌ�Ô Ü Ô�©@®��T����®��y£�¥ªD¯D®G�4¥D«�©�£�¡,¢D�4�@�G�����&§'�G�4¥D«A·���¯A®'¶

�4¥D«�Õ Ü ê;Õ Ü ÔRÔ5Ð�ÑFÍåÏ Ü Ô5Ï7ÐVÍ�ê;³>«��4­��&¥ä¨¬¢A®G£�«�®R¨;¡ã�1ªC�T�1³>¥D£;��£�¥D�4¤ §'�A£�¯D��ªä�G�D�µ¥A��²��4¤ä©�®G�1¨F�G�1ªªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�v¨�§�§'£C©@��¨F���y£�¥A§>°º�}�G�1§M���&ªs³D°A¯C�h�4¥µ¨�ªDªC�y�G�4£�¥µ¨��y��ªC�@ÀA¥A�T���y£�¥C¶Z¯�§'�v¨�§G§G£C©@��¨F�G�4£�¥�§�G��¨F�h¨�®G�±¨;׺�1©5���&ªµªC�4®G�1©5���y¤�£�®��4¥AªC�4®��&©5���y¤�°�¤����D�v¢D®�£�«�®�¨�¡â�&ªD�T��¡±¯A§'��°º�±®��@�G�1§M���&ªs·�¸>�D�ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G��¨�§G§G£C©@��¨F���y£�¥A§k�G�A¨;��§'�D£�¯D��ª�°º���G�1§M���&ªªC¯D®��y¥A«N®���«�®G�1§G§G�4£�¥ ���&§'�G�4¥D« ¨;®���©��4¨�§M¶§G�TÀA�1ª��y¥ �G£N���D��¦H£��4�y£F²��4¥D«N�G�A®G�&��©&¨F����«�£�®G�4�&§&ç

Ù��±Ü é�Ò*ÔRÔ�Ñ&Î�Ð�ÒFÏZÐ�ÑFÍAÔ Ù � ¢D®�£�«�®�¨�¡ �1ªC�T��©&¨;¥¿©&¨;¯A§G�����D�}©@®��&¨;�G�4£�¥�£�¦=¥D�&²zªC�@À�¥D�T���y£�¥C¶d¯A§'�¨�§�§G£�©��4¨;�G�4£�¥A§.²��D�4©R��¡±¯A§'�k°º�����&§'�G�1ªs·[¼j¥�¢A¨;®G�G��©@¯A�4¨�®&³ �&ªC�y�#�M¤�¢º�&§ �C³ �D³ �A³�ÈD³ �D³ !!�³ ¨�¥Aª !��©�¨�¥�©�®G�1¨F����¥A��² ªC�@ÀA¥A�T���y£�¥C¶Z¯�§'�}¨�§�§G£�©��4¨;�G�4£�¥A§&·

Ù�� Ò;Ó�Ì Ü Ò*ÔRÔ�Ñ&Î�Ð�ÒFÏZÐ�ÑFÍAÔ Ù ¼d¦h¨�¥��@¹C��§M���y¥A« ªC��ÀA¥D�y�G�4£�¥ £�¦h¨»­F¨�®G��¨;°D�4����§,ªC�y®��&©@�G�4¤¬£�®N�y¥AªD�T¶®��&©5���y¤,�4¡,¢A¨�©@�G�&ª�°�¤,¨±¢D®�£�«�®R¨;¡ �&ªD�T�1³�§G¯A©R���G�A¨;�#�G�A�h­F¨;�4¯D��¨�§�§'�4«�¥A�&ª,�4¥��G�A��ªC��ÀA¥D�y�G�4£�¥¿�4§©R�A¨�¥D«��1ªs³��G�D�&¥µ¨;�4��ªC�@ÀA¥A�T���y£�¥C¶Z¯�§'�}¨�§�§G£�©��4¨;�G�4£�¥A§k¦H£�®>�G�D��§�ªC��ÀA¥D�y�G�4£�¥¡±¯A§'��°º�}®G���G�&§'�G�1ªs·

Ù�� Ò;Ï Û ÒFÔ�Ô�Ñ1Î@Ð�Ò;Ï7Ð�Ñ;ÍDÔ Ù ¼d¦k¨�¢A®G£�«�®R¨;¡Æ�&ªC�y��ªD�y®��&©@�G�4¤�£�®h�4¥AªC�4®��&©5���y¤»¨;׺�1©5�R§h¨�¢D®G�1ªC��©�¨F����³�G�A��¥�ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�h¨�§G§G£C©@��¨F�G�4£�¥�§[�y¡,¢A¨�©5�G�1ª °�¤±���D��¢A®G�1ªC�4©&¨F����¨;®���¨;��§G£��G�&§'�G�1ªs·(��¢D®��&ªD�T¶©�¨;�G����§a¨F×K�&©5���&ª °�¤,¨}¢D®�£�«�®�¨�¡ �&ªD�T�a�T¦��&�T���D��®k�G�D�h�&ªC�y�k��¹C¢D�y��©@�y�G�4¤,¡,£�ªD�TÀA�1§����D��¢D®��&ªD�4©&¨F�G�£�®o�G�D�a¢D®��&ªC��©�¨;�G�a©@£�¥ �R¨;�4¥A§o¨�¯A§'�k°��&�y£�¥D«��4¥D«��G£h¨±Í Ü é�£�® �*Ò;Ó�Ì Ü ¨�§�§'£C©��4¨;�G�4£�¥�· �äªC��ÀA¥D�y�G�4£�¥C¶¯A§G�µ¨�§�§'£C©@��¨F���y£�¥ ��§,�y¡,¢A¨�©5���&ªä°�¤ ¨á¢D®G�1ªC��©�¨F����T¦��G�D�»ªD�@ÀA¥D�y�G�4£�¥��4¥ ���D�»¨�§�§G£�©��4¨;�G�4£�¥n�4§©@£�¥ �G®�£��sªC��¢º��¥�ªC��¥ ��¯D¢º£�¥¿�G�A�}¢D®G�1ªC��©�¨F����·¸>�D��@¹D¨;¡,¢D�4�¿�4¥�Ö��y«�· C³.�R¨;´��&¥ ¦H®�£�¡ Ç �;Ä;ÉZ³k�y�4�4¯A§M��®�¨;�G�1§±���D�µ¨;°º£F­��¨;¢D¢A®G£ ¨�©R��· ¸>�A�4§

¢D®�£�«�®�¨�¡â�T����®R¨F���y­����4¤�©�£�¡,¢D¯C���&§����D�±§�Ê ¯A¨;®��}®G£�£���£;¦ �o·�¼d���A¨�§h¨;¥µ�&®G®�£�®��4¥|§'��¨F����¡,��¥ ����4¥�²��A�4©R� � !v§G�D£�¯D�4ª¿°º�±¨�§�§'�4«�¥A�&ª ���D�v­F¨;�4¯D��£;¦��%�,�4¥A§'�G�1¨�ª�£;¦�� �D· �k£�®�®G�1©5�G�4¥D«N�G�A�}��®�®G£�®©�¨�¥�°º���@¹C¢D®��&§�§G�&ª¬�4¥��G�&®G¡ §9£;¦��M²a£|�4£F² �4��­����a�&ªC�y��§&ç�ªC�&�y���G�4£�¥�£�¦��G�D�¿¯A§'�¿£;¦�� �¦H®�£�¡§'��¨F����¡,��¥ ��� ¦H£��4�y£F²a�&ª�°�¤����D�±�4¥A§G��®G�G�4£�¥£;¦[�G�A�±¯A§G�}£;¦ �%���y¥µ�y��§�¢D��¨�©@��·�¸>�D�±ªC��ÀA¥D�y�G�4£�¥C¶¯A§G�}¨�§�§'£C©@��¨F���y£�¥A§k�G�A¨;��¡±¯A§'��°º���G�&§'�G�1ªªC¯D���G£,���D�&§G�}�&ªC�y��§�¨�®G�}¨�§a¦H£��4�y£F²�§&ç

Ù��±Ü éåÒFÔ�Ô�Ñ1Î@Ð�Ò;Ï7Ð�Ñ;ÍDÔ Ù ¸>�D�±�y¥A§G��®G�G�4£�¥£�¦����D�}¥D�&² ¯�§'�}£�¦�� �,�y¥»§'��¨;�G�&¡N�&¥ ��� ©@®��&¨;�G�&§�¨¥D�&² ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�}¨�§�§'£C©@��¨F���y£�¥ à � � � � � $5·

Ù�� Ò;Ó�Ì Ü ÒFÔRÔ@Ñ1Î�Ð�ÒFÏZÐ�ÑFÍDÔ Ù Â �4¥A©@�>���D��­F¨;�4¯D��£;¦�� !�ªC��ÀA¥D�1ª9°�¤N§M�R¨F�G�&¡,��¥ � ���4§�¨;׺�1©5���&ªs³��G�D�­F¨;�4¯D�.¨�§�§G£�©��4¨;�G�4£�¥A§ � � � �- $ � � ! $@³ � � � � . $ � � ! $@³ � � à � � ! $@³ � �� È ��- $ � � ! $5³F¨�¥Aª � � È ��. $ � � !�$¡±¯�§M�a°��h�G�1§M���&ªs·�¸>�D�h¯A§'�h£;¦�� !��4¥�§'��¨F����¡,��¥ ��Ãv¨F×K�&©@��§#�G�D��ªC��ÀA¥D�y�G�4£�¥�£�¦��%�±¨�¥Aª,���D��®��@¶¦H£�®���­*¨��y¯A�¨�§G§G£C©@��¨F���y£�¥A§ à � � � � $5³ à �� È ��- $ � �%� $5³ à � È ��. $ � �%� $v¡9¯A§M��¨��4§G£|°º���G�&§'�G�1ªs·Ö��y¥�¨;�4�y¤��G�D�}¯A§G�}£;¦ �%�,�4¥µ§M�R¨F�G�&¡,��¥ � N¨F×K�&©@��§a�G�A�vªC�@ÀA¥A�T���y£�¥µ£;¦�� �,¨;¥Aª¿��� ¯�§>�G�D�}­F¨��y¯D�¨�§�§G£�©��4¨;�G�4£�¥A§ �� � �- $ � � � $@³ � � ��. $ � � � $5³D¨;¥�ª � à � � � $k¡±¯�§M��¨��4§G£9°º���G�1§M���&ªs·

Ù�� Ò;Ï Û Ò*ÔRÔ�Ñ&Î�Ð�ÒFÏZÐ�ÑFÍAÔ Ù ¸>�A��¨�°�£F­���­*¨��y¯A��¨�§G§G£C©@��¨F���y£�¥A§a�y¥AªD�4©&¨F�G�����A¨F�>���D�v¢D®��&ªC��©�¨;�G�1§ �¨;¥�ªµÈ ¨;®��v¨F×K�&©5���&ª°�¤¿�G�D�v�1ªC�y��§&·>¸>�A��®��@¦H£�®���¢A¨F���»¨�§�§'£C©��4¨;�G�4£�¥A§�©�®G�1¨F�G�1ª�° ¤ªC��ÀA¥D�y�G�4£�¥A§�G��¨F�k¨�®G��©@£�¥ �G®�£��DªC�&¢��&¥AªC��¥ �#¯A¢�£�¥N¢A®G�1ªC�4©&¨F���&§ �v¨�¥Aª,È�¡±¯A§'�.°����G�&§'�G�1ªs·[¸>�D��ªC��ÀA¥D�y�G�4£�¥A§�G��¨F�±¨;®��,©@£�¥ ��®G£��[ªD��¢º��¥AªC�&¥ �v¯D¢�£�¥á�G�D�1§'�,¢D®��&ªC��©�¨;�G�1§��y¥A©��y¯�ªC� §M�R¨F�G�&¡,��¥ ��§±ÃD³ �³=¨;¥Aª �D·Â �4¥A©@�¿¨;�4�kªC��ÀA¥D�y�G�4£�¥C¶d¯A§G��¨�§�§'£C©��4¨;�G�4£�¥A§�¦H£�®v�G�A�&§G� �G�D®����¿§M�R¨F�G�&¡,��¥ ��§±�A¨*­���¨��y®��&¨�ªC¤»°º����¥¡ ¨;®�´��1ª ¦H£�®>���&§'�G�4¥D« ¨�§>­F¨;�4¯D�}¨�§�§G£�©��4¨;�G�4£�¥A§&³C¨;�4�s¢A¨F���µ¨�§�§'£C©@��¨F���y£�¥A§a¨;®���¨��y®��&¨�ªC¤ �y¥�©@�4¯AªC�&ª�4¥¿���D�v¨;°º£F­���§G�@��£;¦�­F¨;�4¯D�v¨�§�§'£C©��4¨;�G�4£�¥A§&·

Page 13: Data Flow Testing 1

� � �

read x

x1 = .00001

x2 = x

if (x2 − x1) <= .00002

x3 = (x1 + x2) / 2

if (x3 * x3 − x) * (x1 * x1 − x) < 0

x2 = x3 x1 = x2

f

t

t f

1

2

3

4

5

6

7 8

9

x1 = x1 = x3

print x3

$ ]_`*w �&w�'CYM\7S7]_^*` $ P5t_t_P'U=]_^1`")ºX7P5`5XdWRm (ºg*] S7\Gw¸>�D��¡,£CªC�TÀ��&ª¬¢D®�£�«�®�¨�¡Þ¡±¯A§'�±°º��¨;¥�¨;�4¤ æ&�&ª �G£|�4ªC�&¥ �G�y¦H¤|���D��ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G��¨�§�§'£C©��4¨;¶

�G�4£�¥�§,�G�A¨;���A¨*­�����£¬�G�&§'�G�1ªs· ¾h¥A�»¨;¢D¢D®�£�¨�©R��¦H£�®�¢��&®'¦H£�®G¡,�4¥D«�§'¯�©R��¨�¥A¨;�4¤C§'��§N�4§ �G£��@¹�¶�A¨�¯A§M���y­����4¤�©�£�¡,¢D¯C���9ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�9¨�§G§G£C©@��¨F�G�4£�¥�§>¦H£�®h�G�D�9¢D®�£�«�®R¨;¡ ¢D®��y£�®��G£¿¨;¥»�1ªC�T�}¨�§²a���4�>¨�§v¦H£��y�4£F²��4¥D«|¨;¥n�&ªC�y�&·�Øa¤�©@£�¡,¢A¨;®��y¥A«»�G�A���M²a£»���D� Í Ü éåªC�@ÀA¥A�T���y£�¥C¶Z¯�§'�¨�§�§'£C©��4¨;¶�G�4£�¥�§�¨;®��}�4ªD��¥ �G�yÀA�&ª�·aØa¤¿§'��¨�®'���y¥A«,¨;���G�A��Í Ü éá¨�§G§G£C©@��¨F���y£�¥A§�¨;¥Aª�¢º��®G¦H£�®�¡,�y¥D«�¨N¦H£�®G²>¨;®Rª§'��¨F���4©,§G�y��©@�4¥D«£�¢º��®R¨F���y£�¥|£F­���®h�G�D� ªC��ÀA¥D�y�G�4£�¥C¶d¯A§G�,¨�§G§G£C©@��¨F���y£�¥A§�³K���D� �*Ò;Ó�Ì Ü ¨�§G§G£C©@��¨F�G�4£�¥�§¨;®��#��ªC�&¥����TÀ��&ªs·[¸>�D�a¢D®G�1ªC��©�¨F���&§��4¥ ­�£��4­��1ª��y¥�Í Ü é�¨;¥�ª��FÒFÓ�Ì Ü ¨�§G§G£C©@��¨F�G�4£�¥�§o¨;®��#¥A£F²�´�¥D£F²�¥¨;¥�ª}�G�A�>ªD�@ÀA¥D�y�G�4£�¥�§��G�A¨;�[¨�®G�>©@£�¥���®G£�� ªD��¢º��¥AªC�&¥ �[¯A¢�£�¥±���D��¡ ¨�®G�#¦H£�¯D¥�ªs·�Øk¤}¢º��®G¦H£�®�¡,�y¥A«¦H£�®�²>¨;®Rª�§M�R¨F���4©�§'�4��©@�4¥D«±£�¢��&®�¨;�G�4£�¥A§#¦H®G£�¡ �G�D�1§'�}ªC��ÀA¥D�y�G�4£�¥A§>¨��y�º�G�A���AÒFÏ Û ¨�§�§'£C©��4¨;�G�4£�¥A§k¨;®��¦H£�¯A¥Aªs·��¥D£��G�D�&®�¨;¢D¢D®�£�¨�©R�¬�G�A¨;� £�¥D�4¤�¢A¨�®'���4¨��y�4¤�©@£�¡,¢D¯D�G�&§N���D�µªC�@À�¥D�T���y£�¥C¶d¯A§'�µ¨�§G§G£C©@��¨F�G�4£�¥�§

°º�@¦H£�®��}¨;¥Aª¨;¦V�G��®>���D�}¢D®�£�«�®�¨�¡½�&ªC�y���4§>°�¨�§G�&ª¿¯D¢�£�¥µªC��¡ ¨;¥�ª�ªD®G�4­��&¥�¨�¥A¨;�4¤C§'��§�·(�h��¡ ¨;¥�ªªC®��y­���¥�¨�¥A¨;�4¤C§'��§v¨;�4«�£�®G�y�G�A¡,§±©�¨;¥�°º�¿ªD��­��4§G�&ªá��£»��ªC��¥ �G�y¦H¤¬£�¥D�4¤ �G�D£ §'��¨�§'£C©��4¨;�G�4£�¥A§����A¨F�¨;®���£�¦o�y¥ ����®��&§'�&·(��§a¨;¥���¹D¨;¡,¢D�4��©�£�¥A§G�4ªD��®k¨9§'�y�G¯�¨F�G�4£�¥��y¥¿²��D�4©R��¨±ªC��ÀA¥D�y�G�4£�¥�£�¦o­F¨;®��4¨�°D�4�� �A¨�§h°º����¥ ªC���4�@���&ªµ¦H®�£�¡ ¥D£CªC� � ·�� �N²k£�¯D��ªµ�y�4´��±�G£¿�4ªC�&¥ �G�y¦H¤�G�D��Í Ü é�ªC�@À�¥D�T���y£�¥C¶d¯A§'�¨�§�§G£�©��4¨;�G�4£�¥A§±¦H£�® � ���A¨F� ¡ ¨*¤��A¨*­���°º����¥ä�&§'��¨�°D�4�4§G�D�&ª�·���§G�4¥D«|���D�µ¨;�4«�£�®G�y�G�D¡ §,§G�D£F²�¥�4¥zÖ��y«�· �A³�²a�|©�¨�¥z©@£�¡N¢A¯C�G�|�G�D�¬ªC�@À�¥D�T���y£�¥A§¿£;¦ � �G�A¨;�¿®��&¨�©R���G�D�á��¥ �G®�¤�£;¦v¥D£CªC� � ���� 2�� 4 ����� �$. 6 � ��� $#$�¨�§#²k�&�y�K¨�§.�G�D��¯A§G�&§k£;¦ � �G�A¨;�>¨�®G��®��&¨�©R�A¨;°A�y�>¦H®�£�¡ �G�A�h��¹��y�k£�¦ � �Z· ��·4³ ��� 2�� 4 2���� ��� 6�� 6 � ��� $ $@· ���4� ªD�@ÀA¥D�y�G�4£�¥D¶Z¯A§G�k¨�§G§G£C©@��¨F���y£�¥A§K¦H£�® � �G�A¨;��¨;®��.�1§M�R¨;°D�4�4§G�D�1ª�G�A®G£�¯D«�� � ¨;®��#¥D£F²�´�¥D£F²�¥�·=¼d¦º§G£�¡,�#£�¦D�G�A�&§G�a¨�§G§G£C©@��¨F�G�4£�¥�§oªC��ª±¥A£;�=��¹C�4§'���4¥9�G�D�a¢D®�£�«�®R¨;¡¢D®��y£�®���£ �G�D�9�&ªC�y�&³º���D��¥µ���D��¤µ¨�®G��Í Ü é�¨�§G§G£C©@��¨F���y£�¥A§�·�¸>�D�N¨�ªC­F¨�¥��R¨;«��}£;¦��G�A�4§�¨;¢D¢A®G£ ¨�©R���§}�G��¨F�v���D�»Í Ü é�¨�§�§'£C©��4¨;�G�4£�¥A§��A¨*­�� °��&��¥¬¦H£�¯A¥Aª¬²��T���D£�¯D�±�@¹C�A¨�¯A§M���y­����4¤ ¨�¥A¨;�4¤�æ��4¥D«��G�D�¢D®�£�«�®�¨�¡�· ¸>�D� ÀA®�§'�µ¨;�4«�£�®��y�G�D¡ ¦H£�®ªC�&¡,¨�¥AªzªD®G�4­��&¥z©@£�¡N¢A¯C��¨;�G�4£�¥�£�¦9ªC�@À�¥D�T���y£�¥C¶d¯A§'�

Page 14: Data Flow Testing 1

� � �

��� ��!5� # %���� ��� � � ! % � ��V^1] SZ]�WRt_]_�MY�� � ���� #��5�DS7P�b'P5^@SZWR]_^�^*P�g*Y�%��������� � � ���� #�� ��]_\�^*PRS=YMm�l1SV~����X7YMm�PGp@Y�Wa^1P&g*Y5�F\ZW'~ �v�*Q4X7P5m!� � ���� #$�5�

�#" �zg1YMr*^*YM\=p5WRX7]�WR�*t_Y %$ ����&WRg*g'��S7P � ��� ��(� & �% ��)�)*��WRg*g�l*X7YMg*YMb'YM\7\ZP5X�^1P&g*YM\oPRQ+��SZP � � ���� #�� ���& � �#"

��& ��, �������- � $�. - & � � ��� �/(� & �% � �

"

� W�� $ ]_^*g1]_^*` ��YGWRbZc*]_^*` 6�YjrF^1] SZ]_P5^*\ �=\7]_^*`10sWRb32@U�WRX7g���^*WRt ~1\7]_\Gw

��� ��!5����45� ��6 � � � �7 ! % � ��V^1] SZ]�WRt_]_�MY�� � ���� #��5�DS7P�b'P5^@SZWR]_^�^*P�g*Y�%��������� � � ���� #�� ��]_\�^*PRS=YMm�l1SV~����X7YMm�PGp@Y�Wa^1P&g*Y5�F\ZW'~ �v�*Q4X7P5m!� � ���� #$�5�

�#" �zbMP5^@SdWR]_^1\[Waf*\7Y�PRQCp5WRX7]�WR�*t_Y %$ ����&WRg*g'��S7P 6 � � �/(� & �% ���& � �#"�#" �zg1P&YM\o^*PRS�g1YMr*^*Y�p5WRXZ]�WR�1t_Y �$ ����&WRg*g�\7f*bMb'YM\7\ZP5X�^1P&g*YM\oPRQ+��SZP�� � ���� #�� ���& � �#"

��& ��, �������- � $�. - & � 6 � � ��(� & �% � �

"

� � � $ ]_^1g*]_^*` ��Y'WRbdcFWR�*t_Y �=\7YM\ �o\Z]_^*` $ P5X7U�WRX7gh�=^FWRt ~1\7]_\Gw

$ ]_`*w�1w �oY'WRbdc1]_^*`�6�YjrF^*] S7]_P5^*\=WR^*g ��Y'WRbdcFWR�*t_Y �=\7YM\o�=^FWRt ~&\Z]_\Gw¨�§�§G£�©��4¨;�G�4£�¥A§k���A¨F��²a�v¨;®��}¨*²a¨�®G��£;¦�²>¨�§>¢D®�£�¢º£�§G�&ª¿°�¤��á����§'�&®�²��D£ ¯A§G�&ª¿���D�4§h¨;¢D¢A®G£ ¨�©R��G£µ©�£�¡,¢D¯C����§M�R¨F�G��©,§'�4��©@�&§ Ç � ����!��FÉd·  �y¥A©��N�G�D�&¥ ���D��§v¨;¢D¢A®G£ ¨�©R�|��¨�§�°º����¥á¯A§G�&ª �G£µªC�1¨;�²��y�G�¢D®�£�«�®R¨;¡½�1ªC�y��§>�4¥�£��G�D�&®�²k£�®G´C§�Ç ! ������ÄFÉd·8 � (��C( � � ==+�(��o<K(K<�!��s� �sJº<K( � ���¾h¥D�v£�¦��G�D�9¡,£�§'��ªC� '�©@¯D�y�h�R¨�§G´C§�£�¥A�}¦�¨�©��&§�ªC¯D®��y¥D«��G�D�9�y¥D�y�G��¨;�=�G�1§M���y¥A«�£;¦#¨�¢D®G£�«�®R¨;¡ �4§�G��¨F��£;¦º«���¥A��®R¨F�G�4¥D«��G�&§'�#©�¨�§'�1§���£��@¹C��®R©@��§'�k�G�A�a­F¨�®G�4£�¯A§=���&§'�[®��&Ê ¯D�4®���¡,��¥ ��§&·o���A�y�4��ªC¯D®��y¥D«¦H¯D¥A©@�G�4£�¥A¨����G�1§M���y¥A« ���D��G�1§M��©&¨�§G�&§,¨;®���«���¥A��®R¨F�G�1ª�¦H®�£�¡ã�G�D�¦H¯D¥�©5�G�4£�¥�¨;��§G¢��1©@�yÀ�©�¨;�G�4£�¥�³ªC¯D®��4¥D«±ªD¨;��¨ ��£F²n���&§'�G�4¥D«v���&§'�a©&¨�§G�&§.¡9¯A§'�#°���«��&¥D��®R¨F���&ª9�G£9¢D®�£F­ ��ªC��¨�ªC�&Ê ¯A¨;�G��©�£F­��&®�¨�«��¯D¥AªD��®9�G�D��§'�&�y�1©5�G�1ª¬�G�1§M�,©@®��T����®��y£�¥¬¦H£�®N¨µ«��4­��&¥��y¡,¢D�4��¡,��¥ �R¨F�G�4£�¥o·¬¾h¥D��°�¤¬£�¥A��¨�§v�G�D��G�1§M��©&¨�§G�&§N¨;®���«��&¥D��®R¨F���&ªs³.�G�D�¢D®�£�«�®�¨�¡ ��§N�@¹C�&©�¯C�G�1ª £�¥��G�A��¡ ¨�¥Aª����D��@¹C�&©�¯C�G�4£�¥n�4§¨;¥�¨;�4¤ æ&�&ª �G£ �4ªD��¥ �G�y¦H¤á�G�D���G�&§'�±®��&Ê ¯D�4®G�&¡,��¥ ��§v�G�A¨;�9¨;®���©@£F­���®��&ª °�¤ ���D� ���&§'�N©�¨�§'��· ��§�G�1§M���y¥A«v¢D®�£�©����1ªD§�³ ¨;¥�¨;�'�G�&¡,¢C�#¡±¯�§M�#°º��¡ ¨�ªC���G£±«���¥A��®R¨F�G�a���&§'�a©�¨�§'�1§��G�A¨;�k��¹��&®�©��4§G�>�G�1§M�®��&Ê ¯D�4®G�&¡N�&¥ ��§k�G�A¨;��¨;®���¤��@�>��£ °��v©�£F­���®��&ª�·8 �y� ;9� - "*� � (K��3M% � - $ "&%�!=�;-*�;2V�1%�/ 8D-¾h¥D� ¨;¢A¢D®G£ ¨�©R�µ��£�G�1§M�}�4¥D¢D¯C�v«���¥D�&®�¨;�G�4£�¥|�4�&¨*­��&§h�G�A�9�R¨�§G´»£;¦a«��&¥D��®R¨F���y¥D«¿�G�1§M�±©&¨�§G�&§h�G£�G�A�v¢��&®�§G£�¥¿�G�1§M���y¥A«,�G�D�±§G£;¦V�M²>¨;®���· � ­���¥¯D¥�ªC��®����D��§�§'�y�G¯�¨F�G�4£�¥µ§G£�¡,�}£;¦��G�A�}£;�G�A��®��R¨�§G´�§©�¨�¥á§'�G�4�4�.°���©&¨;®�®G�4�&ª £�¯D�}¨�¯C�G£�¡ ¨F�G��©�¨��y�4¤�·,¼j¥¬¢A¨�®'���4©�¯D�4¨�®&³��G�D��ªC���G�&®G¡,�4¥A¨F���y£�¥ £�¦a£F­���®R¨;�4�

Page 15: Data Flow Testing 1

� � �

�G�1§M��®��&Ê ¯D�4®���¡,��¥ ��§&³��G�A�}�G®R¨�©R´��4¥D«9£�¦=���&§'��®G�1Ê ¯D�y®���¡,�&¥��R§>�@¹C��®R©@��§G�&ª¿° ¤�¨N«��4­���¥¿�G�1§M��©�¨�§G��³¨;¥�ª��4ªD��¥ �G�yÀ�©�¨;�G�4£�¥�£�¦��G�&§'�9®��&Ê ¯D�4®���¡,��¥ ��§v�G�A¨;�9¡9¯A§M�N°��¿�@¹C��®R©@��§G�&ª �G£á§G¨;�G��§M¦H¤ �G�D�¿�G�1§M�©@£F­���®R¨;«��h©@®��y�G��®��4£�¥¿©&¨;¥¨;�4��°º�v©�¨;®�®��y�1ª�£�¯D��¨�¯C�G£�¡ ¨F�G��©�¨��y�4¤�·¸>�D��«���¥D�&®�¨;�G�4£�¥�£;¦����&§'�N©&¨�§G�&§v��§9�@¹��G®���¡,���4¤á�4¨�°�£�®±�4¥�����¥A§G�4­��¿¨�¥Aª¬���y¡,�¿©�£�¥A§G¯D¡,�4¥D«A·

¸>�D�&®G��¦H£�®��>�G�D��¯�§'��£�¦s§'��¨;�G��©�¨;¥�¨;�4¤�§G��§[�y¥C¦H£�®G¡ ¨;�G�4£�¥,�A¨�§.°��&��¥ �@¹C¢D�4£�®��&ª9��£v«�¯D��ªC�>���D��¯A§G��®ªC¯D®��4¥D«,�G�D�}«���¥D�&®�¨;�G�4£�¥�£;¦��G�1§M��ªD¨;��¨µÇ � !�ÉZ·.¼j¥¢A¨�®'���4©�¯D��¨;®1³D§M�R¨F�G��©��4¥C¦H£�®�¡ ¨F�G�4£�¥��§�¯A§G�&ª¿�G£��ªC��¥ �G�y¦H¤µ¢A¨;�G�A§��G�A¨;��©�£F­���®�£�¥D�9£�®�¡,£�®G�±�G�&§'�h®��&Ê ¯D�4®���¡,��¥ ��§��G�A¨;��¨�®G�±¤��@�h�G£¿°��±�G�&§'�G�1ªs·��¥A£;�G�A��®�¢D®G£�°D�4��¡Æ�G�A¨;����§h��¥A©�£�¯D¥ �G�&®G�1ªµ��§hªC¯A�±��£��G�A�9¢D®��&§G��¥�©@�v£�¦#�y¥D¦H�&¨�§G�4°D�y�9¢D®�£�«�®R¨;¡¢A¨;�G�A§&·  �y¥�©@�N�G�D� ��ªC�&¥����TÀº©�¨F���y£�¥ £�¦#���&§'�v®G�1Ê�¯A�y®���¡,��¥ �R§h��§�°A¨�§'�1ª|¯D¢º£�¥¬§'��¨F���4©,¨�¥A¨;�4¤C§'��§�³�y�,��§N¢�£ §G§G�4°D�y�¿�G��¨F� §'£�¡N��£;¦��G�D���ªC��¥ �G�yÀA�1ª����&§'�N®��&Ê ¯D�4®G�&¡,��¥ ��§N¨;®��¿�4¥�¦�¨�©5�µÐVÍ&Ë Ü ÒFÔRÐ ��Ó Ü ³�G��¨F�,�4§&³��G�A��®�����§9¥A£|¢D®�£�«�®�¨�¡ �4¥D¢D¯C� £�¥�²��D��©R���G�A��¤�¨;®�����¹��&®�©��4§G�&ª�·¬¸>�A��«��&¥D��®R¨F���y£�¥£;¦��y¥D¦H�&¨�§G�4°D�y�h�G�1§M��®��&Ê ¯D�4®G�&¡,��¥ ��§a��§k¯A¥A¨*­�£��4ªD¨�°D�4�h°º�&©&¨;¯A§G��§'��¨;�G��©h¨�¥A¨;�4¤C§'��§a�4§a°A¨�§'�1ª�¯A¢�£�¥�G�A��¨�§�§'¯A¡N¢D�G�4£�¥á�G�A¨;�9¨;�4�.¢D®�£�«�®�¨�¡ ¢A¨F���A§±¨�®G�N¦H�1¨�§G�y°D�4��·¸>�D�,���y¡,��§G¢��&¥ �±�y¥¬��®G¤��4¥D«�G£«��&¥D��®R¨F����¨}���&§'�a©�¨�§'��¦H£�®k¨�¥ �y¥D¦H�&¨�§G�4°D�y���G�1§M�a®G�1Ê�¯A�y®���¡,��¥ �#��§#©��y�1¨;®��y¤N²>¨�§'�G�&ª�·=¼j¥ ¦�¨�©5�a�T�a�4§Ê ¯D�y�G�v¢º£�§�§'�4°D�4���G�A¨;���G�A�v�G�1§M�h��¥D«��y¥D�&��®�ªC��§�©@£F­��&®�§a���A¨F��¨N�G�&§'��®��&Ê ¯D�4®G�&¡,��¥ ���4§��y¥D¦H�&¨�§G�4°D�y�£�¥A�y¤�¨F¦V����®§'¢º��¥�ªC�y¥A«n¨�«�®G�1¨F�¿ªD�&¨;��£;¦±�G�4¡N� �G®�¤��y¥A«��G£ä«��&¥D��®R¨F���|¨����&§'��©�¨�§'�|¦H£�®��G�D�®��&Ê ¯D�4®G�&¡N�&¥ �&·¸o£v®��&ªD¯A©@�>���D���G�4¡,��²>¨�§'�G�1ª9£�¥,�y¥C¦H�1¨�§G�y°A�y��®��&Ê ¯D�4®���¡,��¥ ��§&³�¨�¥ ¨;¢D¢D®�£�¨�©R�9²>¨�§.¢D®G£�¢�£ §'�1ª

°�¤ Øa£CªC�4´ Ü Ï}ÒFÓ Ù Ç �*Éd·��â§G�y¡,¢D�4��§'��¨F���4© ¨�¥A¨;�4¤C§'��§��4§±ªC�&§�©@®��y°º�&ª ��£µ�4ªC�&¥ �G�y¦H¤ §G£�¡,� £;¦k�G�D��4¥C¦H�&¨�§'�4°D�4�9���&§'�}®G�1Ê�¯A�y®���¡,��¥ �R§�·±¸>�A�&§G�N®��&Ê ¯D�4®���¡,��¥ ��§�©�¨�¥ °º�,®G�&¡,£F­��&ªµ¦H®G£�¡ ©@£�¥A§'��ªC�&®�¨;¶�G�4£�¥µªC¯A®G�4¥D«,�G�A�}�G�1§M���y¥D« ¢A®G£C©@�1§G§&·#¸>�D�}°�¨�§G�4©���ªC�&¨,°º���A�y¥Aª����D��§�¨;¢A¢D®G£ ¨�©R�¿�4§>��£ �4ªD��¥ �G�y¦H¤§G¡,¨��y�4�&§'�9§G¯D°D¢A¨;�G�A§v�G�D®�£�¯A«��á�G�D��©@£�¥���®G£��(�A£F² «�®R¨;¢A� ���A¨F�N¨;®����y¥D¦H�&¨�§G�4°D�y��·µ¸>�D����®�¨�ªC�T¶�G�4£�¥�¨;�sªD¨F�R¨ ��£F²�¨;¥A¨��y¤C§G�4§#¦H£�®>��ªC��¥ �G�y¦H¤��y¥A«,ªD�@ÀA¥D�y�G�4£�¥D¶Z¯A§G��¨�§�§'£C©@��¨F���y£�¥A§.��§a�G�A��¥�¡,£CªC�yÀA�&ª§G¯A©R� ���A¨F� �y� ¢D®G�&­��&¥��R§N¢D®G£�¢A¨;« ¨F���y£�¥�£;¦�ªD¨F�R¨���£F²â�y¥D¦H£�®�¡,¨;�G�4£�¥ä¨;�4£�¥D«á�y¥D¦H�&¨�§G�4°D�y�µ§G¯D°C¶¢A¨;�G�A§&·��k£�¥A§G�4ªD��®a�G�D����¹C¨�¡,¢D�y���4¥�Ö��4«A· �N²��D�4©R��©@£�¥��R¨;�4¥A§>¨;¥¿�y¥C¦H�1¨�§G�y°A�y��ªC�@À�¥D�T���y£�¥C¶j©5¶d¯A§'�¨�§�§G£�©��4¨;�G�4£�¥ ! � � � 2($5·¸>�D�4§9¨�§�§'£C©��4¨;�G�4£�¥�©�¨�¥á°º����ªC��¥ ���TÀA�1ª�¨�§v°��&�y¥D«|�y¥C¦H�1¨�§G�y°A�y��°�¤|�G�D�¨;¥�¨;�4¤�§G��§��y¥nÇ �FÉZ·�¼j¥µ¢A¨�®'���4©�¯D��¨;®1³A�y�h��§�ªC���G��®�¡,�y¥A�&ª��G��¨F�h�y¦ ��� 8¿��§���®G¯A�v�G�A��¥ ��� 8�� !¡±¯�§M��¨��4§G£9°º���G®�¯D�v¨�¥Aª����D��®��@¦H£�®G�����D�v§'¯A°D¢A¨F���#! . ��. �,�4§>�4¥C¦H�&¨�§'�4°D�4��·

if x < y

if x < y + 1

a = .... .........

.... = a − 1.... = a + 1

1

t f

t f

.........

2

3 4

Feasible def−use association: (1,3,a)

Infeasible def−use association: (1,4,a)

$ ]_`*w 1w $ Y'WR\Z]_�*t_Y[p&\=�V^&Q4Y'WR\Z]_�1t_Y 6�YjrF^*] S7]_P5^1u �=\7Y���\7\ZP�b']�W�S7]_P5^*\'w

Page 16: Data Flow Testing 1

� � �

8 � � <>"&%M8A�h�1%M�&I (K�&3M% � - $�"1%�!=��-1��2��1%�/ 8A- �4¥A©@�h�G�1§M�a�y¥A¢D¯C��«��&¥D��®R¨F���y£�¥N��§>¨}���y¡,��©@£�¥�§'¯D¡,�4¥D«v¢D®�£C©@�1§G§&³�®��&§G�&¨�®�©R�A��®R§��A¨*­���¢D®G£�¢�£ §'�1ª�G�1©R�D¥D��Ê ¯D�&§�¦H£�®h¨�¯C�G£�¡ ¨F�G�4¥D« ���&§'���4¥D¢D¯C��«��&¥D��®R¨F���y£�¥¬Ç � ! ��� !1È�� � ��� � ��� � ��� � �;Éd·�¼j¥µ�G�A�4§§G�&©5���y£�¥�²a��ªD�&§�©@®��y°º��¨�¥�¨�¢D¢D®�£�¨�©R�,�G�A¨;�>��¨�§a°��&��¥�¢D®�£�¢º£�§G�&ª,��£,¨�¯C�G£�¡ ¨F�G��©�¨��y�4¤,«��&¥D��®R¨F����G�1§M� ªD¨;��¨D·��á��ÀA®R§M�,©@£�¥�§'��ªC��®,¨á©@��¨�§�§±£�¦�¢D®�£�«�®R¨;¡ §±�y¥n²��D�4©R� �G�D�°D®R¨;¥�©R��¢D®��&ªC��©�¨;�G�&§�4¥ ­�£��4­��|©�£�¡,¢D¯C�R¨F���y£�¥A§����A¨F�µ©�¨�¥�°º� ��¹�¢A®G�1§G§G�&ª�¨�§��4�y¥A�&¨;®¿¦H¯D¥A©@�G�4£�¥A§�£�¦}�G�D�á¢D®�£�«�®R¨;¡�4¥D¢D¯C�R§�· �=¨F�G�&®>²k�}§G�D£F²��D£F²����D��§�©@£�¥�ªC�T���y£�¥¿©&¨;¥�°���®�����¨F¹C�&ª��G£,¨;�4�y£F²�¦H£�®>¡N£�®G��«��&¥D��®R¨;�¢D®�£�«�®�¨�¡,§&·¸>�D�#�D�4«��}�4��­�����­ �4��²¬£�¦C�G�D�a¨;¯C��£�¡ ¨F���&ª��G�1§M�[ªD¨F�R¨�«��&¥D��®R¨F���y£�¥�¡N���G�D£Cª����A¨F�=²k�k¢D®G�1§'�&¥ �

��§±¨�§v¦H£��4�y£F²�§&·µ�á��ÀA®R§M�N§'�&�y�1©5�9¨µ¢A®G£�«�®R¨;¡ ¢�¨F�G�¬���A¨F�N�@¹C��®R©@��§G�&§����D�����&§'�9®��&Ê ¯D�4®G�&¡N�&¥ �°º���4¥D«�©@£�¥A§G�4ªC�&®G�1ªs·o¸>�D�#��¨�§'´h£;¦C�G�A���G�1§M��«���¥A��®R¨F�G£�®s�4§��G£���ªC�&¥����T¦H¤}¨�¢A®G£�«�®R¨;¡��4¥D¢D¯C��²��D��©R�²��4�y�.©&¨;¯A§G�N�G�D�,¢D®�£�«�®�¨�¡�Á §h�@¹C�&©�¯C�G�4£�¥ �G£�¦H£��4�4£F²��G�A�,§G���4�&©@�G�1ª|¢A¨;�G��· ¸=£µ©�¨;®�®�¤�£�¯C�}�G�A�4§��¨�§'´N²a�h©@£�¥A§G�4ªC�&®#�1¨�©R� °D®R¨;¥A©R��¢D®G�1ªC��©�¨F������­F¨��y¯A¨;�G�4£�¥�¨��y£�¥D«}�G�A��§G���4�&©@�G�&ª�¢D®G£�«�®R¨;¡ ¢A¨F���¨;¥�ª °�¤�¨;¥A¨��y¤�æ��4¥D«}���D��©@£CªC�h¨��y£�¥D«}���D�h¢A®G£�«�®R¨;¡ ¢A¨F����²k��ªC��®��4­��h¨±�y�4¥D�1¨;®>©@£�¥�§M��®�¨��y¥ �#£�¥�G�A�N¢A®G£�«�®R¨;¡Á §��y¥A¢D¯C��§����A¨F��¡±¯�§M�}°º�,§�¨F���4§'ÀA�1ª¦H£�®��G��¨F�}°D®R¨;¥A©R�»¢A®G�1ªC�4©&¨F���±��£¿�&­*¨��y¯�¨F�G�©@£�®G®��&©@�G�4¤�· ¸>�D�4§¿¢D®�£C©@�&§�§¿�4§¿®G�&¢��1¨F���&ª�¦H£�®¿�1¨�©R��°D®R¨;¥�©R��¢D®G�1ªC��©�¨F���|�&­*¨��y¯�¨F�G�4£�¥å¨;¥Aª�¨§G¤�§'�G�&¡ £�¦��4�y¥A�&¨;®�©�£�¥A§'�G®R¨;�4¥ ��§>��§�£�°D��¨;�4¥D�1ªs·���¥�¤©@£�¥A§M��®�¨��y¥ ��§G£��4­���®1³C§'¯�©R�¨�§�� �½Ç � �;Éo£�®��� �½Ç � �FÉd³D©�¨�¥¿���D��¥²a��¯A§'�1ª���£�§'£��y­������D�}�4�y¥D�1¨;®�©�£�¥A§'�G®R¨;�4¥ ��§G¤C§M����¡·

GeneratorConstraint

LinearConstraint

Solver

Linear

Requirement

TestConstraintPath

Selector Path

Program

System Input

Test

$ ]_`*w&%��1w���f1S7P5m�W�SZYMg�'CYM\�S 6�W�SdW���YM^*YMXZW�SZ]_P5^vWR^*g 'CYM\7S7]_^*`*w¸>�D��¨;°º£F­�� ¨;¢A¢D®G£ ¨�©R�¬ªC�&¨��4§v²��T���á�4¥C¦H�1¨�§G�y°D�4��¢A¨;�G�¬¢D®�£�°D�4��¡ Ê ¯D�T��� ¥A¨F��¯D®R¨;�4�y¤�·�¼d¦a�G�D�

¢A¨;�G�¿©R�A£�§G��¥ ��§#�4¥C¦H�&¨�§'�4°D�4��³ �G�A��¥����D��§'���k£;¦�©@£�¥�§M��®�¨��y¥ ��§.�G�A¨;�a®��&§G¯D�y�k²��4�y�º°º�h�4¥A©@£�¥A§G�4§'�G�&¥��¨;¥�ª»���D��®��@¦H£�®G�N¥D£§'£��y¯C���y£�¥ ²��4�4��°��N¦H£�¯A¥Aªs·N¼d����§�¢º£�§�§'�4°D�4�9���A¨F�����D��®��N¨�®G�,©@�&®'�R¨;�4¥á©�£�¥C¶§'�G®R¨;�4¥��R§�£�¥,���D���4¥D¢D¯C�>ªC£�¡ ¨��y¥ ��· «A·4³�¨;¥ �4¥D¢D¯D�k­F¨;�4¯D��¡ ¨*¤±��¨*­��>�G£±°���¨�¢�£ §'�y�G�4­����4¥ �G�&«���®�G£,°º�}¡,�&¨;¥A�y¥D«�¦H¯D� $5·.¸>�D�1§'�}©@£�¥A§'�G®R¨;�4¥��R§>©�¨;¥¨;��§G£9°º�}¥A¨F��¯D®R¨;�4�y¤���¨;¥AªC�4�&ª¿�4¥©�£�¥��M¯A¥A©5���y£�¥²��y�G���G�D�vªD��®��y­��&ª�©@£�¥�§M��®�¨��y¥ ��§a°�¤ ���D�v©@£�¥A§M��®�¨��y¥ ��§G£��4­���®1·¸>�D�±´���¤µ§M����¢»£�¦.�G�A�9¨;°º£F­��±¢D®G£C©��&§�§���§����D�9ªD��®��y­F¨F���y£�¥»£;¦����D�,§'¤C§'�G��¡ £�¦.�y�4¥D�&¨�®�©�£�¥C¶

§'�G®R¨;�4¥��R§>¦H®�£�¡â���D�±¢A®G£�«�®R¨;¡·.�á�±ªC��§G©�¯A§G§��M²k£�¨�¢D¢D®�£�¨�©R�D�&§a��£�©�¨;®�®�¤�£�¯C���G�D��§��R¨�§G´ºçk£�¥D���§h°�¨�§G�&ªµ¯D¢º£�¥nÔ FÝ �RÑ;Ó�Ð�Î Ü �&Ó4ÒFÌAÒFÏZÐ�ÑFÍ�Ç �FÉ.¨;¥�ªµ�G�A�9£��G�D�&®h��§�¨;¥ Ü "�Ü Î@ÌCÏZÐ�ÑFÍ �RÒ*Ô Ü�� Ç � �;É�¨;¢C¶¢D®�£�¨�©R��·��á���4�4�y¯A§'�G®R¨F�������D�&§G�µ¨;¢D¢A®G£ ¨�©R�D�1§}�G�A®G£�¯D«��ä¨;¥ä�@¹D¨;¡,¢D�4�¿¢A®G£�«�®R¨;¡ £;¦hÖ��4«A· !&!²��D��©R�®G�1¨�ªD§a���D®G�&���y¥D¢A¯C��­F¨;�4¯D�&§>�4¥ �G£ ­F¨;®���¨;°D�4�&§�2º³ �h¨;¥Aª ��¨;¥�ª����D��¥»©R�A¨�¥D«��1§k�G�D�±©�£�¥C¶�G�&¥ ��§v£�¦k���D��­F¨;®���¨;°D�4�&§v§G¯A©R�á�G��¨F�±�&­���¥ ��¯A¨;�4�y¤ 2|©�£�¥ ��¨��y¥A§}�G�D��§G¡ ¨;�4�y�1§M�v¥�¯D¡9°��&®±¨;¥�ª �©@£�¥ ��¨;�4¥A§��G�D�9�4¨�®G«��&§'��¥ ¯A¡±°º��®1·�� �N©@£�¥�§'��ªC��®��G�D�9«��&¥D��®R¨F���y£�¥�£�¦[�G�&§'��ªA¨F��¨ ¦H£�®h¨�©@£�¯A¢D�y�£;¦[¢A¨;�G�A§a���D®G£�¯D«��¿�G�A�4§�¢A®G£�«�®R¨;¡³�£�¥D��¦H�&¨�§'�4°D�4�}¨;¥Aª�¨;¥D£��G�D�&®��y¥D¦H�&¨�§G�4°D�y��·� FÝ ��Ñ;Ó�Ð�Î Ü �*Ò;Ó�ÌAÒFÏZÐ�ÑFÍ��RÒFÔ Ü�� ��Ü Õ5Ð �FÒFÏZÐ�ÑFÍzÑ'Ë�Ó�ÐVÍ Ü ÒFÕµÎ�Ñ;ÍDÔ5ÏZÕGÒFÐVÍ�Ï�Ô Ù �o�@�,¯A§9©�£�¥A§G��ªC��®±�G�D�

Ô FÝ �RÑ;Ó�Ð�Î Ü �*Ò;Ó�ÌAÒFÏZÐ�ÑF͵¨�¢D¢D®�£�¨�©R�o·�ÖA£�®��&¨�©R�|°D®�¨�¥A©R�µ¢D®��&ªC��©�¨;�G�N��­F¨;�4¯A¨;�G�4£�¥|¨��y£�¥D« �G�A�N§G�@¶�4�&©5���&ªn¢A¨F����³a²k�¢D®���¢A¨�®G�¨á§M��®�¨��y«������y�4¥D�©@£CªC�µ§G��«�¡,�&¥���©�£�¥A§G�4§'�G�4¥D«á£;¦�¨;�4��§M�R¨F�G�&¡,��¥ ��§¨;�4£�¥A«��G�A�N¢�¨F�G�á�@¹D©���¢C��¦H£�®��G�A�N�1¨;®��y�4��®�°D®R¨;¥A©R�|¢D®G�1ªC��©�¨F���9�&­F¨;�4¯A¨F���y£�¥A§�·9¸>�D�4§�§'�G®R¨;�4«�� �'¶�4�y¥D�¿©@£CªC����§±§G¤�¡±°º£��4�4©&¨;�4�y¤ �@¹C�&©�¯C�G�1ª�§'£µ���A¨F�±�G�D�¿°D®�¨�¥A©R�¬¢D®��&ªC��©�¨;�G���&­*¨��y¯�¨F�G�4£�¥¬¯D¥�ªC��®©@£�¥A§G�4ªC�&®�¨;�G�4£�¥±©&¨;¥9°��>�@¹C¢D®��&§�§G�&ªvªC�4®��&©5���y¤±�y¥±�G��®�¡ §[£;¦D���D�>¢D®�£�«�®R¨;¡ �4¥D¢D¯C�R§�·�¸>�D�>ªC�&§G�4®G�1ª

Page 17: Data Flow Testing 1

� �#�

read a,b,c

if b > c

t = bb = cc = t

t = aa = bb = t

if a > b

if i < 2

i = 0

i = i + 1

print a,b,c

tf

tf

t

f

1

2

3

4

5

7

6

8

9

$ ]_`*w&% %5wå�=^�(Ai*WRm�l1t_Y�Q4P5X 'CYM\7S�6[W�SZW ��YM^*YMXdW�S7]_P5^ w��­F¨��y¯A¨;�G�4£�¥¬£;¦>���D��°D®R¨;¥A©R�¬¢D®��&ªD�4©&¨F�G���y¡,¢º£�§G�&§v¨»©�£�¥A§'�G®R¨;�4¥ �}£�¥¬�G�A���y¥A¢D¯C��§±�G��¨F�±¡9¯A§M�°º�,§�¨F���4§'ÀA�1ª»°�¤µ�G�A�9���&§'���4¥D¢D¯D�&·,¸>�D�4§�¢A®G£C©@�1§G§h��§�®G�&¢��1¨F�G�1ªµ¦H£�®��1¨�©R� °D®�¨�¥A©R�»¢D®��&ªD�4©&¨F�G���­F¨��y¯A¨;�G�4£�¥¨;�4£�¥D«9�G�A�v§'�&�y�1©5�G�1ª�¢A¨F���¨�¥Aª�¨N§G¤C§M����¡ £;¦�©�£�¥A§'�G®R¨;�4¥ ��§a��§�ªC��®��4­��&ª�·Ö=�4«A·"!��µ�4�y�4¯A§'�G®R¨F�G�1§9�G�D��§,¨;¢D¢D®�£�¨�©R�¬¦H£�®N�G�A�§G£�®G�G�4¥D« �@¹D¨;¡,¢D�4��£�¦hÖ��y«�·�!&!�·�¸>�D�¿ÀA®R§M�

¢A¨;�G�å©�£�¥A§G��ªC��®��&ªz�4§¨ ¦H�&¨�§G�4°D�y�á¢A¨;�G��· ¸>�A�á©�£�ªD�á¨��y£�¥D« ���D�á¢A¨F���å��§�«��4­���¥å¨;¥Aª��G�D�ªC�1§'�4®G�1ª»°D®R¨;¥�©R� ¢D®��&ªD�4©&¨F�G�N��­F¨��y¯A¨;�G�4£�¥A§�¨�®G�N�y¥�ªC�4©&¨F���&ªs·,ÖD£�®v§'�4¡,¢D�y��©@�y�M¤µ���D� §M�R¨F�G�&¡,��¥ ��§�G��¨F���y¡,¢D�4��¡,��¥ ���G�A�9�4£�£�¢�³�©&¨;¯A§G�y¥A«��y�h��£¿�y�G�&®�¨;�G�9�M²��4©���³s¨;®��±�4«�¥D£�®G�1ªs·}¸>�D��§h��§�°��1©�¨�¯A§'�¥D£N�y¥A¢D¯C��©@£�¥�§M��®�¨��y¥ ��§k²��4�y�K®��&§G¯D�T�k¦H®G£�¡â¨;¥A¨��y¤�æ&�y¥D«v�G�D���y£�£�¢�¢D®��&ªC��©�¨;�G�h��­F¨;�4¯A¨F���y£�¥A§a§'�4¥A©@��G�A�»¥�¯D¡±°º��®¿£;¦��G�4¡,�&§ ���D�»�4£�£�¢��y�G��®R¨F���&§ ��§ ÀA¹��1ª�¨;¥Aª��4¥AªC�&¢��&¥AªC�&¥���£;¦��G�A�»¢D®�£�«�®R¨;¡�4¥D¢D¯C�1·>¸>�A�4§�¦�¨�©5��©�¨;¥µ¨��4§G£ °��±�&¨�§G�4�y¤�ªC�4§�©@£F­���®��&ª��G�D®�£�¯A«��µ§'¤�¡9°�£��y��©���­F¨;�4¯A¨;�G�4£�¥�·a���D��¥§G¤ ¡9°�£��y��©��&­*¨��y¯�¨F�G�4£�¥}£�¦��G�D�a©@£CªC�#¨��y£�¥D«>�G�D�k¢A¨F�����G£h£;�G�A��®o°A®�¨�¥A©R��¢D®G�1ªC��©�¨F���.��­F¨��y¯A¨;�G�4£�¥A§��§a©&¨;®�®G�4�&ª,£�¯C�>²k�h£�°C�R¨;�4¥�¨9§G¤C§M����¡ £;¦�©@£�¥�§M��®�¨��y¥ ��§k§'�A£F²�¥��y¥��G�D�hÀA«�¯D®G��·�¸>�A�4§a�4¥AªC��©�¨F���&§�G��¨F�}¦H£�®v�G�D� ¢A¨;�G�á�G£µ°º�,¦H£��4�4£F²k�1ªs³o²a�,¡±¯A§'�9§G���4�&©5�}�4¥D¢D¯C�9­*¨��y¯A�&§�¦H£�® 2�³ �9¨;¥Aª �,§'¯�©R��G��¨F�72 � � � �F·¼d¦�²a�»©@£�¥A§G�4ªC�&®,�G�D� §'�1©@£�¥�ª ¢A¨;�G��§G�D£F²�¥ä�y¥����D�ÀA«�¯A®G��³a²a�¥D£;���4©��µ�G��¨F� �G�A�4§�¢A¨F���

£�¥A�y¤µªC�y׺�&®�§�¦H®G£�¡Æ�G�D�±ÀA®�§'�h¢�¨F�G�|�y¥ �T�R§��&­*¨��y¯�¨F�G�4£�¥µ£�¦��G�D�N��¨�§'��°D®R¨;¥A©R�µ¢D®��&ªD�4©&¨F�G� ��®G¯D��4¥A§M���&¨�ª�£;¦v¦�¨��4§G� $@·½¸>�D��®��@¦H£�®G�»²��A�y�4�|���D� ÀA®�§'�����D®���� ©�£�¥A§'�G®R¨;�4¥ ��§�¨;®��µ�G�A�á§�¨;¡,��³��G�D�¦H£�¯A®'���¬©�£�¥A§'�G®R¨;�4¥ �}²k�,£�°D��¨;�4¥¬�4§}ªD�T×K��®���¥ � � � 2|�y¥A§'�G�1¨�ªá£;¦ ���� 2 $@·��á��©�¨�¥á©��y�1¨;®��y¤§G�������A¨F�k�G�D��©@£�¥A§M��®�¨��y¥ �k§G¤C§M����¡ �G�A¨;�k²a���A¨*­���£�°D��¨;�4¥D�1ª,¥D£F²��A¨�§k¥D£±§G£��4¯C�G�4£�¥¿§'�4¥A©@���G�D�©@£�¥A§'�G®R¨;�4¥��R§k©�£�®�®G�1§'¢º£�¥�ªC�y¥A«}�G£9�G�D��ÀA®R§'�>¨�¥Aª���¨�§'�a°A®�¨�¥A©R��¢D®��&ªC��©�¨;�G����­F¨;�4¯A¨;�G�4£�¥A§a©�¨�¥D¥D£;�°º�¿§G�y¡9¯D�T�R¨;¥D�&£�¯A§G�4¤ §�¨F�G��§'ÀA�&ªs·µ¸>�D�&®G��¦H£�®�� ²k�¿©�¨;¥�©�£�¥A©��y¯�ªC� �G��¨F�±���D��§G���4�&©@�G�&ª�¢A¨F�����4§�4¥C¦H�&¨�§'�4°D�4��·

Page 18: Data Flow Testing 1

� ���

'CYM\7SogFW�SZWaQ4P5XsQyY'WR\Z]_�*t_Y[l*W�SZc � %ju(5�u � � S��Vu� � S��Vu���u� � S��Vu��Gu��u � � S���u� � S���u���u�� � Q���u��u � � Q��Vu�X7YGWRg�W1� � � b] QDW���� SZX7f*Y��S � WW�� ����|S] QC���µb�� S7XZf*Y��S �|���� bb��µS] QDW��µ��� S7XZf1Y�S � WW�� ����|S] QC���µb�� Q4WRt_\ZY��l*X7]_^�SoW1� ��� b

XZY'WRg�W1� � � b] QAW���� SZX7f*Y�������������W���

XZY'WRg�W1� � � bS � WW �»�� �µS] QD���µb � SZX7f*Y����������W��µb

X7YGWRghW1� � � bS �áWW�� ����|SS � ���� bb �»S] QDW����� S7XZf1Y���������b

XZY'WRg�W1� ��� bS � WW �|�� �µSS �|�� �»bb��»SS � WW �|�� �µS] QD���b � Q�WRt_\7Y�������µW

W�µ�W�µb � W��µ����b���µb����»W

'CYM\7SogFW�SZWaQ4P5X�]_^1QyY'WR\Z]_�*t_Y[l*W�SZc � %ju(5�u � � S��Vu� � S��Vu���u� � S��Vu��Gu��u � � S���u� � S���u���u�� � S���u��Gu��u � � Q��Vu$XZY'WRg�W1� � � b] QAW���� S7XZf*Y��S��|WW �|�� �»S] QD���µb � S7XZf1Y�S��»�� �|bb��»S] QAW��µ��� SZX7f*Y��S��|WW �|�� �»S] QD���µb � S7XZf1Y�l*XZ]_^@SoW1� � � b

X7YGWRg�W1� � � b] QAW����� S7XZf*Y�������������W��

XZY'WRg�W1� � � bS��|WW �|�� �»S] QD���µb � S7XZf1Y���������W�µb

XZY'WRg�W1� � � bS �áWW � �� �»SS � �� �|bb��|S] QAW����� S7XZf*Y����������b

X7Y'WRg�W1� � � bS �|WW �|�� �»SS �»�� �|bb��µSS �|WW �|�� �»S] QD���µb � S7XZf*Y�������»W

W�µ�W��b � �V^1Q4Y'WR\7]_�*t_Y()AW�SZc���b���W

$ ]_`*w %�51w �KP5^*\7S7XdWR]_^@S�6�YMXZ] p5W�S7]_P5^ �o\Z]_^*`�O�~1mk�;P5t_]_b�(�pRWRt_fFW�SZ]_P5^�w

Page 19: Data Flow Testing 1

� � �

� "�Ü Î�ÌCÏZÐ�ÑFÍ �RÒ*Ô Ü�� ��Ü Õ5Ð �*Ò;Ï7Ð�Ñ;ÍnÑMË9Ó�ÐVÍ Ü Ò;ÕNÎRÑFÍAÔRÏZÕGÒ;ÐVÍAÏ7Ô Ù ����¹ ��²k�N©@£�¥A§'��ªC�&®h¨;¥ Ü#"�Ü Î@ÌCÏZÐ�ÑFÍ�RÒ*Ô Ü�� ¨;¢D¢A®G£ ¨�©R�¬¦H£�®�ªD��®��y­��4¥D«|���D�µ©@£�¥A§M��®�¨��y¥ �R§�· ���4­��&¥ä¨ °º£ £��y�1¨;¥n¢D®G�1ªC��©�¨F����³k²k�©�¨�¥²�®��T�������D�4§N¢D®��&ªD�4©&¨F�G�¿�y¥ä¨|¥A£�®�¡,¨��y�4æ��1ªá¦H£�®�¡ ��� � ���"0�ÄD³.²��A��®���� � ���"0ä�4§,¨»®�����¨F���y£�¥A¨;�£�¢º��®R¨F��£�®1·�¾h¯A®a«�£�¨��º��§a�G£NÀA¥�ª¿¨N�4�y¥D�1¨;®>®���¢D®��&§G��¥ ��¨;�G�4£�¥ ¦H£�® ���4¥�����®�¡ §>£;¦o���D��¢D®�£�«�®R¨;¡�4¥D¢D¯C�R§�·å¼d¦ � �4§�¨¬�y�4¥D�&¨�®,¦H¯D¥A©@�G�4£�¥�£;¦�¢D®�£�«�®�¨�¡ �y¥D¢A¯C��§&³>�T�¿©&¨;¥�°º�µ�@¹C¢D®��&§�§'�1ª �4¥ä�G�D�¦H£��4�4£F²��y¥D«�¦H£�®G¡ ²��D��®�� �� �G�A®G£�¯D«�� ��� ¨;®��>�G�D���4¥D¢D¯D��§a¨;¥Aª ����G�D®�£�¯A«�� � � ¨�®G��©�£�¥A§'��¨�¥��R§�ç

�� �� � � � �& � � �� � � ����� � � ��� �����¼d¦�²k�}©&¨;¥�ÀA¥Aª����D�v­F¨;�4¯D�&§>£�¦[�G�D�v©�£�¥A§'��¨�¥��R§>�y¥���D�v¨;°º£F­���®���¢D®��&§G��¥ �R¨F�G�4£�¥�²a�}²��y�4���A¨*­���G�A�|�4�y¥D�1¨;®¿®G�&¢D®G�1§'�&¥ ��¨F���y£�¥n£�¦ � �y¥�����®�¡ §�£;¦}���D�»¢D®�£�«�®�¨�¡ �4¥D¢D¯C�R§�· ¼j¥�£�®RªC��®��G£ ªC£§G£�²k�|�@¹C�&©�¯C�G�µ���D�|§'��¨;�G��¡,�&¥��R§�¨��y£�¥D«¬�G�D� ¢A¨F�����y�1¨�ªC�4¥D«���£ �,³��@¹D©��y¯AªD�y¥D«��G�D� ¢D®G�4£�®°D®R¨;¥A©R� ¢D®��&ªC��©�¨;�G�&§&³s£�¥ � � ! ¨�®G°D�y�G®R¨;®�¤�y¥A¢D¯C�±ªD¨;��¨�§'����§}¨;¥�ª|¢D®��4¥��}£�¯C���G�D�,­F¨;�4¯D�&§�£�¦� ¦H£�®��&¨�©R��£�¦=���D�&§G�}�y¥A¢D¯C��ªD¨;��¨,§'����§&·.Øa¤�§'¯A°A§M���T��¯C�G�4¥D«,���D�}�y¥A¢D¯C�hªD¨;��¨N­F¨;�4¯D�&§�¨�¥Aª��G�D�©@£�®G®��&§G¢º£�¥AªC�4¥D«»¢A®G�4¥ �G�&ªn­F¨;�4¯D��£;¦ � �4¥n�G�D�µ¨;°º£F­��¿�&Ê ¯A¨;�G�4£�¥�²a�¿£�°C��¨��y¥ �G�D��¦H£��y�4£F²��y¥A«§G¤�§'�G�&¡â£;¦[�&Ê ¯A¨;�G�4£�¥A§&ç

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

���102����� � � � � !$# � �30,�&�'� � !(# � �302�)�+*,*-*%�.� / !(# / �30,�

*-*-*

��� 4��5��� � � � � !$# � �30,�)�.� � !6# � � 4��)�7*8*-*��.� / !$# / � 4��:9¸>�D��®��@¦H£�®G��²k��¥D£F²å�A¨*­��}¨,§G¤�§'�G�&¡â£;¦ � ��!��&Ê ¯A¨;�G�4£�¥A§>�4¥ � � !�¯D¥D´�¥D£F²�¥A§>²��A�4©R�©�¨�¥°º��§G£��4­��1ª ��£,©�£�¡,¢D¯C�����G�D��­F¨;�4¯D�&§a£�¦��������D®�£�¯D«�� � � ¯A§G�y¥A«N§'��¨�¥AªD¨;®Rª�¢�¨�©R´F¨;«��&§a§'¯A©R�¨�§� ��¸�� ��Ø�Ç � �*Éd·�¸>�D��®G�1§'¯D�y�>£;¦����D��¨�°�£F­��h©�£�¡,¢D¯C�R¨F�G�4£�¥��4§k�G�A�h�4�y¥A�&¨;®>®���¢D®��&§G��¥ �R¨F�G�4£�¥ £�¦� �y¥¿�G�&®G¡ §�£�¦=¢D®�£�«�®�¨�¡½�y¥D¢A¯C��§&·Ö=�4«A·�!��»�y�4�y¯�§M��®�¨;�G�&§v�G�D�ªC�&®G�4­F¨F�G�4£�¥�£�¦�¨µ¢D®��&ªC��©�¨;�G�¿�@¹C¢D®��&§�§'�4£�¥¬¯A§G�y¥A«»�G�A���@¹C�1©@¯C���y£�¥

°A¨�§'�1ª ¨;¢A¢D®G£ ¨�©R��·�¼j¥n�G�A�4§,��¹C¨�¡,¢D�y��²a��ªC�&®G�4­��¿�G�A���4�4¥D�&¨�®N®���¢A®G�1§'�&¥��R¨F���y£�¥�£;¦����D��4¨�§M�¢D®��&ªC��©�¨;�G����¹C¢D®G�1§G§G�4£�¥�©@£�®G®��&§G¢º£�¥AªC�4¥D«���£v�G�A��¦H�&¨�§'�4°D�4��¢A¨;�G��£�¦oÖ��y«�· !��C·[¸>�D��¢D®��&ªD�4©&¨F�G���4§®���¢D®��&§G��¥ �G�1ª�°�¤ . 2 � � � ��$a�y¥�����®�¡,§�£;¦��G�D�����D®G�&�}¢D®�£�«�®R¨;¡½�4¥D¢D¯D��§&·#¸>�D�v©@£CªC�v¨��y£�¥D«9�G�D�¢A¨;�G�N�4§[��¹��1©@¯C���&ª±£�¥,§'£�¡N�>¨;®�°D�y�G®R¨;®��y�4¤}§'�&�y�1©5���&ª9�y¥D¢A¯C��§�¨�¥Aªv¦H®�£�¡ ���D�>®G�1§'¯A�T���y¥D«�­F¨;�4¯D�&§[£�¦. ³�²k�h£�°C�R¨;�4¥����D��§G¤C§M����¡½£�¦��&Ê ¯A¨F���y£�¥A§#¦H®G£�¡½²��D�4©R���G�D��­F¨;�4¯D�&§k£;¦�©@£�¥�§M�R¨;¥ �a©�£ ��'�©@�4��¥ ��§¨;®��,©@£�¡,¢D¯D�G�&ª�· �h§�²k�,©�¨�¥á§G����³s�G�A�4§}¨�¢D¢D®�£�¨�©R� ¤��y�&�4ªD§h���D��©@£�¥A§M��®�¨��y¥ � � �� 2µ²��D��©R�á�4§§�¨;¡,�N¨�§��G�D�,�1¨;®��y�4��®�®G�&¢D®��&§G��¥ ��¨;�G�4£�¥»���A¨F�}²a�9£�°C��¨��y¥A�&ª ¯A§'�4¥D«¿�G�D��§G¤�¡±°º£��4�4©9�@¹C�1©@¯C���y£�¥¨;¢A¢D®G£ ¨�©R��·¸>�D��®��h¨�®G��§G£�¡,��¨�ªC­F¨;¥ �R¨;«��1§[�G£N¯A§G�y¥A«v�G�A���@¹C�1©@¯C���y£�¥�°A¨�§G�&ª�¨;¢D¢D®�£�¨�©R��·o¼j¥��G�D���@¹D¨�¡9¶

¢D�4�>²k��©@£�¥A§G�4ªC�&®G�1ªs³;�y��²a¨�§o¦�¨��y®��4¤±§M��®�¨��y«�� �'¦H£�®�²>¨;®Rª��G£}©�¨�®G®�¤}£�¯C�[���D��§'¤�¡9°�£��y��©#�&­F¨;�4¯A¨F���y£�¥°º�&©�¨�¯A§G�N­F¨�®G��¨;°D�4�N¥A¨;¡,�&§�°º���4¥D«®��@¦H��®���¥�©@�&ª ²a��®��N§'��¨;�G��©�¨;�4�4¤µ¯D¥A¨;¡9°D�4«�¯D£�¯A§�³��G�D�&®G�,²a��®��¥D£�¨;®�®�¨*¤�£�®[¢º£��4¥ �G��®[®��@¦H�&®G�&¥A©@�1§o�4¥v���D��©@£CªC��³�¨;¥AªvÀA¥A¨;�4�4¤��G�D�>�@¹C¢D®��&§�§G�y£�¥A§o°º���4¥D«�¡ ¨;¥D�4¢D¯C¶��¨F�G�1ª±²a��®���§'¡ ¨��y�D¨�¥Aª,§'�4¡,¢D�y��·�ÖA£�®��4£�¥D«�¢A¨;�G�A§�©�£�¥ ��¨��y¥A�y¥D«�¨;®�®R¨*¤v¨;¥Aª9¢�£��y¥ ����®�®��@¦H��®���¥�©@�&§§G¤ ¡9°�£��y��©9��­F¨;�4¯A¨F���y£�¥ ©&¨;¥á°��1©@£�¡,�N�y¡,¢º£�§�§'�4°D�4�N�G£µ©�¨�®G®�¤£�¯C�1· ��£F²a��­���®1³º�G�D�,�@¹C�1©@¯C���y£�¥°A¨�§'�1ª¿¨�¢D¢D®�£�¨�©R�¿�4§a¦H®����}£�¦o���D�&§G�}�y�4¡,�T�R¨F���y£�¥A§�·� ÑFÍ%�jÓ�ÐVÍ Ü Ò;Õ$;.ÑFÍAÔ5Ï7ÕGÒ;ÐVÍAÏ7Ô Ù �á���A¨*­���®G�1§M��®G��©5���&ª £�¯D®kªD�4§�©@¯A§�§G�y£�¥ �G£N§'�y�G¯A¨;�G�4£�¥A§#�y¥¿²��D��©R�

�G�A�N¢A®G�1ªC�4©&¨F���9��¹�¢A®G�1§G§G�y£�¥A§h²k�&®G�N�y�4¥D�1¨;®�¦H¯D¥A©@�G�4£�¥A§�£�¦#�G�A�N¢A®G£�«�®R¨;¡ �y¥A¢D¯C��§&·±¼j¥á«��&¥D��®R¨;��G�A�4§�¡,¨*¤�¥D£;��°º���G�A�±©�¨�§'�v¨�¥Aª§'£�¡N��£�¦����D�}¢D®��&ªC��©�¨;�G�}��¹�¢A®G�1§G§G�y£�¥A§>¡ ¨*¤�°º�v¥D£�¥D¶Z�4�y¥A�&¨;®¦H¯D¥A©@�G�4£�¥A§�£;¦��G�D�|�y¥D¢A¯C��§&·�¸>�D�µ¢D®��&§G��¥A©��µ£;¦�¥D£�¥C¶d�4�y¥D�1¨;®�¢A®G�1ªC�4©&¨F���µ�@¹C¢D®��&§�§'�4£�¥A§N¢º£�§G�&§©R�A¨��y�4��¥D«��&§N°º£;�G���4¥�ªC��®��y­��4¥D«á�G�D�µ¢A®G�1ªC�4©&¨F������¹C¢D®G�1§G§G�4£�¥A§,¨;¥�ªä§G£��4­��y¥A«|���D�µ¥D£�¥D¶Z�4�y¥A�&¨;®

Page 20: Data Flow Testing 1

� � �

XZY'WRg�W1� � � bS � WW �»�� �µSS �|�� �»bb��»SS � WW �»�� �µS] QD���µb � Q�WRt_\7Y��

] QD����b � Q�WRt_\7Y���] QD����b�� �� Q4WRt_\ZY���] QCQ � W1� � � b � � � � Q4WRt_\ZY��Uoc*YMXZY5� � � � ! 4 !�! � �>� ���<���+� � � 4��+�����<!�Q � W1� � � b � �XZY'WRg�W1� � � bS � WW �»�� �µSS �|�� �»bb��»SS � WW �»�� �µSl*X7]_^�S � Q � W1� � � b � �|�hu�b �

"

� � �'!$�'! %���� � �� � %#!$�'! % % � � �� � 5'!$'! %���� � �� � �'!�'! %�5�� � �

� � �'!$�'! %���� � � � � � �/� ��� ���/� � � ��+������%�� � �� � %#!$�'! % % � � � � � � �/� � � %�/� ��� ��+� � ��% % � �� � 5'!$'! %���� � � � � � �/� � �45��/� ��� �+� � ��%�� � �� � �'!�'! %�5�� � � � � � �/� � � ���/� ���<�+� � ��%�5 � �

� � � ��� � � � %���� � � � � � � � �� � �+� � � ����� � � % %��<� � � � � � � � �(%� � � 5�� � � � �� � � � %������ � � � � � ��%� � � ��� � � �/�� � � � %�5���� � � � � � � �

� � ��!34 !�! � � � � �+� � � ���/� ���'4��/� � � ! � 4 �� � ] Q����µW� Q�WRt_\7Y� � ����µW

$ ]_`*w % �1w (�i&YMbMf1SZ]_P5^ 0sWR\7YMg �KP5^*\7S7XdWR]_^@S�6�YMXZ] pRW�SZ]_P5^ w

Page 21: Data Flow Testing 1

� � �

©@£�¥A§'�G®R¨;�4¥���§G¤C§M����¡·.¼j¥¢D®��y¥A©��y¢A�y��³C�G�D�9§'¤�¡±°º£��4��©h�&­F¨;�4¯A¨F���y£�¥�¨�¢D¢D®�£�¨�©R����§�¥D£;��®��&§'�G®���©5�G�1ª�G£�¨á�4�y¥D�1¨;®,®���¢D®��&§G��¥ ��¨;�G�4£�¥�· ��£F²a��­���®1³[�G�D�»§G�y¡,¢D�4�yÀ�©�¨;�G�4£�¥ä£;¦h¥A£�¥C¶d�y�4¥D�1¨;®,�@¹C¢D®��&§�§'�4£�¥�§ªC¯D®��4¥D«á§G¤�¡±°º£��4�4©¿��­F¨��y¯A¨;�G�4£�¥���§9¦�¨;®,¡,£�®��¿©�£�¡,¢D�4�@¹s· ¸>�D���@¹C�&©�¯C�G�4£�¥n°A¨�§G�&ªn¨;¢D¢A®G£ ¨�©R��A¨�§�¨9®R¨F���D��®�§'�G®��4©@���y�4¡,�T�R¨F���y£�¥�·�¼d��®G�1Ê�¯A�y®��&§a���A¨F�>�G�A��¦H£�®�¡â£;¦��G�D�}¢A®G�1ªC�4©&¨F���h��¹�¢A®G�1§G§G�y£�¥�4¥»�G�&®G¡ §h£;¦#¢A®G£�«�®R¨;¡ �4¥D¢D¯D��§�°º�9´�¥D£F²�¥�· ��£F²a��­���®1³A�y����§�¥D£;��®G�1¨;�4�4§'�G��©}��£�¨�§G§G¯D¡,�v���A¨F��G�A�4§�²k£�¯D�4ª�°º�}�G�A�v©�¨�§G��· � ­���¥��T¦[�G�A�v¥D£�¥D¶Z�4�y¥A�&¨;®�¢A®G�1ªC�4©&¨F���}�@¹C¢D®��&§�§'�4£�¥A§�¨�®G����ªC��¥ ���TÀA�1ªs³§G£��4­ �4¥D«N�G�A��®��&§G¯D�y�G�4¥D« §'¤C§'�G�&¡ £;¦�¥D£�¥D¶Z�4�y¥A�&¨;®�©�£�¥A§'�G®R¨;�4¥ ��§a��§�¨,¢D®G£�°D�4��¡·��¥¨;¢D¢D®�£�¨�©R� �G��¨F��¨�ªDªC®��&§�§G�&§#�G�D�}¨;°º£F­��h¢D®�£�°D�4��¡½²>¨�§a¢D®�£�¢º£�§G�&ª °�¤ ��¯A¢C��¨ Ü Ï>ÒFÓ Ù �4¥Ç � ����� �FÉd·�¸>�D�}¢D®��&ªC��©�¨;�G���@¹C¢D®��&§�§'�4£�¥�§k¨�®G���A¨�¥AªC�4�&ª¨�§a¦H£��y�4£F²�§�·Ù ���4��¢D®��&ªC��©�¨;�G�#��¹C¢D®G�1§G§G�4£�¥A§=¨;®����G®��&¨;�G�&ªv¯D¥D�y¦H£�®�¡N�4¤}°�¤}¨�§�§'¯D¡,�4¥D«����A¨F�=�G�D�&¤v¨;®��#�4�y¥A�&¨;®

¦H¯D¥A©@�G�4£�¥A§¿£;¦}���D�|�4¥D¢D¯D��§&· ¸>�D� �@¹C�&©�¯C�G�4£�¥�°�¨�§G�&ª�¨�¢D¢D®�£�¨�©R�ä��§�¯A§G�&ª��G£nªD��®��y­��µ�G�D�1§'��4�y¥D�1¨;® ®���¢D®��&§G��¥ �R¨F�G�4£�¥�§�·ä¼d¦h���D�¢D®��&ªC��©�¨;�G��@¹C¢D®��&§�§'�4£�¥ä��§,�y�4¥D�&¨�®&³k²k��A¨*­��µ©R�D£�§G��¥ �G�D�©@£�®G®��&©@��¦H£�®�¡�· ��£F²a��­���®1³��T¦�¨¢D®��&ªD�4©&¨F�G� ��¹C¢D®G�1§G§G�4£�¥á�A¨�§v¨¥A£�¥C¶d�y�4¥D�1¨;®v®���¢D®��&§G��¥ �R¨F�G�4£�¥o³�G�A�k�4�y¥A�&¨;®�®���¢D®��&§G��¥ ��¨;�G�4£�¥��G��¨F�[�4§�ªC��®��4­��&ªv�4§�¨;¥±¨�¢D¢D®�£*¹C�y¡ ¨F���y£�¥}£;¦C���D�a¨�©5��¯A¨;� ¥D£�¥D¶Z�4�y¥A�&¨;®®���¢D®��&§G��¥ ��¨;�G�4£�¥�·

Ù ��¥D£�¥C¶d�y�4¥D�&¨�®>¦H¯D¥A©@�G�4£�¥»©�¨�¥D¥D£���°��±¨�©�©�¯D®�¨;�G�&�y¤�¨�¢D¢D®�£*¹C�y¡ ¨F���&ª�° ¤¨,�4�y¥D�1¨;®>¦H¯D¥�©5�G�4£�¥¨�©�®G£ §G§#�G�A���&¥ �G�4®G���y¥A¢D¯C��ªC£�¡,¨��y¥o·[¸>�A�4§>¢D®�£�°A�y�&¡½�4§�¨�ªDªC®��&§�§'�1ª�¨�§k¦H£��y�4£F²�§�· ��¨;�G�D�&®>�G�A¨�¥�A¨*­��4¥D«»¨µ§'�4¥D«��y���4�4¥D�&¨�®v®G�&¢D®��&§G��¥ ��¨;�G�4£�¥ ¦H£�®v���D��¢D®��&ªD�4©&¨F�G� ��¹C¢D®G�1§G§G�4£�¥á¦H£�®±¨��y�k¢D®�£�«�®R¨;¡�4¥D¢D¯C�R§�³k�G�D�µ�4�4¥D�&¨�® ®G�&¢D®G�1§'�&¥ ��¨F���y£�¥���§�ªC��®��4­��&ª ²��T����®G�1§'¢º�&©@�N��£¬�&¨�©R�ä¢D®�£�«�®�¨�¡ �4¥D¢D¯D�&·¼j¥�¦�¨�©@�����D�»�4�y¥D�1¨;®�¨;¢D¢D®�£*¹C�y¡ ¨;�G�4£�¥ä®G�&¢D®G�1§'�&¥ ��§N�G�A�»��¨�¥D«��&¥ ��¢D��¨;¥D�µ��£��G�A�»¥D£�¥D¶Z�4�y¥A�&¨;®�@¹C¢D®��&§�§G�y£�¥9¦H£�®#¨}«��y­���¥,�y¥A¢D¯C�&·  �y¥A©����G�A�h¨;¢A¢D®G£*¹C�4¡ ¨F�G�>�4�y¥A�&¨;®#®G�&¢D®G�1§'�&¥ ��¨F���y£�¥,�4§k§'¢º�&©��TÀ�©�G£,¨9¢D®G£�«�®R¨;¡ �4¥D¢D¯C�1³D¨9§G¢��1©@�yÀ�©��y¥A¢D¯C��¡±¯A§'��°���©R�D£ §'�&¥�°º�@¦H£�®��h�G�D��®���¢D®��&§G��¥ ��¨;�G�4£�¥A§k©�¨�¥°º�vªC��®��y­��&ªs·

GeneratorConstraint

LinearConstraint

Solver

Linear

Program Path

Input ExerciseSelected

Path?

DoesRefined

Approximate

Constraints

Initial Test Input

Test Input

RefinedTest Input

Refined

No

Yes

Test InputGenerated

$ ]_`*w % �*w���S7Y'XZW�SZ] p@Y ��YMr*^*YMm�Y'^@SoPRQ 'CYM\7S 6[W�SdW1w

¸>�D�a¨�°�£F­��.��®G�1¨F�G¡,�&¥���£;¦A¢A®G�1ªC�4©&¨F���k��¹�¢A®G�1§G§G�y£�¥A§��4�&¨�ªD§o�G£h�G�D�>£F­��&®�¨��y� ¨;¢D¢A®G£ ¨�©R�v§G�D£F²�¥�4¥nÖ��y«�· !��µ�G��¨F�,¯A§'�1§9¨�¥��y�G��®R¨F���y­���®�����¨F¹D¨F���y£�¥�¡N���G�D£Cª��G£|«���¥D�&®�¨;�G� ���&§'�N�4¥D¢D¯D�&·�¸o�1§M�ªD¨;��¨,«��&¥D��®R¨F���y£�¥�4§��4¥D�y�G��¨F���&ª²��y�G�|¨�¥¨�®G°A�T��®�¨�®G�4�y¤¿©R�D£�§G��¥�4¥D¢D¯C��¦H®�£�¡ ¨,«��4­��&¥µªC£�¡ ¨;�4¥�·¸>�D��§>�y¥A¢D¯C����§a�G�D�&¥�T����®R¨F�G�4­��&�y¤�®G��ÀA¥D�&ª��G£,£�°C��¨��y¥¨;¥�4¥D¢D¯C��£�¥¿²��D��©R�¨;�4�s�G�D��¢D®��&ªD�4©&¨F�G��@¹C¢D®��&§�§G�y£�¥A§o£�¥±���D�>«��4­��&¥±¢A¨;�G�N��­F¨;�4¯A¨F���#��£��G�D��ªC�1§'�4®G�1ªv£�¯C��©�£�¡,��·=¼j¥9�1¨�©R�±�y�G�&®�¨;�G�4£�¥±�G�D�

Page 22: Data Flow Testing 1

� � �

¢D®�£�«�®�¨�¡å§'��¨F����¡,��¥ �R§�®����4��­F¨;¥ �o��£��G�A�k�&­*¨��y¯�¨F�G�4£�¥}£�¦D�&¨�©R�}°D®�¨�¥A©R�}¢D®��&ªC��©�¨;�G�1§�£�¥����D�a¢A¨F���¨;®��N�@¹C�&©�¯C�G�1ªs³=¨�¥Aª¬¨�§G�@�}£�¦k�4�y¥D�1¨;®v©�£�¥A§'�G®R¨;�4¥ ��§��4§±ªC��®��y­��&ªs·,¸>�D��©�£�¥A§'�G®R¨;�4¥ ��§�¨;®��±���D��¥§G£��4­��&ª���£�£�°C��¨��y¥µ���D�±�4¥A©�®G�&¡N�&¥ ��§�¦H£�®����D�±�4¥D¢D¯D�&·�¸>�D�&§G�±�4¥A©@®���¡,�&¥��R§h¨�®G�9¨�ªDªC�1ª�G£��G�D�©@¯A®G®���¥ ���4¥D¢D¯C�h�G£�£�°C��¨��y¥���D�±�4¥D¢D¯C�h¦H£�®����D�±¥A�@¹����y�G��®R¨F���y£�¥�·�¸>�D�v®�����¨F¹D¨F���y£�¥��G�&©R�A¥D�4Ê ¯D�¯A§G�&ª¬�4¥�ªC��®��4­ �4¥D«���D��©@£�¥A§'�G®R¨;�4¥��R§}¢D®�£F­��4ªC�1§�¦H���1ªC°A¨�©R´á£�¥á���D�¿¨�¡N£�¯D¥ �v°�¤ ²��D��©R���&¨�©R��4¥D¢D¯C��­F¨;®��4¨�°D�y�9§'�D£�¯D��ªµ°��N¨�ª �M¯�§M���&ªµ¦H£�®����D�9°A®�¨�¥A©R�D�&§�£�¥µ���D�9¢�¨F�G�»�G£��&­F¨;�4¯A¨F���v�G£��G�D�ªC�1§'�4®G�1ª�£�¯C��©�£�¡,��·�A� �����.��?C+a� � �.!zJ � ;±<�J�� ¼j¥,�G�A�4§k©R�A¨;¢C����®�²a��¢D®�£F­��4ªC�1ª9¨�¥,£F­���®�­��y�&² £�¦KªC�y×K��®���¥ �k¨�§G¢º�&©5�R§�£;¦�ªD¨;��¨ �A£F²ä°A¨�§'�1ª±���&§'�'¶�4¥D«�£;¦.¢A®G£�«�®R¨;¡ §�·a�á�9ªC�1§G©�®G�4°��1ª��G�D�9­F¨;®��y£�¯A§�ªD¨;��¨ �A£F² °A¨�§'�1ª��G�1§M�h©�£F­��&®�¨�«��}©@®��T����®��y£�¥¨;¥�ª��G�D�9®G�&�4¨;�G�4£�¥A§G�D�4¢A§�¨;¡,£�¥D«�§'���G�D�&¡· ��§�²k�±§G�D£F² �G�A�v­F¨;®��y£�¯A§�¨�§G¢º�&©5�R§�£�¦#ªD¨F�R¨ �A£F²�G�1§M���y¥A«á©&¨;¥�°º��¨�¯C�G£�¡ ¨F�G�1ª¬�G£á¨|§G�y«�¥D�yÀ�©�¨�¥��N�@¹��G�&¥ �&·¬¼j¥ ¢A¨�®'���4©�¯D��¨;®1³[§'��¨;�G��©�ªD¨;��¨��A£F²¨;¥�¨;�4¤�§G��§��4§.¯A§'�1ªN�G£v��ªC�&¥����T¦H¤9�G�1§M�a®G�1Ê ¯D�y®���¡,�&¥��R§�³�ªC¤�¥A¨;¡,��©�¨;¥A¨��y¤C§G�4§[��§.¯�§'�1ªN�G£}��®�¨�©R´v�G�1§M�®��&Ê ¯D�4®G�&¡N�&¥ ��§s��¹��&®�©��4§G�&ª�ªC¯D®��4¥D«�¨>«��4­��&¥�¢D®G£�«�®R¨;¡���¹C�&©@¯D�G�4£�¥�³&�G�D�.�G�&§'�o®��&Ê ¯D�4®G�&¡,��¥ ��§K���A¨F�®���¡ ¨;�4¥»��£�°º�N�G�1§M���&ªá©�¨;¥ °�� ¨�¯C�G£�¡,¨;�G��©�¨��y�4¤�G®R¨�©R´��&ªs³s¨;¥�ª»ÀA¥�¨;�4�y¤µ�y�v©�¨;¥á°º�,¨�¯C�G£�¡ ¨F�'¶��©�¨;�4�4¤ªD�@�G�&®G¡,�4¥D�&ª|²��D��¥ ��¥D£�¯D«��»�G�&§'�G�4¥D«��A¨�§�°º���&¥|¢º��®G¦H£�®�¡N�1ª�G£§�¨F�G��§'¦H¤¨¿«��4­��&¥µ�G�1§M�©@£F­���®R¨;«��9©@®��y�G��®��4£�¥�·N� ��¨��4§G£µªC�&§�©@®��4°��1ª»���&©R�D¥D��Ê ¯D�&§����A¨F�±¨�¯C�G£�¡ ¨F�G�N���D��ªC� ' ©�¯D�y�}��¨�§G´£;¦a«��&¥D��®R¨F���y¥D«��G�1§M�v©�¨�§'�1§�·9���D�4�y� ²a�N©�£�¥A§G��ªC��®��&ª»�G�D�N�G�1§M���y¥A«�£�¦a§G�&Ê ¯D�&¥����4¨��[¢D®G£�«�®R¨;¡ §&³®��&§G�&¨;®R©R�D�&®�§�¨;®���¨��4§G£»ªC��­����4£�¢D�4¥D«���&§'�G�4¥D«|§'�G®R¨F�G�&«��4�&§�¦H£�®9ªC�1¨;�4�y¥A«»²��T����£�° �M�1©5�G¶Z£�®G�4��¥ �G�1ª¢D®�£�«�®�¨�¡,§�Ç ���FÉd³C¢A¨�®�¨��y�4����¨�¥Aª�®��&¨��T¶Z�G�4¡,��¢D®G£�«�®R¨;¡ §�Ç �-���AÃ(� !&!@Éd·Jº�@:H��24��-*E���3� %�� �#w ��`5XdWMU�WRtKWR^1g��*w �.w �=P5X7`@WR^ ��� 6=~&^FWRm�]_b")�XZP5`5XZWRm O&t_]_bM]_^*`*� ��� ����������� �������� �"!$#%! �'&(!)�*�

�+#%�-,*#%.�/0/213�4,5�6.��4,*7�. ,*!989! :-1;,��<.*�'=��>/@?'A ! /0! �CBD.�BE13���F�FlFWR`5YM\�5%��� F�5#�#�1�G�5f*^1Y�%5� �1w� 5 � �.w�0KP&g1] 2�� ��w ��f*l1SZW1�1WR^1g0HNw Iºw5O&P�J�W1�G� ��YMr*^*]_^*` 6[W�SZW $ t_PGU��V^&Q4P5X7m�W�SZ]_P5^.f*\7]_^*`[�V^1QyY'WR\Z]_�*t_Y )AW�S7c*\G� �

�0 �K�����L��M�NPO<Q�B3RS�GT�/�?4��:(1U7V/W���2N ��7V�'=*.�BE13�*�C:+�X���Y�X�>B[ZL.�#%!]\]�4,*1U�'!(! #>1U�4,S.��'=2^_B3RP\+74#X�>?4!(.���Y�X�>B[ZL.�#%!P\]�4,*1U�'!(! #>1U�4,���� �>! #%! �'&(!'�VI ` ��O % � � %5�;O&l*X7]_^*`5YMX�aºYMX7t�WR`*�1lFWR`5YM\ �#� %(F ���#�&�;O�Y'l&SZYMma�;YMX%5���&w

� � �5Iºw �kw �Kt�WRX 25Y@���Z��O�~1\�SZYMm�S7P ��YM^*YMXZW�SZY 'CY'\�S 6[W�SZW�WR^*g±O�~&ma�;P5t_]_b'WRt_t ~�(Ai1YMbMf1S7Y�)ºX7P5`5XdWRm�\'� �b�X\�\L\OC#%.*�C:(.c&$BE13�*�C:9���d�Y�X�>BEZ�.�#%!S\+�4,�13�'!(!$#>13�4,5�Va�P5t�w;O (Au(51�'`oP*w��1�*l*WR`5Y'\ 5 % � F�5 5 51��O&YMl1S7Y'mk�;Y'X %5��%�1w

� � �5Iºw �kw �Kt�WRX 25Y5�5�kw�)DP&g*`5f1XZ\ 2�]���6kw �*w���]_bdcFWRX7g*\ZP5^��@WR^*g�O�w �*w�e�YM]_t��G�Z� $ P5XZm�WRt (�p5WRt_f*W�SZ]_P5^>PRQ,6�W�SdW $ t_PGU)AW�SZc�O&YMt_YMbjSZ]_P5^ �KXZ] S7YMXZ]�W1� �2�X\�\L\fO'#%.��C:>.*& B[1[���C:P���)�Y�X�(BEZL.�#%!P\]�4,*1U�'!(! #>1U�4,@�*a�P5t�w1O (�u % �1�4`oP*w&% %5�lFWR`5YM\ % � % F�% � � 51�G`oPGp@YMma�;YMX %5#�1w

� � �)�*w �[w �KP5X7��YjS�SG�L� '�]_m�]_^*`>�=^FWRt ~&\Z]_\�PRQ���g*W�'CYM\ 2&]_^*`�)�XZP5`5XdWRm�\'� �b�%\L\L\gOC#%.*�C:(.c&$BE13�*�C:2���h�Y�X�(BEZL.�#%!\+�4,�13�'!-! #>1U�4,@�Va�P5t�w$5 51�C`=P*w �&�C�@f1t ~ %5�#�1w

� � � �.w�6�Y�H�]_t_t_P*�@� w4H�b �KXdWRb325YM^ � �.w4H}WRX7S7]_^ �1WR^*g5�*w )AWR\Z\ZW�rFf*m�Y5���Y�X�>BEZ�.�#%!iO'! :(B[13�4,�.��'=2\+j�.�A 7�.�BE13�*�F�0KYM^�k7WRm�]_^ � �Kf*m�m�]_^*`5\G�cH�YM^*t_P�)�WRX 2����K�k� %5#��&w

� � � �.w �#w 6�Y$H�]_t_t_P�WR^*g,�kw �*wCx@J�f&S7S'�P� �KP5^*\�SZXZWR]_^�S�uV�FWR\7YMg,��f1S7P5m�W�S7]_b 'CYM\�S 6�W�SdW ��YM^*YMXdW�S7]_P5^ � �l�X\�\L\OC#%.*�C:(.c&$BE13�*�C:9���d�Y�X�>BEZ�.�#%!S\+�4,�13�'!(!$#>13�4,5�Va�P5t�w % �&�'`oP*w 1�Fl*WR`5Y'\) � � F %��1��O&YMl1S7YMma�;YMX�%5� %5w

� �)(=w6�f*YM\�SZYMX7UsWRt_g � ��w ��f1l1SdW1�5WR^*g0HNw I�wGO&P�J�W1�G�Z� 6�YMm�WR^*g1u(6=XZ] p@YM^[��^*WRt ~1�MYMXCQ4P5X 6�W�SdW $ t_PGU 'CYM\�SZ]_^*`W�S�SZc*Yv�V^@SZYM`5XZW�SZ]_P5^mI�Yjp@YMt�� �n�����L��M�N�OCo��%\L\�\qpcr�B3Rs�(�CBD! #>�'.�BE13���'.*At���� �>! #%! �'&(!l�*�u�Y�X�(BEZL.�#%!\+�4,�13�'!-! #>1U�4,@�*l*WR`5Y'\ ���%� F �#%�*� %5�#�1w

� �)(=w76�f*YM\�SZYMX7UsWRt_g � ��w ��f*l1SZW1��WR^*gsHNw Iºw�O&P�J�W1�9� ��]_`5P5XZP5f1\ 6[W�SZW $ t_PGU 'CYM\7S7]_^*`vSZc*X7P5f*`5c¿x�f1S7l*f1S�V^1{Ff1Y'^1b'YM\'� �<v*�'=0�>#>j 13�'!S�Y�-�(BEZ�.�#X!S�GT�/�?4�*:-1374/a�;lFWR`5YM\ % � %(F�% ���1�GH}WRX7bdc %5� 51w� %�� �)(=w�6�f*YM\7S7YMX7U�WRt_g � ��w ��f1l1SdW1��WR^*gwHNw IºwºO&P�J�W1���Z��)ºXZWRbjSZ]_b'WRt $ XZWRm�YjUsP5X 2NQyP5X 6�YMm�WR^*g1u(6=XZ] p@YM^�V^@SZYMXZl1XZP�b'YMg*f1XdWRt 6�W�SdW $ t_PGU�=^FWRt ~&\Z]_\G� �2�0 �xOC#%.��C:>.*& BE13���C:P���5�+#%�-,*#%.�/0/213�4,t�6.��4,*7V. ,c! :�.��'=

�GT�:(BD!$/0:d�4aºP5t�w&%51�'`=P*w �1�FlFWR`5YM\)� 5 F�%�� � �1�G`=PGp@YMmk��YMX %5���&w� % %��)HNw 0�w 6oUo~@YMX#WR^*ghIºw �kw �Kt�WRX 25Y5��� 6[W�SZW $ t_PGUá��^FWRt ~&\Z]_\�QyP5X�aºYMX7] Qy~&]_^*` )ºXZP5l;YMX7S7]_YM\.PRQ �sP5^1b'f1XZXZYM^@S

)ºX7P5`5XdWRm�\'� �5�� �y�����L��M�NPOz�(�CBD!$#>�'.*B[1[���'.�A{�GT�/@?V��:(1U7V/|���<N ��7V�'=*.�BE13�*�C:��-�S�Y�X�(BEZ�.*#%!2\+�4,�13}�'!(!$#>13�4,5�*lFWR`5YM\�� 5 F'�%�1�$6�YMb'YMmk��YMX %5�%�*w

Page 23: Data Flow Testing 1

� � �� %�5 � �.w $ Y'X7`5f*\ZP5^�WR^1g 0�w��[P5XZYMt��@� '�c*Y �KcFWR]_^*]_^*`}�=l*l*XZP@WRbZcNQ4P5XaO&PRQTSVU�WRXZY 'CYM\7S 6[W�SZW ��Y'^1Y'XZW�SZ]_P5^�� �

�0 � OC#X.��C:>.*&$BE1[���C:9���i�Y�X�>BEZ�.�#%!9\+�4,*1U�'!(!$#>13�4,b.*�'=��h!$B3RV� =*��A �-,*T5�Ca�P5t�w �1��`=P*w&%5�FlFWR`5YM\ � � F #�1��@WR^&f*WRX7~ %5�#�1w

� % � � )Aw �kw $ XZWR^�2&tAWR^*g (ow �FwF�±Yj~&f�25YMXG�+� )�XZP'p5WR�*t_Yk�Vm�l*XZP'p@Y'm�YM^@SZ\=P5^ 0KXdWR^*bdc 'CYM\�SZ]_^*`*� �d�X\�\L\gOC#X.��C:(}.*& BE13���C:S����Y�X�(BEZ�.*#%!9\]�4,*1U�'!(! #>1U�4,@�4aºP5t�w&%51�'`=P*w&%��1�*lFWR`5YM\�#� 5 F ��%�1��x�bjS7P5�;Y'X�%5� �1w

� % � � )Aw �kw $ XZWR^�2�t;WR^*g (=w �*w5�±Yj~1f�25Y'X'�6�Z��^���l1l*t_]_b'WR�*t_Y $ WRm�]_t ~kPRQ)6[W�SZW $ t_PGU 'CYM\7S7]_^*` �sX7] SZYMX7]�W1� �S�X\�\L\OC#%.*�C:(.c&$BE13�*�C:9���d�Y�X�>BEZ�.�#%!S\+�4,�13�'!(!$#>13�4,5�Va�P5t�w % �*�'`oP*w %��1�Fl*WR`5Y'\�% �� � F�% ��#1��x�bjSZP5�;YMX %5##1w

� % � � )Aw �kw $ XZWR^�2�tsWR^*g (ow �Fw �9Yj~&f�25YMXG�P�Z��^,�=^FWRt ~&S7]_b'WRt �KP5m�lFWRXZ]_\7P5^9PRQoSZc1Y $ WRf1t S7uVg1YMS7YMbjSZ]_^*`±���1]_t_] SV~PRQ 6[W�SdW $ t_PGU 'CYM\�SZ]_^*`�'CYMbdc*^1]_e&f*YM\'� � �����L��M�N�OCoV�X\�\L\�p*Q*BUR �(�CBD! #>�'.�BE13���'.*At���� �>! #%! �'&(!l�*��Y�X�>B[ZL.�#%!9\+�4,�13�'!(!$#>13�4,5�*lFWR`5YM\ ��% � F �25%�*� %5� �1w

� % � �)HNw �*w �[WRt_t�WR`5c*YMXhWR^*gsaaw IºwL`�WRX7\Z]_m�cFWR^ �P�Z��6 ' (KO ' �K� 'CYM\7S 6[W�SZW ��YM^*YMXdW�S7]_P5^»O&f*] S7Y�QyP5X���gFWO&PRQTSVU�WRXZY}O�~1\�SZYMm�\'� �s�X\�\L\yO'#%.��C:>.*& B[1[���C:��� �Y�X�(BEZL.�#%!\]�4,*1U�'!(! #>1U�4,@�LaºP5t�w"5 �1�+`=P*w�1��lFWR`5YM\� � � F ��%�*�;��f1`5f*\7S�%5���&w

� % � � '�w Iºw ��XdWMp@Y'\'��HNw �*w �=WRXZXZP5t_g��V�Ru HNw��[]_m��@�kw�)DP5X7S7YMXG�&WR^*g �kw �oPRS7c*YMXZm�YMt��Y�Z��^ (�m�l*]_XZ]_b'WRt;O�S7f*g1~>PRQ��Y'`5X7YM\Z\Z]_P5^�'CYM\7SaO&YMt_YMbMS7]_P5^ 'CYMbdc*^*]_e�f*YM\G� � �0 � OC#%.*�C:(.c&$BE13�*�C:5���l�Y�X�>B[ZL.�#%!5\+�4,�13�'!(!$#>13�4,<.��'=�h!$B3RV� =*��A �-,*T5�Ca�P5t�w %��1�'`oP*w$51�Fl*WR`5Y'\ % %�_F�5 �#1�;��l1XZ]_t)5 � � %5w

� % � �.w ��f*l&SdW=WR^*g9HNw IºwGO&P�J�W1�'�Z� $ XZWRm�YjUsP5X 2oQ4P5X&)�WRX�SZ]�WRt�6[W�SZW $ t_P'UN�=^FWRt ~&\Z]_\G� ���%\L\L\l�>�CBD!$#>�'.�BE1[���'.�A���� �"!$#X!$�'&(!����d�Y�X�>BEZ�.�#%!2�h.�13�CBD!$�'.��'&(!G�1lFWR`5YM\ �_F�% �1��O&YMl1S7YMma�;YMX�%5�%�*w

� %5 � �.w���f*l1SZW>WR^*g)HNw Iºw*O&P�J�W1��� )ºX7]_P5XZ] SV~�0sWR\7Y'g46[W�SZW $ t_PGU 'CYM\�SZ]_^*`*� �t�X\�\L\u�(�CBD! #>�'.�BE13���'.�A���*� �>! #>}! �'&-!�����Y�X�(BEZ�.*#%!9�<.*1U�CBD!$�'.*�'&-!G�FlFWR`5YM\ �%�� F �#���&��x�bjSZP5�;YMX %5�#�1w

� 5 � � �.w ��f1l1SdW1�4HNw �*w �=WRXZXZP5t_g���WR^*gtHNw Iºw�O�P�J W1�6�Z�=^>��l*l1XZP@WRbdc>S7P �oYM`5X7Y'\7\Z]_P5^"'CYM\�SZ]_^*`.f*\7]_^*`#O&t_]_bM]_^*`*� ��%\L\L\z�(�CBD! #>�'.�BE13���'.*A����� �"!$#X!$�'&(!S���5�Y�X�>B[ZL.�#%!P�<.*1U�CBD!$�'.*�'&-!G��lFWR`5YM\�5�� F � �#1�C`oPGp@YMma�;YMX %5� 51w

� 5 %�� �.w ��f*l1SZW�WR^*gHNw IºwFO&P�J�W1���$(ºm�l*t_P'~1]_^1`�O�SZW�SZ]_b.�V^1QyP5XZm�W�S7]_P5^�]_^�SZc*Y ��YM^*YMXdW�S7]_P5^�PRQ 'CYM\7S �sWR\ZYM\G� �� �*74#>�'.�A��X�@�Y�X�>BEZ�.�#%!OG!$:(BE1U�4,����G!$#>1 �L&-.*B[1[���h.��'=]! A 13.��$1UA 1UBET5�Va�P5t�w��1�1lFWR`5YM\�5� F ��1� %5� �1w

� 5 5 �)`#w ��f*l&SdW1���#w )Aw�H}W�S7c�f*XG�[WR^*gnHNw Iºw=O&P�J�W1�t� ��Y'^1Y'XZW�SZ]_^1` 'CYM\7S+6[W�SZW QyP5X 0KXZWR^*bdc �KPGp@YMXZWR`5Y$�*�p*Q�B3R)�%\L\�\n�>�CBD!$#>�'.�BE1[���'.�A]���� �"!$#X!$�'&(!����i��7VBD��/�.�BD!-=b�Y�X�>B[ZL.�#%!9\+�4,�13�'!(!$#>13�4,5�*lFWR`5YM\ 5 %5 F�5 5��&�O&YMl1S7YMma�;YMX 5 � � �1w

� 5 � �)`#w ��f*l1SZW1�C�kw )DwYH}W�SZc�f*X'�CWR^*g HNw Iºw O&P�J�W1�+� �@`=� 0sWR\ZYMg±��SZYMXZW�SZ] p@Y 'CYM\7S 6[W�SdW ��YM^*YMXdW�S7]_P5^,WR^*g] S7\ (�pRWRt_fFW�SZ]_P5^V�*�6p� �B3R��%\L\L\z�(�CBD! #>�'.�BE13���'.*A����� �"!$#X!$�'&(!S���b��7VBD��/0.*BE!(=2�Y�X�>BEZ�.�#%!�\]�4,*1U�'!(! #>1U�4,@�lFWR`5YM\�5 5%�_F�5 � 51��x�bjS7P5�;Y'X %5��1w� 5%� �)`#w ��f*l1SZW1�5�#w )Aw$H}W�S7c&f1XG��WR^*g9HNw IºwGO&P�J�W1�G�Z��f&SZP5m�W�S7YMg�'CYM\�S 6[W�SZW ��YM^*YMXdW�S7]_P5^ �=\Z]_^1`�WR^#��S7YMXdW�S7] p@Y

��Y't�W�i1W�S7]_P5^lH�YjS7c*P&gV�*�{�0 � �����L��M�N�O �G1���B3Ri�(�CBD! #>�'.�BE13���'.*A �GT�/�?4��:(1U7V/q���hN ��7V�'=*.�BE13���C:��X��Y�X�>B[ZL.�#%!9\+�4,�13�'!(!$#>13�4,5�*lFWR`5YM\�5 � %(F�5%�#�*�G`=P'p@Y'mk�;Y'X %5�#1w

� 5#� �)HNw �*w ��WRX7XZP5t_g � ��w ��f*l&SdW1�&WR^*gtHNw I�w@O&P�J�W1�6�Z�uH�YjS7c*P&g1P5t_P5`R~aQyP5X �KP5^@SZX7P5t_t_]_^*`�S7c*Y=O&]_�MYoPRQ�S7c*Y 'CY'\�SO&f*] S7Y5� �t�0 � OC#%.��C:>.*& BE13���C:P���)�Y�X�>BEZ�.�#%!P\+�4,�13�'!-! #>1U�4,b.��'=0�h! BUR��$=*��A �-,*T5�Va�P5t�w�51��`oP*w��1�&lFWR`5YM\5�� � F�5##�1�G�5f*t ~ %5� �1w

� 5#� �)HNw �*w ��WRX7XZP5t_g}WR^*g<HNw I�w�O&P�J�W1�L�Z�V^�S7YMXZl*X7P&bMYMg*f*XZWRt"6[W�SZW $ t_PGU�'CYM\7S7]_^*`*� �)�� �y�����L��M�NPO O R41U#%=�GT�/�?4��:(1U7V/ ����Y�X�(BEZ�.*#%!dO'!$:(BE1U�4,�� ���'.*A T�:(1U:��+.��'=��'! #>1 �L&(.�BE13�*�F�1lFWR`5YM\�% �# F�% ���&� %5#�1w

� 5�� �)HNw �*w ��WRX7XZP5t_g WR^*g HNw Iºw�O&P�J�W1�h�$(�q�bM]_YM^@S �KP5m�l*f1SZW�SZ]_P5^áPRQh�V^@S7Y'X7l*XZP�bMYMg*f*XdWRt�6=YMr*^*] SZ]_P5^&u �=\7Y�KcFWR]_^*\'� �u�0 � OC#%.*�C:(.c&$BE13�*�C:<��� �]#X�-,*#%.�/0/213�4,z�6.��4,*7V._,*! :<.��'=��GT�:(BD! /2:d�+aºP5t�w % �1�@`=P*w�51�lFWR`5YM\ % �%� F�5 �%�*�GH}WRX7bdc %5�%�*w

� 5# � )Aw ��w4�5P5XZ`5YM^*\7Y'^hWR^*g ��w (ºXZ]_b 2&\7P5^ �6�jx��Vk�Y'bjS�u�x�XZ]_YM^@SZYMg��V^�S7YM`5XdW�S7]_P5^ 'CYM\�SZ]_^*`*� �h��*/2/074�C1[&(.�BE13���C:P�X�B3RV!S�0 �v�Va�P5t�w����&��`=P*w�1�1lFWR`5YM\ � � F �#1��O�Y'l&SZYMma�;YMX %5�%�*w

� 5� � 0�w��[P5X7Y't��2�Z�=f1S7P5m�W�SZYMgµO�PRQySVU�WRX7Y 'CYM\7S 6[W�SZW ��YM^*YMXdW�S7]_P5^ � �u�%\L\�\ OC#%.*�C:(.c&$BE13�*�C:<���w�Y�X�(BEZL.�#%!\+�4,�13�'!-! #>1U�4,@�Va�P5t�w % �1�C`=P*w�1�*lFWR`5YM\ �� � F ��"1�;�=f*`5f*\7S�%5� �1w

� � � � 0�w��[P5X7YMt�WR^1gi�*w4ICWR\ 2�]�� � 6o~1^FWRm�]_b )ºX7P5`5XdWRm O&t_]_bM]_^*`*� ���>� �>��#>/�.�BE13�*�)�]#%� &(!$:(:(1U�4,t�6! BEBE! #>:d�*a�P5t�w�5�1�lFWR`5YM\ % �#� F�% � �1��x�bjS7P5�;Y'X %5##1w� � %��)�*w � wCI�WR\ 2�]DWR^*g 0�w��[P5X7YMt����Z� 6�W�SdW $ t_PGU x�X7]_YM^�S7YMg�)ºX7P5`5XdWRm 'CYM\�SZ]_^*`�O@SZXZW�SZYM`R~@� �)�X\�\L\ OC#X.��C:(}

.*& BE13���C:S����Y�X�(BEZ�.*#%!9\]�4,*1U�'!(! #>1U�4,@�4aºP5t�wFO (�u�1��`=P*w��1�FlFWR`5YM\ �%� �$F �#�%�*�GH}WM~ %5# �1w� � 5 � '�w �FwYH�b �sWR�;Y@�]�jO�S7XZf*bjS7f*XdWRt 'CY'\�SZ]_^1` ��� O&PRQTSVU�WRX7Y�'CYM\7S7]_^*`dH�YjS7c*P�g*P5t_P5`R~ �=\7]_^*`�SZc*Y �K~&bMt_P5m�W�SZ]_b

�KP5m�l*t_Yji1] SV~9H�YjS7XZ]_b5� �9�P.*B[1[���'.�A���7V#%!(.�7b�X���GBD.��'=*.�#%=*: � ^*P'Uz`=��O ' �d��)ºf1�*t_]_b'W�SZ]_P5^ � � ��u$�1�R�9WR\Zc1u]_^*`RS7P5^ � %5# 51w� � � � '�wKx�\�SZXZWR^*g�WR^*g (ow �FwC�±Yj~&f�25YMXG�9� �o\Z]_^*`16[W�SZW $ t_P'Uä�=^FWRt ~&\Z]_\kQyP5X ��YM`5XZYM\Z\7]_P5^ 'CYM\7S7]_^*`*� �s�G1 �*B3R

���C�C7�.�AY��.*&$1 �L&9�P��#>B3R4ZL!$:(BL�Y�X�>BEZ�.�#%!��]7�.�A 1UBET<���� �"!$#X!$�'&(!G�1lFWR`5YM\��# F'� %5��O�Y'l&SZYMma�;YMX %5##1w� �%� ���kw O�w )�WRX7XZ]_\7c,WR^*g�O;w �#w{eFUsYM�;Y'^��P�jx�^NS7c*Y �oYMt�W�S7]_P5^*\Zc1]_l*\a�=m�P5^*`hS7c*Y���t_t uVf*\7YM\G�C�=t_t u(6 �ou�lFW�SZc1\G�WR^*g���t_t uVYMg*`5YM\ 'CYM\�SZ]_^*` �KXZ] S7Y'X7]�W1� �2�X\�\L\ OC#%.��C:>.*& BE13���C:P���)�Y�X�>B[ZL.�#%!P\]�4,*1U�'!(! #>1U�4,@�caºP5t�w�5 %5wV`=P*w

%�51�FlFWR`5YM\ %�� �#� F�%�� ��1�)6�YMb'YMmk��YMX %5�#�1w

Page 24: Data Flow Testing 1

� ���

� �#� ��O�w �=WRl1l*\[WR^*g (ow �Fw1�9Yj~&f�25YMXG�]�jO&YMt_Y'bjS7]_^*`�O&PRQySVUsWRXZY�'CY'\�S 6[W�SZW �=\7]_^*` 6[W�SdW $ t_PGU|�V^1QyP5XZm�W�S7]_P5^ � ��%\L\L\WOC#%.��C:>.*& BE13���C:@���t�Y�X�>BEZ�.�#%!�\]�4,*1U�'!(! #>1U�4,@�_aºP5t�w�O (�u % %5�c`oP*w#�*�@lFWR`5YM\ �#���$F ���%�1����l1XZ]_t&%5##�1w

� �#� � �kw ��PRSZc*YMX7m�Y't����.w �.w �o^�S7bdc � �ºu ��w �Kc�f ��WR^*g0HNw �Fw ��WRX7XZP5t_g �C� )ºXZ]_P5X7] SZ]_�M]_^*` 'CYM\7S ��WR\7YM\ $ P5X ��Y'`5X7YM\7u\Z]_P5^ 'CYM\7S7]_^*`*� �9�X\�\L\ OC#%.��C:>.*& BE13���C:@�����Y�X�>B[ZL.�#%!�\+�4,�13�'!(!$#>13�4,5��a�P5t�w 5��&�c`oP*w %��1�@lFWR`5YM\ 5� F %��1�x�bjSZP5�;YMX�5 � � %5w� ��� ���kw HNw'DWRcFW1�AO;w HNw '�c*YM�*f1S'�DWR^*gNO�w O�wYI�]_f �]�Z��^±��l*l1XZP@WRbdcvSZP�O&PRQTSVU�WRXZY $ WRf1t SSI�P&b'WRt_]_�'W�S7]_P5^,WR^*g

��YMpRWRt_]_gFW�S7]_P5^ 0sWR\ZYMg|P5^ �V^1b'X7YMm�Y'^@SZWRt 6[W�SZW $ t_PGU��=^FWRt ~&\Z]_\G� � +ML�i�L���0A��lFWR`5YM\ � 5��$F � �%�*�O&YMl1S7YMma�;YMX�%5#�1w� �# � �.w `.w 'DW'~&t_P5XG��6#w Iºw�I�Yjp1]_^*Y5��WR^1g ��w 6kw �[YMt_t ~@�P�jO@SZX7f*bjSZf*XZWRt 'CYM\7S7]_^*`±PRQ��KP5^*bMf*XZX7YM^�S )�XZP5`5XZWRm�\G� �

�%\L\L\KOC#%.��C:>.*& BE13���C:9�*�d�Y�X�(BEZL.�#%!S\]�4,*1U�'!(! #>1U�4,@�4aºP5t�w&% 1�'`=P*w��1�'H}WRXZbdc %5� 51w� �� �)HNw 6kwF�±YM]_\ZYMXG��� )ºX7P5`5XdWRmzO&t_]_bM]_^*`*� �)�%\L\L\ OC#X.��C:>.*&$BE1[���C:0�*�<�Y�X�>BEZ�.�#%!�\]�4,*1U�'!(! #>1U�4,@�'a�P5t�w�O (�u %��1�

`=P*w �*�*lFWR`5YM\ �#� 5 F �#���&���=l*XZ]_t %5##1w� � � �)(=w �*w1�±Yj~&f�25YMXG���(H�P5X7Y (�i&l�YMX7]_Y'^1b'Y[Uo] S7c+6[W�SZW $ t_PGU 'CY'\�SZ]_^1`*� �b�X\�\L\KOC#%.��C:>.*& BE13���C:S�*�d�Y�X�(BEZL.�#%!

\+�4,�13�'!-! #>1U�4,@�Va�P5t�w %51�C`=P*w 1�*lFWR`5YM\� %�5 F %51��O&YMl1S7YMma�;YMX�%5� �1w� ��%��)(=w �*w;�±YM~&f�25YMXG�]� '�c*Y �KP5\7S�PRQ�6[W�SZW $ t_PGU�'CYM\7S7]_^*` �[�=^ (ºm�l*]_X7]_b'WRtAO�SZf1g1~@� ��%\L\L\ OC#X.��C:>.*&$BE1[���C:

���d�Y�-�(BEZ�.�#X!9\]�4,*1U�'!(! #>1U�4,@�4aºP5t�w&% �1�'`=P*w�51�*lFWR`5YM\�%�5 %(F�%�5#1� $ Y'��w %5� �1w� �25 �l�(H�� '+I�� 0�� �lO6RV!9�h.�B3R � ��#���:d�Fc@S�SZl � �#�GU�U�U.w m�W�SZc@UsP5X 2&\'w b'P5m�w� � � �l�����#� �5�G7V�C:>!$B��Y�X�>B[ZL.�#%!O'!(&"R4�'��A �-,*T5�Fc@S�SZl � �#�GU�U�U.w \Zf*^1\ZYjSZ\7PRQyS'w bMP5m�w