20

Click here to load reader

DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

Embed Size (px)

Citation preview

Page 1: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

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

13254 687:9<;=7?>A@CBD 7FEHG�IJ2K@CEL25MN>POQBR 7:9HSUTV25OQBHBA>0O/B

W 7?>PEHEX>ZY/>PE\[L2]>A^_>PO` > a�S5Eb^)cdIfe=e=e5gihj>k[PE0lQ25E0monqp=p5n

r8s�t/uwvyx{z}|�~/| ����z���|��L�3z�tK|�z�t ��|��,��|���y�Q�Q�����5���Q�V���/�����,���3�V�<�Q�����!� �Q�q�=�¡£¢X¤ ¢�¥§¦:¨ ©:ª�¢XªP¤ «X«Pª�¬0­0­X®�¯"°N±³²0­0­\´�µ%¢ ¶�¢X·¸¤ ¢ ¢�¹�°K¢X¤ ºb¨¼»P½�¾

Page 2: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

������������ �j���¿ �������À��q���� ������ "� #Á���� �$ �À�%�Â&�(!��* �,+-��(Q. �0��(Ã�������

13254 687:9<;=7?>A@CBD 7§E0G�IJ2K@CEL25M£>POQBR 7:9HSÄTV25O/BXBA>POQB

W 7?>PE0EL>�YQ>PE\[X2]>b^_>PO` > a!S5E<^yc�Ife=e=e5g�hj>k[PE0lQ25E0mÄnqp=p5n

Å�Æ�ÇkÈHÉ{Ê�Ë�Æ Ì<ÊÎÍXÏ!ÐÑÍ0Ë�ÇkÒ\Ê�Æ�É�ÓAÔ Õ�Æ�Ì\Ô�ÆHÖØ×�ÙÛÚiÙÛÜ=Æ�Ò\ÝHÆ�Ì

ÞÎßkàFá{â:ãLä_áåAæ{çéè¸êìë�íÑç¸îïç}èðæFñòç¸ó_ôõè}öK÷_øðæ/ùCçéúLûýü�÷þç£ÿ�øðó_èðóïû§ó��0çéèð÷þû��ïçNóþø����ìæqç¸îïç}èðæFñ ç��

óþôõè¸æFë êìçk÷Vè¸æ�ïêÛó úLçk÷_ë��/æFøðø¸ó ø��ÿ�øðóþë�æ5ÿ�ø¸óïûFæ{çðç �båKüLæ£øðæ{÷ çéó ë�ô óþø\è¸üLêìçkê¼çAè¸üL÷_èç¸úLûýü�ç¸ó_ôõè}öK÷_øðæQê¼ç�� æFøðî,ûFóþñ3ÿ��ìæ��w÷_ë��wó_ôõèðæFëië�ó_è��ïæ{ç¸êìíþë�æ��è¸ó��XæÑè¸æ�ç}èðæ����åKü�ê¼çKÿL÷þÿXæ{ø��ïæ{çðû§øðê��Xæ�ç��Vê�� �"!Vë�êÛè�#L÷þë,æ � è¸æFëXçéêìóþë,ó_ô%$&!Vë�êÛè]ö=ü�êìûýü�÷'���ìó?ö]çèðóÀè¸æ�ç}è�ù(�Lë�æ �í øð÷þêÛë�æ��÷þç!ö£æ ���N÷ ç/ûFóþñ3ÿXó�çéæ����ú�ëLê èýçQêìë�÷Àú�ë�êÛô óþøðñ ö£÷:î&�) � èðü�óþú�í ü3ë�óþë"�è¸øðê���ê¼÷'� èðæ{çéè5çéúLÿ�ÿXó øéèØê¼ç ÿ�øðó*� ê���æ���#_úXçéêìë�í+�%ê����"!]ë�êÛè,� æFæFÿXçèðæ{çéè¸êìë�í çéêìñ3ÿ��ÛæQ÷þë��,êÛë�èðú�ê èðê-� æ��

.0/&1�243 â*5\à76 !Vë�ê èVè¸æ{çéè¸êìë�í�# ô øð÷þñÑæ{öNó ø8�9#ïû§ó ñ3ÿXó ë�æFë�è��óþøðêìæFë�è¸æ�jç¸ó_ôõè}öK÷_øðæ4�

Page 3: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

:<;>=@?BADCB;FE�GIHJCLKNMOEQP C�RS;�T�CUTWVXESY7P[Z\ADC�;FE^]_P R�E`baQHWcdP%eDT+agfdV�T+a^:<;>=@?

Ó\ÈHËih)Õ�Ô*jkÕCÆlknm Ö Å�Õ�É�oXp Èqk�É�È Ý0Æ�ÌQm�Ösr�ÕCÔ�ÍXt0ÈHÌum�m�Æ Ìum�Ö v!Õ�Æ�É{É�Æ7wQÆ Éx ÈHÆþÊ:Æ ÌÅ�Õym{Ê:É{ÕzrjÆ Ê Ö\Å�Æ�Ç\Ê�ÙQÍHÏ!ÐÑÍHË�ÇkÒAÊ:Æ�É�ÓAÔ Õ�Æ ÌkÔ�ÆXÖØ×�ÙÛÚiÙÛÜ=Æ�Ò\ÝHÆ�ÌÐÑÆlkCÆlmFÊ:Õ|{{Ì\Æ�Ìuk�È0ÈHÌ~}q�9�q�iÖ%�����9�9�Q�wÜ=Æ�ÒAÝ0Æ�Ì£Ö � Ælkn�HÕ�ÒkË

� ÓAÈHË�Ù�h�ÕCÔ*jkÕ�Æ&knm�ÖÛÅ�Õ�É�oØÙ�p Èqk�É�È Ý0Æ�ÌQm&����Ôlm Ù-o<ÒukCÆ�Ò\ÝHÆ�ÌKÙÛÈHÔHÙ�x5Æ

�ØÆ&xkÉ�ÒkÈHÉ���}��9��}

�+���������l�������z���|�l���z�&�z���F� �¢¡�£-�n¤u¥ ¦��W§¨�¢©&ª8«�¥��%¬�¦�¡���¡*ª�¡�­��z��¥�ª�®��Q¡�¦u¯l­��,�z���z��������°±¡ £������

�|��¥�����²��|¡©l�+¥ �³²´�8¦¢¦�¡�¦¢µ¶¬&¦�¡��l�\¬�¦�¡*ª����¢��·N�u«l�¸¦���¥ �¢¡�¹£�¡�¦+��«l�|�+�|�+��«l¥ �+�¢©&ª8«�¢¡ £��y¤%¥ ¦����|�%º>�8¦¢�+ª�¡��¬&­��8»�¥��³²+¡�£-�����¸�&¡��,²����¢�|��l��²���¡J¼"�,�����z����²�·±�u«l�|�s¬³¥�¬"�8¦²����¢ªF¦��|¼"���\½��-¾S¿�À �l�Á��Â�¥��Ã�F»'�����l�¢�|¡�Ä¡ £WÅÀ �l�Á�\¤s«&��ª�«Ã¥�­|­|¡�¤s�O��¡0�����z�7§�¯³�l�8µ� ¦�¥��|�l��²Æ¥��4¤Q��­|­�¥��4ª�¡��¬"¡��¢��²³°W©&�l�Á���4�|�Ä¥7©&�l�Á£�¡ ¦��Ǥu¥��*·_È ­Á��«l¡�©l�«´�l¡��µ�¢¦��|º'��¥�­������z�,�¢©l¬&¬"¡�¦¢�s�|�s¬&¦�¡�º'�-²���²�Â�©&�¢���&�W½É��¾S¿�À��&�Á�s®>����¬&�u�����z���|�l�W�¢�|��¬l­|��¥ �³²�|�*��©l�Á���|º>�·

Ê ËgÌ\ÍQÎ%ÏOÐÒÑ7Ó�Í%Ô�Ï4Ì

åAæ{çéè¸êìë�í ç¸îïç}èðæFñ ç¸ó_ôõè}öK÷_øðæ�# ç¸úLûýü,÷þç£÷Qÿ�øðó_èðó ûFó��Hç}èý÷þû��3óþøK÷����ìæ�çéîïçéè¸æFñ7# ê¼çN÷Ñû§ó ñÑÿ��Ûæ �9#è¸æ�ïêìóþúLç]÷þë��,æFøðø¸ó ø��ÿ�øðóþë�æVèð÷ ç��9�NåKüLæ��L÷þç¸êìû�ÿLø¸ó&���Ûæ{ñòê¼çKè¸üX÷?è�#Lô óþø]ÿHæFø¸ô óþøðñ ÷_ëLûFæ�ø¸æ�÷þç�óþëXç #0çéîïçéè¸æ{ñoç¸ó_ôõè}öK÷_øðæQê¼çVóþôõè¸æ{ëÕ�ïæ{ç¸êìíþë�æ�w÷þç%÷Îñ3óþë�ó&�ÛêÛè¸üLêìû����Ûóïû���ó_ôØñ ú��Ûè¸ê-Cèðü�ø¸æ�÷��ïæ�ç¸ó_ôõè}öK÷_øðæ��KåKü�êìçVÿ�øðæ �þæ{ë�èðç]ç¸úLûýüwç¸ó_ôõè}öK÷_øðæ%ô øðóþñÖ�HæFêìë�í è¸æ�ç}èðæ��ÀÿLø¸ó ÿXæ{ø8�ìîÎô ó ø]è}ö£ó ø¸æ�÷þç�óþëXç �×\êÛøýçéè�#�ê è\êìç�� æFøðî��ïê-ØÎû§ú��Ûè<èðó]êìç¸ó��¼÷?èðækè¸ü�æ,�L÷þç¸êìûu�Lú�ê-���ïêìë�íÙ���ìóïû��ïçØù ú�ëLê èýçF�<êÛëQ÷Kñ3óþëLó��ìê èðü�êìûÿ�êìæ{ûFæÑóþôKç¸ó_ôõè}öK÷_øðæ��¸Ús� æFë¿ê ô£è¸ü�æ�çéæ3ú�ëLê èýç!öNæ{ø¸æÛ�ïæ�çéêìíþëLæ��¿÷þç�çéæ{ÿL÷_øý÷?èðæ æ{ë�è¸êÛè¸êìæ{ç�#<è¸üLæFî÷_øðæ=ë�óþèNë�æ�û§æ{çðçð÷_øðê-�ìîQêìë��ïæFÿHæFë��ïæFë�è!ù çéèð÷_ë��³�÷��Ûó ë�æ��ÜA÷þë�îÑú�ë�êÛè£û{÷_ëÎûFø¸æ�÷?è¸æ=øðæ§ô æ{ø¸æ{ëLû§æ�çkè¸óó_èðü�æFø£ú�ë�êÛèðçKñ ÷���êìë�í/è¸ü�æ{ñÝ�ïæFÿHæFë���æFë�è=óþëjæ�÷þûýüÎóþè¸ü�æ{ø�� åKü�ê¼çNñ3÷��þæ�ç5êÛè=êÛñ3ÿHó çðçéê����ìæ]è¸óøðæFÿ��¼÷þûFæ�÷Ñøðæ§ô æ{ø¸æ{ëLû§æ�jú�ëLê èVö=êÛè¸üLóþúïèVûýüL÷þë�íþêìë�í3÷_ë îjûFó³��æ��ØåKü�ê¼ç=ê¼çKè}î ÿ�êìû{÷'���ÛîÎè¸ü�æQû{÷þç¸æô óþøq÷Îú�ëLê è%è¸üL÷_èqê¼ç=èðæ{çéè¸æ��wêÛëiêìç¸ó��¼÷?èðêÛó ëg��Þ�ëÀè¸üLêìçqûF÷ çéæ&#Hçéè¸ú��Xç4ß à>á ÷_øðæQó_ôõèðæFëwúXçéæ�w÷þç%÷øðæFÿ��¼÷þûFæFñ3æFë�èØô ó ø5ú�ë�êÛèðçNèðüL÷?èK÷_øðæ]ø¸æFô æFøðæFëLûFæ��Ñô øðóþñ�ö=êÛè¸ü�êìë è¸üLæ]è¸æ�ç}èðæ��jú�ë�êÛè��%â]ó?ö£æ � æFø#è¸ó�ø¸æ�ïúLûFæQè¸üLæ/øðêìç8��ó_ôØêìë èðø¸ó"�ïúXû§êìë�íÎæFøðøðóþøýçÙ�ïú�øðêÛëLí�÷þû{û§æ{ÿïèð÷þëLû§æ!èðæ{çéè¸êìë�í�ù ö=ü�æ{ë�ç}èðú��Lç÷_øðæQøðæFÿ��¼÷þûFæ��7� î�è¸ü�æ ø¸æ�÷'�búLë�ê èýçF��#0ê èqêìç%æ{çðçéæ{ë�è¸ê¼÷'�<èðüL÷?è%è¸ü�æ ø¸æ{ÿ��¼÷þû§æ{ñ3æFë�èVó_ô5çéè¸ú��Lç�� îè¸üLæ!ø¸æ�÷'�0ô ú�ëLû§è¸êìóþëL÷��ÛêÛè}îÎê¼çKè¸øý÷_ëXçéÿL÷þø¸æ{ë�è��

ã±äåÁæuçnè�ænè�é�çyêzä�ä*é�æuë'è�è�ì�ê�é�çyçnåÁè�í�î�ïðuåÁì�î�çyí>è�çuî�ñ9òSóÁê�éFðnè�ó�ô9è�óÁó³õSå ðyäWö*ì*é�ìê�å|é�ó�ænï÷>÷'î�çyð%î�ñ�ðnäèø�óÁè�ù�åÁænä%åÁì>æ¶ðnå ðyïðyè9ñ�î�ç"ðyä>ègé�íú�é�ìê�è�ù�è�ì�ðqî�ñ*æyê�åÁè�ì�ðyå ö*ê¢û�ðnè�êzäì>î�óÁî�ü�åÁê�é�ó�çyè�ænè�é�çnêzä,åÁìsðnä>è�åÁìí>ï>æyðyçyý�þ-ÿ���ã��� ò������ ���� ���

Page 4: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

åKü�æÀç¸æ{û§ó ë���ÿ�ø¸ó&���ìæFñ8ê¼çÑè¸ü�æwûFóþëLûFú�ø¸øðæFëXû§î�û§ó"�ïæ�ù ç¸úLûýü ÷þç3ç¸æFñ ÷_ÿ�üLóþøðæ{ç���#Øö=ü�ê¼ûýü êìçêìë èðø¸ó"�ïúXû§æ��wêÛë¿çéúLûýü�ñ/ú��Ûè¸ê-Cèðü�øðæ{÷���æ��wç¸îïç}èðæFñÄçéóþôõè}ö£÷þø¸æ&���Àó�ç}èqó_ôØèðü�æQèðêÛñ3æ&#0è¸ü�æ{ø¸æ êìçë�ó�û§ó ë�è¸øðó��Kñ3æ{ûýüL÷þë�êìç¸ñ ÷>�?÷_ê��¼÷'���ìæjèðó�ñ3÷þëL÷_í æjèðü�æ�è¸üLø¸æ�÷���ç3êìë�èðü�æwç¸î çéè¸æ{ñ7� ) �ìç¸ó�#û§ó ëLû§úLø¸øðæFëLûFî�û§ó"�ïæ ê¼ç!óþôõè¸æFë�ç¸ÿ�øðæ{÷��ióþú�è/ó*�þæ{ø%èðü�æ ô ú�ëXû³è¸êìóþëX÷'�5ûFó³��æ��jåKü�ê¼çQëLó_èQóþë��Ûîû§ó ñ3ÿ��Ûê¼ûF÷_è¸æ�ç���æ �þæ��Ûó ÿ�ñ3æFë�è���úïè]÷'�¼ç¸ó/èðæ{çéè¸êìë�í3ó_ôbèðü�æQû§ó"�ïæ&#"�Xæ�ûF÷þúLçéæ��ïê��0æFøðæFë�è]÷þç¸ÿXæ�û³èðçùõô úLëLû³èðêÛó ëL÷'�ìê è}î3÷_ë��ÑûFóþëLûFú�øðø¸æ{ëLû§î��k÷_øðæ=ñ3ê��ïæ���SÞ�èNöNó ú����¸�Hæ%÷þë3÷&�"�?÷_ë�èð÷þíþæ£è¸ó��XæV÷����ìæè¸óÑô óïû§úXçKè¸æ�ç}èðêÛë�í ó ë�æ�÷þûýü,ó_ôAè¸ü�ó�çéæQ÷ çéÿHæ{û§èðç=ç¸æFÿL÷þøð÷_è¸æ �ìî���¿æÎÿ�øðæ{ç¸æFë�è!è¸ü�æ��Vê�� �"!Vë�êÛèQè¸æ�ç}èQô øý÷_ñ3æ{öNó ø8�9#<ö=ü�ê¼ûýü�êìç ÷_ë�æ�� èðæFëLç¸êÛó ë�ó_ôÙ$&!Vë�êÛè�ß �>án�Þ�èKêìç��ïæ � æ �ìóþÿHæ�� ç¸ÿXæ�û§ê-�XûF÷��-�ìîÑô óþøNè¸æ�ç}èðêÛë�í¸�Vê�� ��ù¶�%êìçéè¸øðêìë�æ§è��Øøðó_èðó ûFó���� èð÷þû�����ß �'áHú�ëLê èýç ��%ê�����ê¼çQ÷,ô øý÷_ñ3æFö£óþøF�Àêìë�è¸ü�æO�ïó ñ ÷_êìë¿óþô£ÿLø¸óþè¸óïû§ó&�Øç}èý÷þû��ïç!÷_ë�� ���ìæjç¸îïç}èðæFñ ç�ö=ü�ê¼ûýüó��0æFøýçK÷/ë ú�ñ4�Xæ{øKó_ôAç¸ó_ôõè}öK÷_øðæVæ{ë�íþêìë�æFæ{ø¸êìë�íÑûýüL÷_øý÷þû§è¸æFøðê¼ç}èðêìû{çØèðüL÷?è=÷_øðæ�� æFøðî çéú�ÿLÿXó øéèðê-� æô óþø<è¸æ{çéè¸êìë�í��S�%ê����qêìç±�L÷þç¸æ���ó ë�çéèð÷þë��³�÷'�ìóþë�æ úLë�ê èýç<ö=ü�ê¼ûýüQ÷_ëLóþë î ñÑó úLç8�ÛîVûFóþñ3ñ/úLë�êìû{÷?èðæö=êÛè¸ü�æ{÷ ûýüjó_èðü�æFø�%!]ë�êÛèðçKüLó?öNæ��þæFøKûF÷þë�æ ��ûýüL÷_ë�í æ%ûFóþë�è¸øðó��0êìëïô óþøðñ ÷?è¸êìóþë±#"��úïè=óþë��ìîO� ê¼÷æ � æFë�èðç����%ê�� �"!Vë�ê è�ó��0æFøýçV÷jú�ë�êÛô óþøðñoö£÷:î,ó_ô èðæ{çéè¸êìë�í��%ê����Àú�ëLê èýç��Hæ{û{÷_úLç¸æ ÷��-�\ú�ë�êÛèðçç¸üL÷_øðæ5èðü�æ]çð÷_ñ3æNêìë�è¸æ{øéô ÷ û§æ��kåKü�ê¼çu�þæ{æFÿLçAè¸æ�ç}èðêÛëLí��þæFøðî!êìë èðú�êÛè¸ê��þæ=÷_ë��Ñç¸êÛñ3ÿ��ìæ��uâ]ó?ö£æ � æFø#è¸üLæqÿLø¸ó*� ê��ïæ��Îç¸ú�ÿ�ÿHóþø¸è£ô óþøNè¸æ{çéè¸êìë�íÑú�ë�êÛèðçKêìëjê¼çéó&�ì÷_è¸êìóþëÎêìë�è¸ü�æqÿ�øðæ{ç¸æFëLûFæ%óþôAû§ó ëLû§ú�øðøðæFë�è�HæFüL÷>� êìóþøKêìç]ë�ó_èKè¸øðê���ê¼÷'�n�åKü�æ�ÿL÷þÿXæ{øÑê¼ç3óþøðí ÷þë�ê��Fæ���÷þç ô ó����Ûó?ö]ç��X� æ�û³èðêÛó ë à �ïæ{çðû§øðê��Xæ�ç/èðü�æ7�L÷þç¸ê¼û�ûFóþëLûFæFÿïèýç óþô�%ê����À÷_ë��Õ�ïêìçðû§úXç¸ç¸æ{çKèðü�æ¸�Xæ{ë�æ���èýçVóþô,�Vê�� ��è¸ó?öK÷_ø���çKè¸æ�ç}èðêÛëLí���� æ�û³èðêÛó ë�� êìë èðø¸ó"�ïúXû§æ{çè¸üLæ\�%ê�� �"!Vë�ê è!èðæ{çéè�ô øð÷þñÑæ{öNó ø8�9���%ê�� �"!Vë�ê è/ç¸ú�ÿ�ÿHóþø¸è�êìç�æ ��èðæFë���æ��iêÛëiè¸ü�æÑô ó&�-�ìó?ö=êÛëLíç¸æ{û³èðêÛó ëLç��<� æ{û§è¸êìóþë �N�ïæ�ç¸ûFø¸ê��Hæ{ç�ü�ó?öUñ/ú�� èðê��è¸ü�øðæ{÷&�ïæ���çéóþôõè}ö£÷þø¸æ¿ûF÷þë��Hæ�èðæ{çéè¸æ���êìë�%ê����"!]ë�êÛè��Ù� æ�û³èðêÛó ë!�\��æ{çðû§øðê-�Hæ{ç=üLó?ö�ú�ëLê èýçV÷_øðæqè¸æ�ç}èðæ���êìë�è¸ü�æQÿLø¸æ�çéæ{ëLû§æ!óþô\æ ��èðæFøðëL÷'�û§ó ë�è¸øðó��#"Ló?ö]ç��Ò� æ{û§è¸êìóþë%$0�?÷��Ûê���÷?èðæ{ç4�Vê�� �"!Vë�êÛè êìë�è}öNówû{÷þç¸æÎç}èðú��ïêìæ{ç��'&NóþëLû �ÛúXçéêìóþëLç÷_øðæqô óþøðñ/ú��¼÷?èðæ���êÛë�ç¸æ{û³èðêÛó ë�(³�

) *,+.-0/[Ô�13254'Î#6879-;: Ï�Î#<

�¿æ%ÿ�øðæ{ç¸æFë�è��Vê�� �Õß �*á%ß �>= áP÷ çK÷�$�÷>�:÷ û§ó ñÑÿHóþëLæFë�è5ô øý÷_ñ3æFö£óþøF�¸�L÷þç¸æ��jóþëÛ�LëLæqí øð÷þêÛëLæ��êìë��ïæFÿHæFë��ïæFë�è�úLë�ê èýçÎèðüL÷?è�÷_øðæ�û§ó ë�ë�æ�û³è¸æ�Á÷þç�÷�ÿ�êìÿXæ �÷þë��³n��� èðæFø�÷_øýûýü�êÛè¸æ{û§è¸ú�øðæ���åKü�æô øý÷_ñ3æFö£óþøF�/ç¸ú�ÿ�ÿHóþø¸èðçkèðü�æ��ïæ��þæ��Ûó ÿ�ñ3æFë�èØó_ô<ç¸î çéè¸æ{ñ�ç¸ó_ôõè}öK÷_øðæ=çéúLûýüÎ÷ ç ÿ�øðó_èðó ûFó��Lçéèð÷ û��ïçóþø����ìæ çéîïçéè¸æFñ ç\ß ?>án�4�Vê�� ��êÛñ3ÿ��ìæFñ3æ{ë èý÷?èðêÛó ëLçqó_ô5ë�æFè}öNó ø8��ÿ�øðó_èðóïû§ó��¼çÑù ç¸úLûýüi÷ çqå@&��u#!��J�u#QÞ��s�A��#QÞ��s�B$w÷þë��ÄÚ èðü�æFøðë�æFè���üL÷>� æO�HæFæFëX�ïæ � æ �ìóþÿHæ��¿è¸óiÿ�øðó*�þæ êÛèðçQúXçéæFô ú��ÛëLæ{çðç �C ë�í óþêìë�íÎøðæ{ç¸æ{÷_øýûýüw÷_ÿLÿ��Ûêìæ{çJ�%ê����Àêìë�èðü�æÑûFóþë�è¸æ � è%ó_ô,���Ûæ3ç¸î çéè¸æ{ñ ç �D&Nóþñ3ñ ú�ë�ê¼ûF÷?èðêÛó ë�Hæ§è}ö£æFæFë¹�%ê����wú�ëLê èýç!êìç�êìë�è¸æ{øðûFæFÿïèðæ�� ��îwè¸ü�æÑô øý÷_ñ3æFö£óþøF�9� ) ç!ç¸ü�ó?ö=ëiêÛë´�Lí ú�ø¸æ � #A÷ú�ë�êÛè/ê¼çQç¸ú�ø¸øðóþúLë��ïæ�� � îi÷�ÿL÷ û��þæFè�øðæ{ûFæFê��þæ{ø�#<ö=üLêìûýü�÷þû{û§æ{ÿïèðç�êìëLû§ó ñ3êÛë�íÀÿX÷þû��þæFèðç�#A÷þë��÷�ÿL÷ û��þæ§è�ô ó ø¸öK÷_ø��ïæFø#<ö=ü�ê¼ûýüÆ�ïæ �ìê��þæFøýç�ÿL÷ û��þæ§èýçqè¸ów÷þë�ó_èðü�æFø!ÿL÷ û��þæFèQø¸æ�û§æFê��þæ{øDE>��åKüLêìç÷'���ìó?ö]ç<ô ó ø ú�ë�êÛèðç\è¸ó!ûFóþñ3ñ/ú�ëLêìû{÷?è¸æK÷_ëLóþë î ñÑó úLç8�Ûî&#_çéêìëLû§æNè¸üLæFîQüL÷>� æNëLóqæ �ïÿ��Ûê¼û§êÛè ë�ó_èðêÛó ëó_ôkó_èðü�æFø=úLë�ê èýç=êìëjèðü�æQçéîïçéè¸æ{ñB�) �Vê�� ��ú�ë�êÛè,ê¼ç�÷þë�ó��GF}æ{û³è8�ó ø¸êìæFë�èðæ��Áæ{ë èðê è}î ö=êÛè¸üy÷Ä�þæ{ø¸îÁç¸ÿXæ�û§ê-�Xû�ù(�Lë�æ¿íþøý÷_êìë�æ����øðæ{ç¸ÿXó ëLçéê���ê��ÛêÛè}î�� ) ��êìçéè¸êìëLû³èðêÛó ë�üL÷ çO�HæFæFëÁñ ÷&�ïæÒ�Hæ§è}ö£æFæFëIHKJBLNMPORQTSUJBVXWPY[Z]\^VX_�O@JBV`ZaY]b÷_ë��.WU\�VXWPJBL�LNM�VKW�QDJBVcZaYdb��\åKü�ê¼ç5ç¸æFÿL÷þøð÷_è¸êìóþë ÷��-�ìó?ö]ç\è¸óQûýüX÷_ë�í æNèðü�æVûFóþëLûFú�ø¸øðæFëXû§î!ñ3ó"�ïæ �êìë��ïæFÿHæFë��ïæFë�èqô ø¸ó ñ èðü�æ ô ú�ëLû³èðêÛó ëL÷'�ìêÛè}îÀêÛë�è¸ü�æÑçéîïçéè¸æFñ7���%ê�����ú�ë�êÛèðç�ûF÷þëÒ�Hæ í ø¸ó ú�ÿXæ�è¸ó íþæFè¸ü�æ{ø êÛë�è¸ó!ñ3ó ø¸æ=û§ó�÷_øýçéæ£íþøý÷_êìë�æ�/ú�ëLê èýç]ù ç¸úLûýü ÷þçØ÷J�¼÷:îþæ{ø êÛë ÷qÿ�øðó_è¸óïûFó���çéèð÷þû������ ) �-�e �4è%õ±åÁóÁó�çnè¢ñ�è�ç�ðyîÉ÷*é�êgf�è¢ðSçnè�ê�è�å ú�è�çSé�ì>íJ÷>é�êgf�è¢ðQñ-î�çyõgé�çyí>è�çnæ±é�ægè�ì�ðyçyýJé�ì>íJèih�å ðS÷'î�åÁì�ðnæ±î�ñ�é�ï>ìå ðNj

à

Page 5: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

(entry point)PacketReceiver PacketForwarder

(exit point)

Unit

k k kk k kk k kk k kk k kl l ll l ll l ll l ll l l

m m mm m mm m mm m mm m mn n nn n nn n nn n nn n n oopp qqrr

incomingPacket(Packet p) deliverPacket(Packet p)

×\êÛí ú�øðæ � Ü%�Vê�� ��ú�ë�êÛè]ö=êÛè¸ü�óþë�æ�æ{ë èðø¸î&#�óþëLæqæ �ïê è]ÿHóþêìë�è

ú�ë�êÛèðçVÿ�øðó ûFæ{çðç]÷_ëÀæ �ïÿ��Ûê¼û§êÛè%ç¸æFñ ÷_ë�èðêìû�æ{ë èðê è}î�ùtsGucv^wGxzy���#�ö=ü�ê¼ûýüÀø¸æ{ÿ�ø¸æ�çéæ{ë�èðç=÷ ë�æFè}öNó ø8�ÿL÷ û��þæ§è ó ø5÷_ë\ÞN{ C øðæ>|�ú�æ{çéèØÿL÷ û��þæ§è�AåKü�æ�çéæ=ÿX÷þû��þæFèðçØû{÷_ë3æFë�èðæFø5÷þë��¸�Ûæ�÷>�þæ=÷��Vê�� �ÑúLë�ê èè¸üLø¸ó ú�íþü,óþë�æ�ó ø=ñÑó ø¸æ�æ{ë èðø¸î�÷_ë���æ��ïêÛè]ÿXó êÛë�èðç��}]æ � è5è¸ó/è¸ü�æJ��÷?èý÷jù ÿL÷þû�� æ§è���"Ló?ö è¸ü�æ{ø¸æ%êìç£÷Qû§ó ë�è¸øðó��B"Ló?ö èðüL÷?èK÷'���Ûó?ö]çØêÛë�è¸æ{ø��ú�ë�êÛè£ûFóþë"è¸øðó��Xû§óþñ3ñ ú�ë�ê¼ûF÷?èðêÛó ë4� ê¼÷�æ � æFë�èðç��AåKü�æ��ïê~�0æFøðæFëXû§æ=ö=êÛè¸üÑè¸ü�æ���÷?èý÷�"Ló?ö�ê¼çkè¸üX÷?è5êìëLçéè¸æ{÷&�ó_ôW��÷?èý÷¿ÿL÷þû�� æ§èðç�#5ûFóþë�è¸øðó��Kêìëïô óþøðñ ÷?è¸êìóþë ê¼çÑè¸øý÷_ëLç¸ÿXó øéèðæ���� ×�ó ø æ���÷_ñ3ÿ��ìæ�#£÷iè¸êìñÑæ{óþúïèç¸êÛí ëL÷'�Hè¸üX÷?è£è¸øðêÛí íþæFøýç£÷/øðæ§èðøð÷þëLçéñ3êÛè£úLë�ê è#ïóþø=÷_ë )@� � øðæ>|�ú�æ�ç}è£è¸üL÷_è=êìçKç¸æFë�è£ö=üLæFë�æ��þæFø÷�ë�æFè}öNó ø8��÷&���ïøðæ{çðç!ûF÷þë�ë�ó_è+�Hæ3è¸øý÷_ëXç��¼÷?èðæ��¿êÛë�èðów÷�üL÷_ø��ïöK÷_øðæÑ÷&���ïøðæ{çðç � � æFíþê¼çéè¸æFøðêìë�í�ìêìçéè¸æ{ë�æFøýç=÷_ë��B�ïê¼çéÿX÷?èðûýüLêÛë�í3óþô\æ��þæFë�èýçKêìç=ç¸ú�ÿ�ÿHóþø¸è¸æ��ö=êÛè¸üLêÛë,è¸üLæ+�Vê�� �jô øý÷_ñ3æFö£óþøF�9��%ê�����÷��-�ìó?ö]çÀç¸î çéè¸æ{ñ ç,è¸ó_�Hæ�û§óþë��Líþú�øðæ��~�L÷ çéæ�)ó ë"÷ ç¸æ§èwóþôÑü�êìíþü�n�ìæ � æ �!øðæ>|�ú�êìø¸æ ñ3æFë�èðç=÷þë��ÎÿLø¸æFô æFøðæFëLûFæ{ç�ù æ&� í��;LNM�O~Z]_z�PO�M/÷þë��!bPMUWPJBLNMqè¸øý÷_ëXçéÿHóþø¸è£ó*� æFøK÷TVKM�Y[��\^LN�����ØåKü�æ�%ê������A���c�c�c��x��=ñ ÷?èýûýü�æ{ç<è¸ü�æ�çéæ5ø¸æ�| úLêÛøðæFñ3æFë�èýç<÷_ë���ÿLø¸æFô æFøðæFëLûFæ{ç0èðó]ú�ë�êÛèQ�ïæ�ç¸ûFø¸êìÿïèðêÛó ëLç #ö=ü�ê¼ûýüB��æ{çðû§øðê-�HæVèðü�æ!ÿ�øðó*� ê��ïæ�3ô ú�ëLû§è¸êìóþëL÷��ÛêÛè}îÎóþô\÷ ú�ë�êÛè��5åKü�ê¼ç£ñ ÷?èðûýüLêÛë�í3ÿ�øðóïû§æ�ç¸çNø¸æ�ç�ú��Ûèðç êìëÑóþë�æKóþø ñ3ó ø¸æ��?÷'�ìê��Ñç}èðø¸úXû³è¸úLø¸æ=û§ó ë"�Lí ú�øð÷_è¸êìóþëLçKùC÷qçéèð÷ û��!ó_ô0ÿ�øðó_è¸óïûFó��³�ì÷:î æFøýç<èðüL÷?è÷���ü�æFøðæ�è¸ó3èðü�æ/ç¸æ§èVóþô\øðæ>|�ú�êìø¸æ{ñ3æFë�èðç��Wß �*án�É×\êÛëL÷��-�ìî�÷Û�Vê�� ���A���z�z�Bx��Ñè¸øý÷_ëLç8�¼÷?è¸æ�ç]ç¸úLûýüçéè¸øðúLû³èðú�ø¸æ!ûFóþë"�Lí ú�øý÷?è¸êìóþë�êÛë�èðó3÷3øðú�ë�ëLêÛë�í3ÿ�øðó_èðóïû§ó��Pçéèð÷ û��q�åKü�æ3çéóþôõè}ö£÷þø¸æ4�ïæ{ç¸êÛí ëwÿ�øðêÛëXû§êìÿ��Ûæ�çJ�Xæ{ü�êÛë�� �%ê����w÷þø¸æ+�X÷þç¸æ��wó ëÀè¸üLæ��A÷:ö�ó_ô �%æFñ3æ§èðæFøù]�bó&�W��ß (>án�kåKüL÷_ë�� ç\èðóVèðü�æ{ç¸æ��ïæ{ç¸êìíþëÑÿ�ø¸êìëLûFêÛÿ��ìæ{ç�#_ö£æÉ�Xæ��Ûêìæ � æ5èðüL÷?è èðü�æ��Vê�� � ÷_ÿ�ÿLø¸ó�÷þûýüûF÷þë�óz�Hæ{øqç¸æ � æFøý÷'�Q�Xæ{ë�æ���èýç%è¸ó?öK÷_ø���ç=èðæ{çéè¸êìë�í��8�¿æ3çéü�ó?ö�üLó?ödæ{÷ ûýüwó_ôØèðü�æ¸���þæ ñ ÷_êìëÿ�øðêÛëXû§êìÿ��Ûæ�çKó_ô\è¸ü�æ8�bó&�"ê¼ç]ç¸ú�ÿ�ÿHóþø¸è¸æ���êìë7�%ê�� �,÷_ë���ü�ó?ö�ê èV÷��Hæ�û³èðç=è¸æ{çéè¸êìë�í�Ü

��� \�J�HXORZaVA��WU\^V`YdL�\^O��ÑåKü�æ��<ól��æP�Hæ�û³èðê-� æ �ìîÀø¸æ�ïúLû§æ�ç%è¸ü�æ3ë ú�ñ��HæFø�óþô5ñ3æ§è¸üLó³�Lç!÷ÿ�ø¸ó íþøý÷_ñ3ñ3æFøÑûF÷_ë ûF÷��-�=÷_ë���èðü�æFøðæ§ô ó ø¸æ�ô ÷þûFê-�ìê èý÷?èðæ{çÑø¸æ{úLç¸æ,÷þë���øý÷_ê¼çéæ�ç è¸ü�æÀç¸ó_ôõè�ö£÷þø¸æ�� ç��Ûæ��þæ �kóþô£÷'�Xç}èðøð÷ û³è¸êìóþë±�+�Vê�� �wú�ë�êÛèðç�ó��0æFø!÷'��M�OaO~� �zMd ¡VXMU�.VK_^L�LN\��dæFë�èðø¸îêÛë�è¸æ{øéô ÷ û§æQù �>¢Kvz���£�>¢B¤AsGucv�wGx�y¡¥NsBuGv^wAx�y¦��§'���kåKü�ê¼ç5÷��-�ìó?ö]ç æ{÷ çéî¸�ïæ � æ �ìóþÿ�ñ3æ{ë èØóþôçéÿHæ{ûFê��Xû]ú�ë�êÛèNèðæ{çéèðç�ÜAö=øðê èðêÛëLí��Vê�� � ú�ë�êÛè5è¸æ�ç}èKûF÷ çéæ�çØê¼ç5÷þç5æ{÷ çéî3÷þç5ÿ�ø¸ó*� ê��ïêìë�í�è¸ü�æú�ë�êÛèØö=ê èðüÎçéÿHæ{ûFê��Xû£èðæ{çéè5ÿL÷ û��þæ§èýç ÷_ë��3ûýü�æ�û�� êÛë�íqèðü�æ=ø¸æ�çéú�� èðêÛë�í!ÿX÷þû��þæFè�ùCçF�Q�ìæ{÷>� êìë�íè¸ü�æ!ú�ëLê è��©¨ V>S�\�L�ª�_�YdZ]\�V¬«BZ]�^ZaVA��� Þ�ë�í æFë�æ{øð÷��y#Nè¸ü�æ­�<ól�Uÿ�øðæ � æFë�èðçÎ÷�ñÑæFè¸ü�ó"� ô øðóþñ �ïêìø�æ{û³èF�Ûîiø¸æFè¸øðêÛæ�� êÛë�íÀ÷�ç¸ú���ÿL÷þøéèQóþôK÷þë¿ó&�BF}æ{û§è!ö=ü�êìûýü�ê¼ç+�ïêìø¸æ�û³èF�Ûî¿÷þûFûFæ{çðçéê����ìæ��ÎåKü�æó��BF}æ�û³è!çéü�ó ú����Àó��0æFø�ñ3æ§èðü�ó"��çqè¸üL÷_èqüLê��ïæÑü�ó?ö�èðüL÷?è!ç¸ú���ÿL÷þøéè!ûF÷þëÕ�HæÑøðæ{÷ ûýü�æ��g��Vê�� �Ñøðæ{çéè¸øðêìû§èðç5ú�ë�êÛèðç5è¸ó�\�VcORQ®WU\^VcYi_zWPY�MU_zWU«.\^Yt«GMPL�_�VX\^V`Q^ª�\�JAb�ORQ4� ê¼÷�è¸üLæ��%ê����ô øð÷þñÑæ{öNó ø8�Æ� î�úXçéêìë�í�óþëLæ�ç¸ÿHæ{û§ê-�XûÀñ3æFè¸ü�ó"� ûF÷��-�/ùd�BxA�c��¯Gx��°sGucv^wGxzy¡¥ �cuBv^wGxzyX§ù ç¸æFæÛ�Lí ú�øðæ � ���wåKüLæFøðæ§ô óþøðæ�#u�%ê����¿ú�ë�êÛèðçÑû§æFø¸èð÷þêÛë��Ûî¿ûF÷_ëLë�ó_è/øðæ§èðø¸êìæ � æÎçéú���ÿL÷_ø¸èðçô ø¸ó ñ�ó_èðü�æFø/ú�ë�êÛèðç��±�Àó ø¸æ{ó*�þæ{ø�#bç¸êìëLû§æO�%ê����¿ú�ë�êÛèðç ÷_øðæÑêìë��ïæ{ÿXæ{ë��ïæ{ë è#\è¸ü�æjç¸îïç�è¸æFñÄçéè¸øðúLû³èðú�øðæ/ûF÷þë0�XæÑ÷���÷þÿïè¸æ�,ô óþø]èðæ{çéè¸êìë�íjÿLú�ø¸ÿHó ç¸æ{çVö=ê èðü�óþú�èqûýüL÷þë�íþêìë�íÎ÷_ë îû§ó"�ïæ���åKüLêìçÎ÷��-�ìó?ö]ç ç¸ÿXæ�û§ê-�Xû,è¸æ�ç}èÎú�ëLê èýç3è¸óÆ�HæÀêÛëXçéæ{øéèðæ�� ÷?èj÷þë�î�íþê��þæFë ÿHóþêìë è

Page 6: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

ö=ê èðü�êÛë¿èðü�æjç¸î çéè¸æ{ñ�çéè¸øðúLû³èðú�øðæ��O×�ó øQæ���÷þñÑÿ��Ûæ&#<è¸ó�èðæ{çéèQü�ó?ö�å@&���ûFóþë�ëLæ{û³èðêÛó ëæ{çéèð÷'���Ûê¼çéüLñÑæ{ë�èQ�ïæ�÷'�¼çbö=êÛè¸ü/ûFóþñ3ñ/úLë�êìû{÷?èðêÛó ë��ïæ �¼÷:îïç<ó øAÿL÷ û��þæFè±�Ûó�ç¸ç�#?çéÿHæ{ûFê��Hû5ñ ÷*ë�êÛÿLú��ì÷_è¸êìë�í,ú�ë�êÛèðç ù ÿLø¸ó*� ê��ïêÛëLí��ïæ��ì÷:î&#Pø¸æ{ñÑó*�?÷����V÷_øðæ/êìë èðø¸ó"�ïúXû§æ���êÛëiè¸üLæ3ç¸îïç}èðæFñç}èðø¸úLû§è¸ú�øðæ èðóiñ ÷_ëLêÛÿ�ú��ì÷_è¸æ�ç¸ÿHæ{û§ê-�Xû�ÿL÷þû�� æ§èýç �¿åKü�æ�÷�� èðæFøðëL÷?èðê-� æÎêìç èðó�úLç¸æjë�æFè�öNó ø8��ñ3óþë�êÛè¸ó ø�è¸ó ó��¼ç%è¸üL÷_è/ûF÷þëiêìë�è¸æFøýû§æ{ÿïèQçéÿHæ{ûFê��Hû ÿX÷þû��þæFèðç%ô øðóþñÄèðü�æ3ÿ�ü î ç¸ê¼ûF÷'�ë�æ§è}ö£óþøF�9#�ö=üLêìûýü,êìçV÷4�ìæ{çðç²"Læ � ê����ìæQçéó&�Ûú�è¸êìóþëg��©¨ V>S�\�L�ª�_�YdZ]\�V³L�M�b�Y[L�Z]W�Y[Z]\^VK��åKü�æ©�bó&��ø¸æ�ç}èðø¸ê¼û³èýçÀè¸üLæ�úLç¸æ�óþôÎñÑæ�ç¸çð÷_í æ�ç¸æFë���çù ñ3æ§èðü�ó"��û{÷'���ìç����¡�Àæ�ç¸çð÷_í æ%ç¸æFë��Lç=÷_øðæVúLç¸æ���êÛë7�%ê����Îó ë��ÛîÎè¸óÑô óþøðö£÷þøF�j÷/ÿL÷ û��þæFè÷?ôõè¸æ{øjêÛè�üL÷ çO�HæFæ{ë�ÿ�øðó ûFæ{çðçéæ� êÛë)÷�ú�ë�êÛè�� �%ê�� �_�ïó æ�çéë´� èÎô ó øðûFæ�÷Ä�ïæ��þæ �ìóþÿHæFøè¸ó�óþë��ìî�ç¸æFë���èðü�æÀÿL÷þû�� æ§èÎ÷?ôõèðæFøj÷��-�=ÿLø¸óïû§æ�ç¸ç¸êìë�íiê¼çO�ïó ë�æ�#���úïèÎêÛèjê¼ç ÷¹�Ûó íþê¼ûF÷��÷þçðçéú�ñ3ÿïèðêÛó ë�êìëÀ÷Ñÿ�êÛÿHæ��÷_ë��³y��� èðæFø]÷_øýûýü�êÛè¸æ�û³è¸úLø¸æ3ù ç¸úLûýüÀ÷þç��%ê���������Iµ \�WU_^ORZ�¶�_^Y[Z]\^V·\¸S�ZaV>S�\�L�ª�_�YdZ]\�VX�£åKü�æ��<ól�yô ó ûFúLç¸æ{ç£óþë��ÛóïûF÷��Ûê��Fêìë�í3û��¼÷þçðç5êìëïô ó ø¸ñ ÷*è¸êìóþëg� ) ÿ�øðóþíþøý÷_ñ3ñ3æFøNö=ü�ó3ç}èðú��ïêìæ{ç=÷ ñÑæFè¸ü�ó"�,çéüLóþú����Îó ë��Ûîb�Xæ!÷:öK÷_øðæ]ó_ô<è}î ÿHæ{çö=ü�êìûýüÑ÷_øðæ,� æFøðîqû �Ûó�çéæ��Ûî�øðæ �¼÷?è¸æ�!èðóVèðü�æ£û �ì÷ ç¸çbè¸óqö=ü�ê¼ûýüQèðü�æNñ3æFè¸ü�ó"� êìçk÷?è¸èð÷ ûýü�æ����åKü�æQúLç¸æQó_ô;ZaVK�zMiHGMPVX��M�V`Yº¹db�Yi_^VK�^� _^O�\^VXM¸»TJBV`ZaY]b!ö=êÛè¸ü�êìëÀè¸üLæ��Vê�� �w÷_øýûýü�ê èðæ{û§è¸ú�øðæ÷'���Ûó?ö]ç\ô ó ø5ú�ë�êÛèðç5è¸ó��XæVè¸æ{çéè¸æ�3êÛëjêìç¸ó��¼÷?èðêÛó ë�ù óþë�æVóþë��ìî üX÷þç èðó��ïæ�÷'�Lö=êÛè¸ü�û§óþë�èðø¸ó&�æ �þæ{ë�èðç�#�ö=üLêìûýüÀ÷_øðæ�ú�ë�êÛô óþøðñ\�Ûîb��æ �ìê-� æFøðæ�����îÎè¸ü�æ�ô øý÷_ñ3æFö£óþøF������¬¼ Y[L�JcW�Y[JBLN_^O½ZaVX�^JcWPY[Z]\^VX�/åKü�ê¼çVÿ�øðêìëLû§êìÿ��ìæ çéèð÷?èðæ{çVè¸üL÷_è%èðü�æ/ñ3æ�÷_ë�êìë�íjóþôN÷jç¸îïç}èðæFñù ÷þç%÷Îö=ü�ó&�Ûæ ó_ôØú�ëLê èýçF�]êìçq÷ ô ú�ëXû³è¸êìóþëió_ô èðü�æ/ñ3æ{÷þë�êìë�í çVó_ôØêÛèðçqêÛñ3ñ3æ���êì÷_è¸æ ûFóþë"ç}èðê èðú�æFë�èðç3ù êy� æ��!èðü�æ3ú�ë�êÛèðçqêÛè�ê¼ç�û§ó ñÑÿHó ç¸æ��wó_ôF���4�%ê����Àó��0æFøýç�W�\�ª¾Hc\�b�ZaY[Z]\^V¿_^VX���JBZaO���M�L.b�J�H�HG\�L�Y ö=ü�êìûýü ô óïûFúLçéæ�ç óþëÁûFóþñ3ÿXó�çéêìë�í�ç¸îïç}èðæFñ çÛ�L÷ çéæ��ó ëÁ÷_ÿ�ÿ��ìê¼ûF÷*è¸êìóþëÀçéÿHæ{ûFê��Hû!ø¸æ�|�ú�êÛøðæFñ3æ{ë èýç �£åKü�ó ç¸æ!øðæ>|�ú�êìø¸æ{ñÑæ{ë�èðç=÷_øðæ!ñ ÷?èýûýü�æ��B� îÎèðü�æ��%ê����û§óþñ3ÿHó ç¸æFø£è¸ó3ú�ëLê è]ÿ�øðóþÿHæFø¸è¸êìæ{çKö=üLêìûýü�÷'���Ûó?ö]ç£êÛè=è¸ó ûF÷��ìûFú��¼÷?è¸æ�ó ë�æ�óþøKñ3óþøðæqúLë�ê èû§óþë��Líþú�øý÷?èðêÛó ëLçVè¸üL÷_è/÷��ïü�æ{ø¸æÑèðó�è¸ü�æÎç¸æ§èQóþô£øðæ>|�ú�êìø¸æ{ñ3æFë�èðç\ß �*áz� ) �Ûè¸ü�ó ú�íþü¿è¸üLêìçÿ�ø¸êìëLûFêÛÿ��ìæ7�ïó æ{çÑë�ó_èÛ�ïêìø¸æ�û³èF�Ûî�÷��Hæ�û³èÑè¸æ�ç}èðêÛë�í�#5êÛèÎûF÷_ëX�XæÀ÷þÿ�ÿ��ìêÛæ��è¸óiè¸øý÷_ëXç��¼÷?èðæü�êÛí ü"z�Ûæ��þæ �<è¸æ{çéèJ��æ{çðû§øðêÛÿïèðêÛó ëLç]êìë�è¸ó èðæ{çéè%êìëLçéèð÷_ëXû§æ{ç��Ùâ]ó?ö£æ � æFø#Lû§úLø¸øðæFë�è8�ìîjö£æ4��óë�ó_è=ÿ�øðó*� ê��ïæqèðü�êìç=ç¸ú�ÿ�ÿHóþø¸è��

À /[Ô�132 Ñ0Ì0Ô�Í^ÍÁ-¾Â±ÍuÔ�Ì.Ã

åKü�ê¼ç çéæ�û³èðêÛó ë/ÿ�øðæ{ç¸æFë�èðçAèðü�æ��Vê�� �"!Vë�êÛè\ô øý÷_ñ3æ{öNó ø8�!÷þçk÷%ú�ë�êÛè è¸æ�ç}è æ�� èðæFëLç¸êÛó ëQô ó øu�%ê�� �9��%ê����"!]ë�êÛèVÿ�øðó*� ê���æ{ç=÷3ú�ë�êÛô óþøðñòöK÷:îÎóþôAèðæ{çéè¸êìë�íÛ�Xóþè¸üÀç¸êÛë�í ú��¼÷_ø]÷_ë��,ûFóþñ3ÿHó ç¸æ��,ú�ë�êÛèðçù ö=êÛè¸ü,óþëLæ%ó ø£ñ3ó ø¸æqæFë�è¸øðîÎ÷_ë��Îæ��ïêÛè£ÿHóþêìë�èðç����%Þ�è=üL÷ ç �HæFæ{ëB��æ �þæ��Ûó ÿXæ�jç¸ÿXæ�û§ê-�XûF÷��-�ìî3ô óþøè¸æ�ç}èðêÛëLí4�%ê����3ú�ë�êÛèðç�#³��úïèKöNæ%ö=ê-���XÿLø¸æ�çéæ{ë è£çéó ñÑæqûýüL÷_øý÷þû§è¸æ{ø¸ê¼ç}èðêìû{çkè¸üX÷?è£÷þø¸æVêÛë�è¸æ{ø¸æ�ç}èðêÛëLíêìëwíþæ{ë�æFøý÷'�n�VåKü�æ{ø¸æQê¼çq÷ ë�æFæ�Àô ó øVêìëïô øð÷ ç}èðø¸úXû³è¸úLø¸æ/ç¸ú�ÿ�ÿHóþø¸èVèðüL÷?èqü�æ �ìÿLçJ�ïæ � æ �ìóþÿHæFøýçKè¸óç¸æ§è¸úLÿ¿÷Îè¸æ{çéè�� ) ç�÷'�ìøðæ{÷���î,ñ3æ{ë èðêÛó ë�æ��g#<÷��%ê����Àú�ëLê èQûF÷þë�üL÷>� æ/ñ ú�� èðêÛÿ��Ûæ3æFë�èðø¸îw÷þë��æ��ïêÛè ÿHóþêìë�èðç��iåKü�ê¼ç ûFóþñ3ÿ��ìêìû{÷?èðæ{ç/÷�ú�ë�êÛè>� ç/ÿ��Ûú�íiêÛëÃ�Xæ�ûF÷_úXçéæ�æ �þæ{ø¸îiæFë�è¸øðî�÷_ë���æ �þæ{ø¸îæ��ïêÛè]üL÷þç£èðó\�XæQûFóþë�ë�æ�û³èðæ���ö=ê èðü�èðü�æ�è¸æ�ç}è=ô øý÷_ñ3æ{öNó ø8�9�uÚ%�ïÿXæ{ø¸êìæFëXû§æqüL÷þçÉ�ìæ{÷þø¸ë�æ�ÎèðüL÷?èÿ��ìú�íþí êÛëLíÑêìëw÷Ñú�ë�êÛèVö=êÛè¸ü�è}ö£óÑæ{ë�è¸øðêÛæ�ç]÷_ë���è}ö£ó3æ��ïê èýçQùõô ó ø]æ���÷þñÑÿ��Ûæ!÷3ÿ�øðó_èðó ûFó����¼÷:îþæ{ø÷þç=ç¸ü�ó?ö=ë,êÛëB�Lí ú�øðæWà&�£öNó ú����,÷'�ìøðæ{÷���îÛ�XæQ÷Ñíþøðæ{÷_è���ú�ø��ïæFë�è¸ó3èðü�æ�è¸æ�ç}è��ïæ��þæ��Ûó ÿXæ{ø��åKü�æ{ø¸æFô óþøðæ�#�èðü�æ4�%ê�� �"!Vë�ê èqô øý÷_ñ3æFö£óþøF�Îÿ�øðó*� ê��ïæ�ç]í æFë�æ{ø¸ê¼û�êÛë�ô øð÷ ç}èðø¸úLû§è¸ú�øðæ/ç¸ú�ÿ�ÿHóþø¸è]è¸óÿ��ìú�íÀêìë¿÷�ú�ëLê èjù ø¸æ{í ÷_ø��"�ìæ{çðçqó_ôNêÛèðçQë�úLñ��HæFø!ó_ôKæFë�èðø¸êìæ{ç�ó ø!æ��ïê èýçF���O×\êÛøýç}è#A÷�ç¸ó'�ûF÷'���ìæ��sGucv�wGx�yB�B��¢ByGu`��¢Gx��3ê¼ç%ÿLø¸ó*� ê��ïæ���ö=ü�ê¼ûýü�ñ ÷þëL÷_í æ{ç%ÿL÷þû�� æ§è��LúB�Hæ{øðç��!åKü�æÑÿL÷þû�� æ§èqûFóþë"èð÷þêÛëLæFøQê¼ç!êìë�ê èðêì÷��Ûê��Fæ�¹� î �ïî ëL÷þñÑê¼ûF÷��-�ìî�æ � è¸æFë��ïêÛëLíÀê è/ö=êÛè¸ü�÷�ÿX÷þû��þæFè+��úB�0æFø!ô ó øQæ{÷ ûýüæFë�èðø¸îÀ÷_ë��wæ��ïêÛè!ÿXó êÛë�è�ó_ôN÷jè¸æ�ç}èðæ��wúLë�ê è� ) ëiæFë�è¸øðî0��úB�0æFø�ê¼çqúLçéæ�Àèðó,çéè¸ó ø¸æÑçéÿHæ{ûFê��Xû

Page 7: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

unitLayer

DiPSUnit

A

B

C

F

D

E

×AêìíþúLø¸æ+à"Üs�%ê�� �"!Vë�ê è=èðæ{çéèV÷_øýûýü�êÛè¸æ{û§è¸ú�øðæ

è¸æ�ç}è ÿL÷ û��þæFèðçkû§øðæ{÷_è¸æ�� ÷?èkè¸æ�ç}è æ � æ�û§úïèðêÛó ë/èðêÛñ3æ&� ) ë æ �ïê è%��úB�0æFøØûFó����Ûæ�û³èýçkø¸æ�çéú��Ûè ÿL÷þû�� æ§èýçè¸üX÷?è/÷_øðæÑø¸æ�û§æFê��þæ�wô øðóþñUè¸ü�æ3èðæ{çéè¸æ��¿ú�ëLê è��ïúLø¸êìë�íÀ÷,è¸æ�ç}è!øðú�ëg�ÎåKü�æ{ø¸æ3ê¼çQ÷�çéæ{ñ3÷þë�è¸ê¼û�ïê��Hæ{ø¸æ{ëLû§æ��Hæ§è}ö£æFæFë æFë�è¸øðî!÷_ë��/æ��ïêÛèQ��úG�Hæ{øðçQ�Hæ{ûF÷þúLç¸æØè¸üLæFîQ÷_øðæ,�ìêìë��þæ���ïê��Hæ{ø¸æ{ë�è8�ìî!ö=ê èðüè¸üLæ%èðæ{çéè¸æ�Îú�ë�êÛèQù ÷ ç5ö£æ%ö=ê����g�ïæ{çðû§øðê-�Hæ��¼÷?èðæFø����%×\êÛí ú�øðæWà çéüLó?ö]çØèðü�æJ�%ê�� �"!Vë�ê èKô øý÷_ñ3æ�ö£óþøF�Ñ÷þë�� ÷/ç¸æ§è£ó_ô±�%ê����3ú�ë�êÛèðç£íþøðóþúLÿXæ�3êÛë�è¸óÑ÷��¼÷:îþæFøqù ö=ü�ê¼ûýüj÷þí ÷_êìë ê¼çN÷+�%ê�� �3ú�ëLê è����×�ó ø£û �ì÷þø¸êÛè}îÑø¸æ�÷þç¸óþëLç�#_èðü�æÙ�Lí ú�øðæ%ç¸ü�ó?ö]ç èðü�æVÿL÷ û��þæFèNû§ó ë èý÷_êìë�æFø£÷þçÄ�Å|�ú�æ{ú�æ{ç5êÛëLçéè¸æ�÷�� óþô� �Ûó íþê¼ûF÷��Hæ{ë�è¸êÛè}î��s!]ëLê è���æ§èð÷þê-�¼ç=ç¸úLûýü,÷ çKæFë�è¸øðîj÷þë��,æ��ïê è]ÿHóþêìë�èðç=÷þø¸æ!÷'�¼ç¸ó øðæFñ3ó*�þæ���� æ�û§óþë���#0è¸ü�æ®ÆX��¢BwBx���÷'���Ûó?ö]çVè¸ó7�ìêÛë��w÷jú�ëLê èQö=êÛè¸üiè¸ü�æ\�%ê����"!]ë�êÛè!ô øý÷_ñ3æFö£óþøF�9��åKüLêìçñ3æ{÷þëLç�è¸üX÷?è/æ�÷þûýü�æFë�èðø¸î ��úB�0æFø/êìë�è¸üLæÎÿL÷þû�� æ§è/ûFóþë�èð÷þêÛë�æ{ø!êìç û§ó ë�ë�æ{û§è¸æ�¿è¸ów÷Àú�ëLê è�� çç¸ÿXæ�û§ê-�XûQæ{ë èðø¸î,ÿHóþêìë èq÷_ë��Àæ�÷þûýü�æ��ïêÛè���úG�Hæ{ø%ê¼çVûFóþë�ë�æ�û³èðæ���ö=êÛè¸ü�÷þëwæ��ïêÛèVÿXó êÛë�è��&Nóþë"ë�æ�û³è¸êìë�í/÷þë æ��ïêÛè ��úB�0æFøNêìç �ïóþëLæÙ� î êìë�è¸øðó³��úLû§êìë�í/÷!ç¸ÿXæ�û§ê-�Xû]ÿX÷þû��þæFèØø¸æ�û§æ{ê-� æFøkè¸üX÷?èNÿLúïèðçêìëLû§ó ñÑêìë�íwÿX÷þû��þæFèðç�ô øðóþñ èðü�æÎú�ë�êÛè>� ç æ��ïê èÑÿXó êÛë�èÑêÛë�è¸ói÷_ë�æ��ïêÛè4��úG�Hæ{ø���åKüLêìç/êìç¸�ïóþëLæû§ó ñ3ÿ��ÛæFè¸æ��Ûî èðøð÷þëLç¸ÿL÷_øðæFë�è£ô óþøV÷ è¸æ�ç}è���æ �þæ��Ûó ÿXæ{ø��åKü�æVûFú�øðø¸æ{ë ès� æFøýçéêìóþë3óþô��%ê�� �"!Vë�ê è£ü�ê��ïæ{ç5ü�ó?ö ÷Qú�ë�êÛè5êìç,�Ûêìë�� æ��3ö=êÛè¸ü èðü�æ=ô øý÷_ñ3æFö£óþøF�9#÷_ë���èðü�æFøðæ§ô ó ø¸æÀ÷'�¼ç¸óiü�ó?öòè¸æ�ç}èÎÿL÷ û��þæFèðç3÷_øðæ0�ïæ �ìê-� æFøðæ���è¸ó¿è¸üLæ�è¸æ{çéè¸æ� ú�ë�êÛè�� ) è¸æ�ç}è�ïæ��þæ �ìóþÿHæFø�ü�æFøýç¸æ �Ûô!û{÷_ëÁü�ó?ö£æ � æFø êìëB"Lú�æ{ëLû§æiü�ó?ö è¸æ�ç}è,ÿL÷þû�� æ§èðçj÷_øðæÕ�ïæ �ìê��þæFøðæ��g�I×�óþøæ���÷þñÑÿ��Ûæ&#L÷3ë�óþë�Cèðø¸ê�� êì÷��0ô óþøðö£÷þøF�ïêìë�íÑÿXó&�Ûê¼û§î�öNó ú�����÷�� èðæFøðëL÷?èðæ��XæFè}öNæ{æFë�æFë�è¸øðîO��úG�Hæ{øðçè¸ó3ç¸êÛñ ú��ì÷_è¸æq÷/ç¸æFë��³�øðæ{û§æ{ê-� æ%çðû§æ{ëL÷_øðêÛó�ù ç¸úLûýüj÷þç£÷/è¸ü�øðæFæ �öK÷:î üX÷_ë���ç¸üL÷��þæ]ÿ�øðó_èðóïû§ó��Xô óþøå@&��yû§óþëLë�æ{û§è¸êìóþë¿æ{çéèð÷'���Ûê¼çéüLñÑæ{ë�è����\×�ó øqè¸ü�æ3èðæ{çéèðç�ö£æ üL÷>� æ ö=øðêÛèéè¸æ{ëiúLë èðê-�5ë�ó?ö�#0è¸ü�æô øý÷_ñ3æFö£óþøF���ìêÛë���êìë�í/ç¸ú�ÿ�ÿHóþø¸è5ê¼çNç¸ú"ØÎû§êìæFë�è�uâVó?öNæ��þæ{ø�#_ö£æ]ÿ��¼÷_ëÎè¸óQæ ��èðæFë�� è¸ü�æ�Æ`��¢BwGx��ç¸ó è¸üL÷_è%êÛèqû{÷_ëÀêìë èðæFøðÿ�øðæ§èq÷Îü�êÛí üÒ�ìæ �þæ��S�ïæ�ç¸ûFø¸êìÿïèðêÛó ëÀó_ô5÷3èðæ{çéèqû§ó ë"�Lí ú�øð÷_è¸êìóþëÀ÷_ë��ÀúLç¸æè¸üLêìç]è¸óO��úLê-���À÷Ñè¸æ�ç}è%û{÷þç¸æ���� úLûýüw÷Û�ïæ�ç¸ûFø¸êìÿïèðêÛó ë�û{÷_ëÀ÷'�¼ç¸óO�ïæ{çðû§øðê-�Hæ!ü�ó?ö�÷3ú�ë�êÛèVñ úLç}è�HæÛ�Ûêìë��þæ��ö=êÛè¸ü¿èðü�æÑô øð÷þñÑæ{öNó ø8�9�ÑåKü�æ\�Ûêìë��þæ{ø�è¸ü�æ{ë¹�Xæ�û§óþñ3æ�çq÷þëiæ�|�ú�ê-�?÷��Ûæ{ë èQç¸æFøF� êìûFæô óþøNè¸æ�ç}èýçKû§óþñ3ÿL÷þø¸æ�3è¸ó ö=üL÷?è£è¸üLæJ�%ê����Û��úLê-���ïæFøKê¼çØô ó øKÿ�ø¸óþè¸óïû§ó&�Xçéèð÷ û�� ç�� ) ë�æ � èKçéè¸æ{ÿû§ó ú����Û�Xæ%è¸ó3÷'�¼ç¸ó��ïæ{çðû§øðê��Xæ%ü�ó?ö è¸æ�ç}èKÿL÷þû�� æ§èýç5÷_øðæ]êìë�êÛè¸ê¼÷'�ìê��{æ���� ) è¸æ�ç}èÉ�ïæ � æ �ìóþÿHæFøNè¸ü�æ{ëë�ó4�Ûó ë�íþæ{ø5üL÷ ç è¸ó ö=ø¸êÛè¸æq÷_ë î è¸æ{çéè=û§ó"�ïæ�#l��úïèKü�æqûF÷_ë�çéêìñ3ÿ��ÛîÛ�ïæ�ç¸ûFø¸ê��Hæ]ö=üL÷?è£üL÷þç5è¸ó4�Xæ�ïó ë�æ��åAóÎê-���ìúLç}èðøð÷_è¸æQüLó?ö"÷��-�Aè¸üLêìçqçéúLÿ�ÿXó øéè%êìçVÿ�ø¸ó*� ê��ïæ���êìëÕ�%ê����"!]ëLê è#Hö£æ/ç¸ú�ñ3ñ ÷_øðê��{æQü�ó?öêÛèÑûF÷þë¹�Xæ�úLçéæ���0!]ë�êÛè/èðæ{çéè¸êìë�íwê¼ç!è}î ÿ�ê¼ûF÷��-�ìî¿÷Àè¸ü�øðæFæjçéè¸æ{ÿ�ÿ�øðó ûFæ{çðç ÜÑ÷ÀçéæFè¸ú�ÿ�ÿ�üL÷þç¸æ�#÷,è¸æ�ç}èÑ÷_ë���÷ ç¸ç¸æFø¸è¸êìóþë¿ÿ�üL÷ çéæÎ÷þë���÷,è¸æ{÷þø��ïó?ö=ë�ÿ�üL÷ çéæ ß �áz� ) �Vê�� �¿úLë�ê è/è¸æ{çéè û{÷þç¸æè¸øý÷_ëXç��¼÷?èðæ{ç5è¸ü�æ�çéæ!çéè¸æFÿXçNêìë�è¸ó è¸ü�æqô ó&�-�ìó?ö=êÛëLí çðû§æFëX÷_øðêÛó,ù ÷þçKç¸ú�ñ3ñ ÷_øðê��{æ��O�Hæ �ìó?ö����%×\êìøðçéè�#êìëièðü�æ çéæFè¸ú�ÿ�ÿ�üX÷þç¸æ�#b÷,ÿL÷ û��þæ§è!û§ó ë�èð÷_êìë�æ{øqê¼ç!û§øðæ{÷_è¸æ�i÷þë���êìë�êÛè¸ê¼÷'�ìê��{æ��´� î�û§øðæ{÷_è¸êìë�í�÷

Page 8: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

ÿL÷ û��þæ§è+�LúB�Hæ{øQô ó øQæ{÷ ûýü¿æ{ë�è¸øðîi÷_ë���ô ó ø/æ�÷þûýü�æ��ïêÛèQó_ôKè¸ü�æÎè¸æ{çéè¸æ��ú�ë�êÛè��ÀåKü�æÎúLë�ê è êìç�ìêÛë�� æ��,ö=êÛè¸üÀèðü�æ��%ê����"!]ë�êÛè]ô øý÷_ñ3æFö£óþøF�O� î�ûFóþë�ëLæ{û³èðêÛëLí æ{÷þûýü�ú�ëLê èVæ{ë�è¸øðîjÿHóþêìë è%ö=ê èðü÷_ëÀæ{ë�è¸øðîb��úB�0æFø�÷_ë���æ{÷þûýü�æ � êÛèVÿHóþêìë�èVö=ê èðü�÷_ëÀæ �ïê è��LúB�Hæ{ø��]åKüLêìçVÿL÷_ø¸èVó_ôkèðü�æ/ç¸æ§è¸úLÿÿ�øðóïû§æ{çðç£êìçNèðæ{çéè=û{÷þç¸æqç¸ÿHæ{û§ê-�Xû��,� æ{ûFóþë���# èðó3ø¸ú�ë,÷ è¸æ{çéè]ûF÷ çéæ&# ç¸ÿHæ{û§ê-�Xû%è¸æ�ç}è=ÿL÷ û��þæFèðç£÷_øðæû§øðæ{÷_è¸æ��÷þë���÷����ïæ�ÎèðóÎçéÿHæ{ûFê��Hû�æFë�è¸øðîO��úB�0æFøýç=êìë,è¸ü�æ!ÿL÷ û��þæFè=ûFóþë�èð÷þêÛëLæFø� ) ôõè¸æ{ø=è¸üL÷_è�#è¸üLæ èðæ{çéè�û{÷þç¸æ ê¼ç�ç}èý÷_ø¸è¸æ��#Pêy� æ��Qè¸ü�æ3ÿL÷ û��þæ§èýçVêìëwèðü�æ3æFë�è¸øðî0��úB�0æFø:ù ç��q÷_øðæ4�ïæ��Ûê��þæ{ø¸æ��è¸óè¸üLæ ú�ë�êÛè�� ) ôõè¸æ{øQè¸üLæ3è¸æ{çéè�#Aè¸üLæÎÿL÷þû�� æ§è:ù ç��Vêìë¿è¸ü�æjÿL÷þû�� æ§èQû§ó ë èý÷_êìë�æFøýç>�Pæ��ïê è+�LúB�Hæ{ø�ùCçF�÷_øðæQû§ó ñ3ÿL÷_øðæ���è¸óÎè¸ü�æQæ �ïÿXæ�û³è¸æ�Àøðæ{ç¸ú�� è]ÿX÷þû��þæFè�ùCçF���KåKüLêÛø���#LêìëÀèðü�æ!è¸æ�÷_ø���ó?ö=ëÀÿ�üL÷þç¸æ�#è¸æ�ç}è]ÿX÷þû��þæFèðçK÷_øðæ��ïê¼çéÿHó ç¸æ���� îÎø¸æ�çéæFèéèðêÛë�íÑèðü�æ!ÿL÷þû�� æ§è]û§ó ë�èð÷_êìë�æ{ø��

� ��b�MPY[J�HX��HG«c_�bPMÛÜù ÷&��û§øðæ{÷_è¸æ!÷_ë��jêìë�êÛè¸ê¼÷'�ìê��{æQ÷ ÿX÷þû��þæFè]û§óþë�èý÷_êìë�æFøù(�����ìêÛë��jè¸ü�æ!úLë�ê è=èðóÛ�Xæ�èðæ{çéè¸æ��ö=êÛè¸ü,èðü�æ�ô øð÷þñ3æFö£óþøF�

à��ºYgM�b�Yd�;_^VK��_^b�bPMPL�YdZ]\�Vc��Hc«G_�bPMbÜù ÷&�O�����Hç¸ÿHæ{û§ê-�Xû���úB�0æFøýçØêìë è¸ü�æ%ÿL÷þû�� æ§è5ûFóþë�èð÷þêÛë�æ{øØö=êÛè¸üjÿLø¸æ{ÿL÷_øðæ�� è¸æ�ç}è£ÿL÷þû�� æ§èýçù(���B�ïæ��Ûê��þæ{øKè¸ü�æ!ÿL÷ û��þæFèðçNè¸ó3èðü�æ!ú�ë�êÛèùCû��,ûýü�æ�û��j÷þçðçéæ{øéèðêÛó ëLç£óþë�è¸ü�æ!ó úïè¸ÿLúïè]ÿL÷þû�� æ§è:ù ç��

���ºYgMU_^L8��\^�#Vc��Hc«G_^b�M�ÜØû �Ûæ�÷_øKè¸üLæ!ÿL÷þû�� æ§è=û§óþë�èý÷_êìë�æFø

åKü�æ ÷����:÷þë�èð÷_í æ/óþô5úLç¸êÛë�í0�%ê����"!]ëLê è!ê¼çqè¸ü�æ3ú�ë�êÛô óþøðñoè¸æ�ç}èQ÷þÿ�ÿ�øðó ÷þûýüwô óþøW�Xóþè¸ü´�L÷þç¸ê¼ûú�ë�êÛèðçKù ö=ê èðü/óþëLæ5æFë�èðø¸î�÷_ë��/óþë�æNæ��ïêÛèAÿHóþêìë è��b÷þë��QûFóþñ3ÿXó�çéæ�!ú�ë�êÛèðç£ù ö=êÛè¸üÑçéæ��þæ{øð÷��þæFë�èðø¸î÷_ë��jæ � êÛè]ÿHóþêìë èýçF���%Þ�è]ñ ÷'�þæ�çKë�óÛ�ïê��Hæ{ø¸æ{ëLû§æ�ô ó øKè¸ü�æ�ô øý÷_ñ3æFö£óþøF�3ö=ü�æ§èðü�æFøVóþë�æ�ú�ë�êÛè]óþø÷�"Ló?ö óþô<ú�ë�êÛèðç�Ç]ê¼ç è¸æ�ç}èðæ���#ïç¸êÛëXû§æ=èðü�æVö=ü�ó&�ÛæVêìç �Xæ{êÛëLíQè¸øðæ{÷_è¸æ� ÷þçØó ë�æÙ���¼÷þû��lz�Xó>�Ñú�ë�êÛè��åKü�æ�ô øý÷_ñ3æFö£óþøF��÷þçÎê èjê¼çO�ïæ�ç¸ûFø¸ê��Hæ�� ü�æFøðæ�êìçO�þæFøðî�êìë�è¸ú�êÛè¸ê��þæ�÷þë�� çéúLÿ�ÿXó øéèýçÑè¸æ�ç}èðêÛë�í�L÷ çéê¼ûVúLë�ê è;"Xó?ö]ç �uâ]ó?ö£æ � æFø#�êÛè=êìçNô ÷þøKô ø¸ó ñ çéú"ØÎûFêÛæ{ë èKèðó èðæ{çéè]û§óþñ3ÿ��ìæ��jç¸îïç}èðæFñ ç=ç¸úLûýü÷þçj÷�ÿ�øðó_è¸óïûFó��Vçéèð÷ û���óþø�÷¹���ìæ�çéîïçéè¸æ{ñB�@Þ�ñ3ÿHóþø¸èð÷_ë�èjê¼çðçéú�æ�ç #=ç¸úLûýü�÷þçjû§óþëXû§ú�øðø¸æ{ëLû§îç¸ú�ÿ�ÿHóþø¸è!÷þë��iæ�� è¸æ{ø¸ëL÷�� û§óþë�èðø¸ó&�\æ��þæ{ë èýç�÷_øðæ ë�óþèQçéú�ÿLÿXó øéèðæ������iæ3ö=ê��-�Øç¸ü�ó?ö�èðüL÷?è+� îæ�� èðæFë��ïêìë�íÄ�%ê����"!]ëLê èjêìë è¸ü�ó�çéæ,è}ö£óÆ�ïêÛøðæ{û§è¸êìóþëLç�#£öNæ�æFë���úLÿÁö=ê èðü ÷¿ÿHó?öNæ{øéô ú��]îþæFèç¸êÛñ3ÿ��ìæÎô øý÷_ñ3æFö£óþøF�ÀèðüL÷?èÑæFëLûFóþú�øý÷_í æ{ç�êìë��ïæFÿHæFë��ïæFë�è3ú�ë�êÛè/è¸æ�ç}èðêÛëLí���åKü�øðóþúLíþü�ó úïè!è¸ü�æøðæFñ ÷_êìë��ïæ{ø=ó_ôbèðü�ê¼ç=ÿL÷_ÿHæFø#ïö£æqö=ê����<íþøý÷��ïúX÷'���Ûî æ ��èðæFë���èðü�æ�è¸æ�ç}èVçðû§æ{ëL÷_øðêÛó3÷'�Hó*�þæ&�

È /É-¾68Ê�Ô Ì.ÃË:ÖÔ�Í#+ Ó�Ï4Ì7ÓÙÑ7Î%Î#-�Ì7ÓÍÌ

Î¾Ï Ð Ñ'Ò�ÓÄÔBÕ�ÖÍÔ

�Àú��Ûè¸ê-�è¸ü�øðæ{÷&�ïêÛëLí�ê¼ç�÷�ÿHó?ö£æFø¸ô ú��S�LúïèQæFøðø¸ó ø��ÿ�øðóþë�æ!ÿLø¸ó íþøý÷_ñ3ñ3êÛë�íÎè¸æ{ûýüLë�ê�|�ú�æ&�Å�Àú�� èðê�è¸üLø¸æ�÷��ïêìë�íÎù ó ø5û§ó ëLû§úLø¸øðæFëLûFî��bê¼çØóþôõè¸æ{ë êÛë�è¸øðó"�ïúLûFæ�� è¸ó/ç¸ú�ÿ�ÿHóþø¸èØÿHæFø¸ô óþøðñ3÷þëLû§æ=êìë3ü�æ{÷>� î�ìó ÷���æ�� ç¸î çéè¸æ{ñ ç%ùCçéúLûýü�÷þç èðü�æVÿLø¸óþè¸óïû§ó&�Xçéèð÷þû��3÷_ë��3è¸ü�æ����ìæ%ç¸îïç}èðæFñ êÛë,÷!ÿXó ÿ�ú��¼÷_ø£öNæ��ç¸æFøF�þæFø�ß �*á(���sâVó?öNæ��þæ{ø�#?èðæ{çéè¸êìë�í/ç¸úLûýüjûFóþëLûFú�ø¸øðæFë�è5ç¸îïç}èðæFñ çØê¼çØóþôõè¸æFëb�þæFøðî3û§óþñ3ÿ��ìê¼ûF÷?èðæ���#ô óþøVè}öNójø¸æ�÷þç¸óþëLç��Ù×\êÛøýç}è#Lèðü�æ��¼÷þû��,ó_ôØûFóþëLûFú�ø¸øðæFëXû§î�ûFóþë�è¸øðó��bè¸üL÷_è%ê¼çV÷>�?÷_ê��¼÷'���ìæ!ô óþøVè¸ü�æ× ÿ�ñ�å ðgåÁæ±é�æ¶ýìêzä>çnî�ìî�ï>æ£Ø*î�õ¡j

$

Page 9: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

ùõèðæ{çéè��Q�ïæ��þæ �ìóþÿHæFø�S×Lóþø\æ���÷_ñ3ÿ��ìæ�#?êÛè êìç\êìë�è¸æFøðæ{çéè¸êìë�íVè¸óJ�Ûêìñ3ê èØû§ó ëLû§úLø¸øðæFëLûFî�êÛëÑ÷]èðæ{çéèkû{÷þç¸æè¸ó�óþë�æ3èðü�ø¸æ�÷���÷?è/÷Àè¸êìñÑæjêÛëLçéè¸æ�÷��¿ó_ôKèðæ{çéè¸êìë�í�è¸ü�æ�û§óþñ3ÿ��ìæ§èðæjû§ó ëLû§úLø¸øðæFë�èQçéîïçéè¸æ{ñ�÷?èóþëXû§æ��É� æ{ûFóþë��g#�ñ/ú��Ûè¸ê-�è¸ü�øðæ{÷&�ïêÛëLí3ûFó"�ïæQê¼ç=ó_ôõèðæFëÀçéÿLø¸æ�÷��,óþúïè]ó*� æFøKèðü�æQû§ó"�ïæÎùdÙ�êìûP�{÷'�ìæ{çæ�� ÷���ß $*á çð÷:î%ûFóþëLûFú�ø¸øðæFëXû§îVûFó³��æ�W�L�\�bUb�� W�JBYdbkè¸ü�æ5ô ú�ëLû³èðêÛó ëL÷'��û§ó"�ïæ>���£�A÷_ë�í úL÷_í æ{ç�#{ç¸úLûýüQ÷þç$�÷>�:÷�#Pçéú�ÿLÿXó øéè�è¸üLø¸æ�÷��ïêìë�íjêìë�çéúLûýü¿÷jöK÷:î�è¸üX÷?è!ÿ�øðóþíþøý÷_ñ3ñ3æFøýç]çéè¸ó ÿ�èðü�êÛë���êìë�í�÷'�Hóþúïèè¸üLæ�øðæ{÷ çéó ëLçQ÷_ë���è¸ü�æ�û§ó ëLç¸æ>|�ú�æFëXû§æ{ç/ó_ô]úLç¸êìë�í�êÛè��¹Þ�è>� ç@F}úLç}èÑè¸ó óiæ{÷þç¸î¿è¸óiêÛë�è¸øðó"�ïúLûFæç¸úLûýü�÷�û§ó ñ3ÿ��Ûæ � ÷ çéÿHæ{û§è,÷ ç è¸üLø¸æ�÷���ç��dåKü�ê¼çÎú�ë�êìë�è¸æ��-�ìêÛí æFë�è�úXçéæwóþô!è¸ü�øðæ{÷&��çjû �Ûæ�÷_øF�Ûîû§ó ñ3ÿ��Ûê¼ûF÷_è¸æ�ç£è¸æ{çéè¸êìë�í�#�ñ ÷_êìë èý÷_êìë�êìë�í�#��ïæ���ú�í íþêìë�íÑ÷þë��,æ � æFë,ú�ë��ïæ{øðçéèð÷þë��ïêìë�íÑè¸ü�æQûFó³��æ��Þ�è êìçkêìñ3ÿXó øéèý÷_ë�è\è¸ó�ÿ�øðó*��ê��ïæKû§ó ëLû§ú�øðøðæFëLûFî�ç¸ú�ÿ�ÿHóþø¸èkè¸óqè¸üLæ£ÿLø¸ó íþøý÷_ñ3ñ3æFø#��Hó_èðü3÷_èAèðæ{çéè�êìë�í/÷þçN÷?èÉ�ïæ � æ �ìóþÿ�ñ3æFë�è èðêÛñ3æ��ØåKüLæ]æ��ïÿ��ìêìûFê èKû§ó ëLû§ú�øðøðæFëLûFî ç¸ú�ÿ�ÿHóþø¸èNêìëO�Vê�� �ÀùCçéæ{æV÷'�¼ç¸óè¸üLæD_zWPYdZaÚ^M]ûFóþëLûFú�ø¸øðæFëXû§î!ú�ë�êÛèØêìë��Lí ú�øðæÍ�qö=êÛè¸ü ÷���úB�0æFø5÷þë�� ÷%èðü�ø¸æ�÷�� êÛëXçéê��ïæ�AüL÷ ç ÷��³�?÷_ë�èð÷þíþæ�çkè¸ó?öK÷_ø���çkèðæ{çéè¸êìë�í��uÞ�è=÷'���Ûó?ö]çØûFóþëLûFú�øðø¸æ{ëLû§îÑû§ó"�ïæ]èðó��Hæ%÷&���ïæ�� è¸ó!èðü�æqç¸îïç}èðæFñö=êÛè¸ü�ó úïè%ûýüL÷þë�íþêìë�í è¸ü�æ/ûFó"�ïæ��5åKüLêìç]÷��ìç¸ó ÷'���Ûó?ö]ç£èðóÎû§ó ë èðø¸ó&�0è¸ü�æ û§óþëXû§ú�øðø¸æ{ëLû§î ñ3ó"�ïæ��y�×�ó ø3æ���÷_ñ3ÿ��ìæ�#s�%ê�����÷��-�ìó?ö]ç!èðó¿ûýüX÷_ë�í æÎè¸üLæ�ûFóþëLûFú�øðø¸æ{ëLû§î¿ñ3ó³��æ �Kô øðóþñ û§ó ñ3ÿ��ÛæFè¸æ��Ûîç¸î�ëXûýü�ø¸ó ë�óþúXç5èðó ÷þç¸î�ëXûýü�ø¸ó ë�óþúXç #�óþø]ç¸óþñ3æ�ü îl�Lø¸ê��jñ3ó"�ïæ��y�åKü�ê¼ç çéæ�û³èðêÛó ë ç¸ü�ó?ö]ç\ü�ó?ö�è¸üLæÉ�%ê�� �"!Vë�ê è ô øý÷_ñ3æ{öNó ø8��ÿ�øðó*� ê��ïæ�çAç¸ú�ÿ�ÿHóþø¸è\è¸óqè¸æ�ç}è ñ/ú�� èðê�è¸üLø¸æ�÷��ïæ� ç¸ó_ôõè}öK÷_øðæ��´�¿æ]çéè¸øðæ{çðçbèðüL÷?è5÷�� èðü�óþúLíþü è¸ü�æ��%ê���� ÷þøðûýüLê èðæ{û³èðú�øðæNü�æ��ÛÿXçkè¸ó�ñ ÷_ë"÷_í æVû§ó ëLû§úLø¸øðæFëLûFî�# ë�ó_èN÷��-�0û§ó ëLû§úLø¸øðæFëLûFî/ê¼ç¸ç¸ú�æ�ç5÷_øðæVç¸ó����þæ���Q×LóþøNæ���÷_ñ3ÿ��ìæ�# û§ó ëLû§ú�øðøðæFë�è��÷_èð÷w÷ ûFû§æ�ç¸çqèðæ{çéè¸êìë�íwê¼çQë�óþè/îþæFè ç¸ú�ÿ�ÿHóþø¸è¸æ��g�±�¿æÎô óïûFúLçQó ë�è¸æ{çéè¸êìë�íwñ ú��Ûè¸ê-Cèðü�ø¸æ�÷��ïæ�ç¸î çéè¸æ{ñ ç=÷þç=÷Ñö=ü�ó��ìæ��

ξÏdÛ Ü0Ò�Ó�ÝiÔBÒ¡Þ¿ßAà¾á@áºÒ�ÞBÔ

Þ�èqç¸ü�ó ú����Ò�Xæ3û��ìæ{÷þø]è¸üX÷?èqç¸óþñ3æQñ3æ�ûýüL÷_ë�ê¼ç¸ñ ê¼ç%ë�æFæ�ïæ��Àö=üLêìûýü�÷��-�ìó?ö]çKô ó øVèðü�æQèðæ{çéèVè¸ó�Hæ®b�JAbdHcMPVX�zMU�,ú�ë�èðê-�\÷'���<ÿL÷þû�� æ§èýç=üL÷>�þæ!÷þø¸øðê-� æ��,÷?è=èðü�æQú�ë�êÛè>� ç%æ��ïê è:ù ç��!ù ên� æ��£ú�ë�è¸ê��<è¸üLæFî÷_øðæQ÷'���b÷>�?÷_ê��¼÷'���ìæ!êÛë�èðü�æQÿL÷ û��þæFèVû§óþë�èý÷_êìë�æFø����²âNú�èVè¸üLêÛë�í�ç]÷_øðæ!ë�óþè%÷þç]ç¸êìñÑÿ��Ûæ/÷ çKè¸üLæFîç¸æFæFñ7�%×�ó øKêÛëLçéèð÷þëLû§æ&# öNæ�çéüLóþú����j÷>� óþê��3óþú�ø£è¸æ�ç}è£è¸ó¸�Hæ�ç¸úLç¸ÿXæ{ë��ïæ�Îêìë��ïæ��Xë�ê èðæ �ìîÎö=ü�æ{ëÿL÷ û��þæ§èýç\�ïó�íþæ§è\�ìó çéè�� åKü�æFøðæ§ô ó ø¸æ,ê èjç¸ü�ó ú����Ã�XæÀÿHó çðç¸ê-���ìæ�è¸ó�çéÿHæ{ûFê ô î çéó ñ3æ�� êìë���óþôè¸êìñ3æFó úïè�z�?÷'�ìú�æ ÷?ôõè¸æ{øQö=ü�ê¼ûýü�èðü�æ3è¸æ�ç}èQö=ê����Øû§óþë�èðêÛë ú�æ&� ) �Ûè¸óþí æ§èðü�æFø#b÷�è¸æ�ç}è/ç¸ü�óþú���� �Xæøðæ{ç¸ú�ñ3æ��À÷?ôõèðæFøq÷'���bÿL÷ û��þæ§èýç=üL÷>� æ/÷_øðø¸ê��þæ��÷_èVèðü�æQú�ë�êÛè>� ç%æ��ïê è:ù ç���ã£äiö=ü�æFë�÷ è¸êìñÑæ{óþúïèóïûFûFú�øðç��åAó!è¸ü�ê¼çØÿLú�ø¸ÿHó ç¸æ=èðü�æ=è¸æ�ç}è5ô øð÷þñÑæ{öNó ø8�/ó��0æFøýç5÷�åG�z¢K��yG���9� ) èðæ{çéè �ïæ � æ �ìóþÿHæFø èðø¸î êìë�í�è¸ó�ïæ�÷'�ïö=êÛè¸ü û§ó ëLû§ú�øðøðæFëLûFî!êìçðçéúLæ{ç ç¸ü�óþú����Ñçéêìñ3ÿ��Ûî ÷þç8�!ô óþøØç¸úLûýü3÷%ñ3ó ë�ê èðóþøkèðóJ�Hæ=ÿ�øðæ{ç¸æFë�è���%ê����"!]ë�êÛè=ÿ�øðó*��ê��ïæ�ç è¸üLæ%ñ3óþëLê èðóþø5ö=êÛè¸üjè¸ü�æqÿL÷ û��þæ§è8�ûFóþë�èð÷þêÛëLæFøØêÛèKç¸ü�ó ú����b�þæ{æFÿj÷þëÎæFî æóþë ÷_ë���÷wèðêÛñ3æ{óþúïè\�?÷'�ìú�æÀ÷?ôõè¸æ{ø ö=üLêìûýü�è¸ü�æ�è¸æ�ç}èÎç¸ü�óþú�����û§óþë�èðêÛë ú�æ&� ) ôõè¸æ{ø üL÷_ë��ïêÛëLíó*�þæ{økè¸ü�æ%ÿL÷þû�� æ§èýç\è¸ó!èðü�æ]ú�ë�êÛè �HæFêìë�í!èðæ{çéè¸æ��#þèðü�æ���æ �þæ��Ûó ÿXæ{ø5ûF÷��-�¼çkèðü�æ]ñ3óþë�êÛè¸ó øN÷ ç�� êìë�íè¸üLæQû§ú�øðø¸æ{ë�è£èðæ{çéè=è¸óÛ�HæQçéúXçéÿHæFë���æ����ØåKü�æ!ñ3ó ë�ê èðóþø=ö=ê��-�<è¸ü�æ{ë�ç¸æFë��,÷ÑöK÷'� æ��ú�ÿ�ç¸êÛí ëL÷'�è¸ó¿èðü�æ�è¸æ�ç}èÎ÷þç ç¸ó óþë ÷þç ÷'���=ÿL÷ û��þæ§èýçÑüL÷>�þæ�÷_øðø¸ê��þæ��êìë�èðü�æÀû§ó ë èý÷_êìë�æFø3ó ø ö=ü�æFë�è¸ü�æè¸êìñ3æFó úïè�z�?÷'�ìú�æ!æ��ïÿ�êìø¸æ�ç �åKü�æ{ø¸æNêìç\ç}èðê-��� óþë�æNêìçðç¸ú�æØèðóqç¸ó����þæ èðü�óþúLíþüg�\åbó��XæK÷'���ìæØèðó�� ë�ó?ö�ö=ü�æ{ë ÷��-��ÿL÷þû�� æ§èýçbüL÷>� æ÷_øðøðê-� æ��j÷_èKè¸ü�æ!æ � êÛè�ùCçF��#�ö£æQ÷'�¼çéóÑë�æFæ��è¸ó\�XæQ÷����ìæ%èðóÎçéÿHæ{ûFê ô îjè¸ü�æ!ë ú�ñ4�Xæ{ø=ó_ôkÿL÷þû�� æ§èýçö£æz� ø¸æ�æ��ïÿXæ�û³èðêÛë�í�÷?è3æ{÷ ûýü�ó_ôVè¸ü�æ�æ��ïêÛè�ùCçF���X� óþñ3æ7�Vê�� ��ú�ë�êÛèðçÑñ ÷:î�êÛë�èðø¸ó"�ïúLûFæjë�æ{öÿL÷ û��þæ§èýçVùCçéúLûýüÎ÷ çN÷!ô øð÷þíþñ3æFë�è¸æ{ø5ú�ëLê è��kè¸ó�# óþø5øðæFñ3ó*� æ=ÿL÷þû�� æ§èðç%ù ç¸úLûýüÎ÷þç£÷!øðæ{÷ ç¸ç¸æFñ4���Ûîú�ë�êÛè!óþø!÷,ü�æ{÷&�ïæFø!ûFóþëLçéè¸øðúLû³èðóþø%è¸üL÷_è+�ïø¸ó ÿLçqÿL÷þû�� æ§èýç%ö=êÛè¸ü¿æFøðøðóþë�æ{óþúLç%ü�æ{÷&�ïæFøýç��=ô øðóþñè¸üLæ ��÷_èð÷Í"Ló?ö��\åKü�æFøðæ§ô ó ø¸æ&#{ó ë�æNû{÷_ë�ëLó_èA÷ ç¸ç¸ú�ñ3æ è¸üLæ5ë ú�ñ��HæFø\ó_ô�ÿX÷þû��þæFèðç<÷_èbèðü�æ5æ � êÛè�ùCçF�

(

Page 10: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

UnitLayer

DiPSUnit

Active

ææçç

èèéé

Monitor

A

B

C

F

D

E

×\êÛí ú�øðæ���Ü¡�ÀóþëLê èðóþø=çéúLÿ�ÿXó øéè

è¸ó\�Hæ!æ>|�úL÷��Pè¸óÑè¸üLæ!ë�úLñ��HæFø=ó_ôkÿL÷ û��þæ§èýç£ÿ�ø¸æ�çéæ{ë�è¸æ��,÷?è=èðü�æ!êìë�ÿ�úïè:ù ç�����¿æ£æ � è¸æFë��4�%ê����"!]ëLê è5÷ ç<ô ó&�-�ìó?ö]ç �Q×\êÛøýç}è#?è¸üLæ£ÿX÷þû��þæFèkûFóþë�èð÷þêÛëLæFøk÷'���Ûó?ö]çbè¸ó!ç¸ÿXæ�û§êÛô î!è¸ü�æë ú�ñ��HæFøAó_ôïÿL÷ û��þæ§èýç0è¸ó��XæNæ��ïÿXæ�û³èðæ��Q÷_èbæ{÷ ûýüqæ �ïê è�\åKü�æ�åB�z¢���yG�z�=ö=ê���� úLç¸æ èðü�êìçAë ú�ñ��HæFøè¸ó\�ïæFè¸æFøðñ3êÛëLæ%ö=ü�æFè¸ü�æ{ø=÷'���HÿX÷þû��þæFèðçNüL÷>�þæq÷_øðø¸ê��þæ� ÷?è=÷ ûFæFø¸èð÷þêÛëÎæ �ïê è#ïóþø£ë�ó_è�,� æ{ûFóþë���#ö=ü�æ{ëÀè¸ü�æ ñ3óþë�êÛè¸ó øVó��GF}æ{û³è%êìçqûF÷��-�ìæ���#HêÛèqû§øðæ{÷_è¸æ�ç]÷jç¸ÿXæ�û§ê-�Xû!ÿL÷ û��þæFèVø¸æ�û§æ{ê-� æFø=ô ó øVæ{÷ ûýüæ��ïêÛè!ÿXó êÛë�èQó_ôNè¸ü�æ3ú�ëLê è�Û�ïúLûýü¿÷,ÿL÷ û��þæFèqøðæ{ûFæFê��þæFø�ë�óþè!óþë��ìîÀÿ�úïèýç!êÛëXû§óþñ3êìë�í�ÿL÷þû�� æ§èýçêìëi÷_ëiæ��ïêÛèW�LúB�Hæ{ø�#PêÛè!÷'�¼çéó,çéêìíþëL÷��ìçVè¸üLæÑñ3ó ë�ê èðóþøqö=ü�æFë�÷ÎÿX÷þû��þæFè%ê¼çqø¸æ�û§æFê��þæ���º�Áü�æ{ëè¸üLæQè¸óþèð÷��bë ú�ñ��HæFøVó_ôØæ��ïÿHæ{û§è¸æ���ÿX÷þû��þæFèðçQù ö=ü�ê¼ûýüwûF÷_ë0�Hæ ÷ ç�� æ���ô øðóþñ è¸ü�æ/ûFóþë�èð÷þêÛëLæFø��æ>|�úL÷��ìç=è¸ü�æ!èðó_èý÷'�bë ú�ñ4�Xæ{ø]ó_ô øðæ{ûFæFê��þæ���ç¸êÛí ëL÷'�¼ç�� îÎèðü�æQñ3óþëLê èðóþø#�è¸üLæ/çéúXçéÿHæFë���æ��,è¸æ�ç}èê¼çKø¸æ�çéú�ñ3æ�¿ù ú�ë��ìæ{çðç=÷Ñè¸êìñ3æFóþú�è]üL÷þç=÷��Ûøðæ{÷&�ïî óïûFû§úLø¸øðæ������×\êÛí ú�øðæ'� çéü�ó?ö]çB�%ê����"!]ë�êÛè�#qæ�� èðæFë��ïæ�)ö=êÛè¸ü)è¸ü�æ�ñ3óþëLê èðóþø��åKüLæ �Xíþú�øðæiç¸ü�ó?ö]ç,÷�ïó?ö=ë"�íþó êÛëLíÎÿL÷?èðü�ö=êÛè¸ü¿÷_ë�÷ û³è¸ê��þæ,ù ûFóþëLûFú�ø¸øðæFëXû§î��=ú�ëLê è�QåKü�æ ñ3ó ë�ê èðóþø�û§ó ë èðø¸ó&�ìç]è¸ü�æ�ïó?ö=ë"�íþó êÛëLíÎÿL÷?èðüg��Þ�è����ìóïû��ïç]èðü�æÑè¸æ{çéè!ú�ë�è¸ê��Ø÷'���kæ��ïÿXæ�û³èðæ��wÿX÷þû��þæFèðçqüL÷>� æ ÷_øðøðê-� æ��À÷?èè¸üLæ��ìó?öNæ{ø æ��ïê èNÿXó êÛë�è�� åKü�æ]è¸æ{çéè£û{÷þç¸æ]ç¸ûFæFëL÷þø¸êìóqô óþø£çéúLûýüÎûFóþëLûFú�øðø¸æ{ë ès��÷_èð÷�"Xó?ö]ç%�Ûó ó&� ç�ìê-� æ%èðü�ê¼ç�Ü

� ��b�MPY[J�HX��HG«c_�bPMÛÜù ÷&��û§øðæ{÷_è¸æ!÷_ë��jêìë�êÛè¸ê¼÷'�ìê��{æQ÷ ÿX÷þû��þæFè]û§óþë�èý÷_êìë�æFøù(���·_�bN�@S�\^LÅ_êª�\�VcZaYi\^LºYi\T�UM;HXLNM�bPM�V`YùCû���b[HGMUWPZ SUQêYt«GMDVcJBª®��MPL8\¸SDM�ë�HGMUWPYgMU��HG_�W���M�YdbD_^Y²Ya«cMÅ��Z ì@MPLNM�V`YÍM�ë�ZaY]bù¶�����ìêÛë��jè¸ü�æ!úLë�ê è=èðóÛ�Xæ�èðæ{çéè¸æ��ö=êÛè¸ü,èðü�æ�ô øð÷þñ3æFö£óþøF�

à��ºYgM�b�Yd�;_^VK��_^b�bPMPL�YdZ]\�Vc��Hc«G_�bPMbÜù ÷&�O�����Hç¸ÿHæ{û§ê-�Xû���úB�0æFøýçØêìë è¸ü�æ%ÿL÷þû�� æ§è5ûFóþë�èð÷þêÛë�æ{øØö=êÛè¸üjÿLø¸æ{ÿL÷_øðæ�� è¸æ�ç}è£ÿL÷þû�� æ§èýçù(���B�ïæ��Ûê��þæ{øKè¸ü�æ!ÿL÷ û��þæFèðçNè¸ó3èðü�æ!ú�ë�êÛèùCû��·_ ç���èðü�æ5ñ3óþëLê èðóþø<èðó��Hæ£ç¸úLç¸ÿXæ{ë��ïæ�!ú�ë�è¸ê���è¸êìñÑæ{óþúïè\æ��ïÿ�êìø¸æ�çÁã£ä è¸ü�æ£ë ú�ñ��HæFø

ó_ôkæ��ïÿHæ{û§è¸æ��,ÿL÷ û��þæFèðç£üL÷þçÉ�HæFæ{ë�ø¸æ�÷þûýü�æ�ù¶���,ûýü�æ�û��j÷þçðçéæ{øéèðêÛó ëLç£óþë�è¸ü�æ!ó úïè¸ÿLúïè]ÿL÷þû�� æ§è:ù ç��

���ºYgMU_^L8��\^�#Vc��Hc«G_^b�M�Ü

Page 11: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

ù ÷&�jøðæ{ç¸æ§èKè¸ü�æ!ÿX÷þû��þæFè]û§óþë�èý÷_êìë�æFøù(���·�^Z�b[Hc\�bPM�Yt«GMºª®\^V`ZaYg\�L

) ç óþëLæÎñ3êÛí ü èÑë�ó_èðêìûFæ�#s�ïæ�çéÿLê èðæÎè¸üLæ�÷����ïæ���ûFóþñ3ÿ��ìæ��ïêÛè}îióþô]ñ/ú��Ûè¸êìÿ��ìæÎè¸üLø¸æ�÷���ç��Xæ{êÛë�íÿ�øðæ{ç¸æFë�èQêìë�è¸ü�æjú�ë�êÛèÑ÷_ë��¿è¸ü�æÎñ ú��Ûè¸êìÿ��Ûæ�êÛëLÿ�úïèðç ÷_ë���ó úïè¸ÿLúïèðç�#\è¸ü�æj÷ û³èðúL÷'�5è¸æ{çéè û{÷þç¸æçéèð÷:îïçQç¸êÛñ3ÿ��ìæj÷_ë���æ{÷þç¸îiè¸ówú�ë��ïæFøýç}èý÷_ë��g� � æFñ ÷_øF�wèðüL÷?è è¸ü�æÎúXçéæÎóþôKè¸ü�æ�ñÑó ë�êÛè¸óþø/êìçÿ�ú�øðæ �ìîÎó ÿïè¸êìóþëL÷��<÷_ë��,ó ë��Ûîjë�æFæ�ïæ���ê ôØûFóþëLûFú�ø¸øðæFëXû§î ê¼çKÿ�ø¸æ�çéæ{ë�è��

í î Ï4̸ÍuÎ%ÏÅÊïÒÏ@: ÂgÍ%Ñ!ð.Â

ñÍÏ Ð Ñ'Ò�ÓÄÔBÕ�ÖÍÔ

�¿æ�÷'�ìø¸æ�÷��ïî�ñ3æFë�è¸êìóþë�æ� è¸üL÷_è��%ê���� ú�ë�êÛèðç,÷_øðæÀêÛë���æFÿHæFë��ïæ{ë�èjô øðóþñ óþè¸ü�æ{øjú�ëLê èjêìë"çéèð÷_ëXû§æ{ç��,âNæ�ûF÷þúLçéæió_ôQèðü�ê¼ç�êìë��ïæ{ÿXæ{ë��ïæ{ëLû§æ&#]è¸üLæiú�ëLê èýçÀûF÷_ë)æ{÷þç¸ê��Ûî �HæiøðæFÿ��¼÷þûFæ��_� î�ïú�ñ3ñ îwêÛñ3ÿ��ìæFñ3æ{ë èý÷?èðêÛó ëLç�÷?èqè¸æ{çéè¸êìë�í�è¸êìñ3æ��¸�ïúLûýü �ïúLñÑñ3êìæ{ç!û{÷_ëÀô ó øqæ ��÷_ñ3ÿ��ìæ ÿ�øðæ�ÿL÷þø¸æ ë�æ�û§æ�ç¸çð÷_øðî�êìëïô óþøðñ ÷?èðêÛó ëiô ó øQèðü�æÎèðæ{çéè¸æ���úLë�ê è�ùõèðü�êìç ê¼ç��ïó ë�æO� î¿÷_èéèý÷þûýü�êìë�í�è¸üLêìçêìëïô óþøðñ ÷?è¸êìóþë�è¸óÑèðü�æºsGuGv^wGx�y3è¸üL÷_è=êìç��HæFêìë�í ÿ�øðóïû§æ�ç¸ç¸æ������åAóVèðæ{çéèk÷%ú�ë�êÛè êÛë êìç¸ó��¼÷?èðêÛó ëg#_÷'���ïû§óþë�èðø¸ó&�z"Ló?ö]çAñ/úXç}èu�XæKêìë�è¸æFøýû§æ{ÿïè¸æ���kåKü�êìç\ê¼çAè}î�ÿLêìû{÷'���Ûî�ïó ë�æ � îÁúLç¸êìë�í çéè¸ú��LçÆß à>áQóþø,ñÑóïû��Áó&�BF}æ{û§èðç¹ß ��� á!è¸üX÷?èwçéêìñ/ú��ì÷_è¸æiè¸ü�æ´�Xæ{üL÷>� êÛó ø�óþôæ�� èðæFøðëL÷'�Hú�ë�êÛèðç£èðüL÷?è]÷_øðæ%ûFóþë�èð÷ û³èðæ��Û� î3è¸üLæ%èðæ{çéè¸æ�Îú�ë�êÛè��,Þ�ëÎè¸üLæ�û{÷þç¸æVóþôS�Vê�� ��#ïæ �þæ{ø¸îû§ó ë�è¸øðó��0æ � æFë�è=êìç]û{÷_ú�í ü�èÉ� îj÷\�ïúLñÑñ îjú�ëLê è#L÷þû§è¸êìë�í ÷þç=÷3ç}èðú��g�) �Ûè¸üLóþú�í ü�èðü�æQçéè¸ú���ñ3æ{ûýüL÷þë�ê¼çéñ ê¼ç=ç¸êÛñ3ÿ��ìæ�#ïèðøð÷þëLç¸ÿL÷_øðæFë�è8�ìî êìë èðø¸ó"�ïúXû§êìë�í ç}èðú��Lç=ê¼çKë�ó_è÷'�ìöK÷:î çVè¸øðê���ê¼÷'�n� C ôõèðæFëg#bø¸æFô æFøðæFëLûFæ{ç%è¸ó�ú�ë�êÛèðç!÷þø¸æ3û§øðæ{÷_è¸æ�wêìë èðæFøðëL÷'���ìîÀö=üL÷?è!ñ ÷'� æ{çqê èêìñÑÿHó çðç¸ê-���ìæ è¸ójøðæFÿ��ì÷ û§æQèðü�æ{ç¸æ/úLë�ê èýçqö=ê èðüiçéè¸ú��iêÛñ3ÿ��ìæFñ3æFë�èý÷?è¸êìóþëXç%ö=êÛè¸üLóþúïè!ûýüL÷_ëLíþêìë�í÷_ë îÀû§ó"�ïæ&�/åKü�æ{ø¸æFô óþøðæ�#P÷'���\ûFó"�ïæ ñ úLçéè�úXçéæÑêÛë�èðæFø¸ô ÷þû§æ�çVêìëLçéè¸æ�÷��wóþô5êìëLç}èý÷_ëLûFæ{çW�ïêìø¸æ�û³èF�Ûî÷_ë���÷��-�<êìëLçéèð÷þëLû§æ�çKñ/úLçéèÙ�XæQûFø¸æ�÷?èðæ��Îæ � è¸æFøðëL÷��-�ìîj÷_ë��jüL÷þë��ïæ��ó*� æFø£è¸óÑèðü�æ!ú�ë�êÛè4ßò(�án��%ê����3çéó&�-� æ{ç\è¸üLêìçNÿ�øðó����ìæFñ �Xæ�ûF÷_úXçéæ=óþôHèðü�æ=ô ó&�-�ìó?ö=êÛëLí!ø¸æ�÷þç¸óþëLç��S×\êìøðçéè�#l�Vê�� �Ñÿ�øðæ � æFë�èðçú�ë�êÛèðçQô ø¸ó ñUüL÷>� êìë�í0�ïêÛøðæ{û§èQø¸æFô æFøðæFëLûFæ{çqèðóÀæ{÷þûýü¿ó_èðü�æFø�jåKü�ê¼çQ÷��-�ìó?ö]ç!÷_ë îwú�ëLê èQèðó0�XæøðæFÿ��¼÷þûFæ��Ä� î�÷�çéè¸ú�� ö=êÛè¸ü�ó úïèÎ÷_ë î�ÿ�øðó����ìæFñ7� � æ{ûFóþë���#É�%ê�����êìë�ü�æ{ø¸æ{ë èF�Ûî�ô ó øðûFæ{ç è¸óç¸ÿ��ÛêÛè!ú�ÿiô ú�ëLû³èðêÛó ëL÷'�ìêÛè}îwêÛë �Lë�æ �í øð÷þêÛëLæ��Àú�ëLê èýç #<ö=üLêìûýü¿÷'��� ÿ�ø¸óïûFæ{çðç]èðü�æ ç¸÷þñÑæÑíþæ{ë�æFøðê¼ûÿL÷ û��þæ§è ÷'�Xç}èðøð÷ û³è¸êìóþë±�AåKü�æ{ø¸æFô óþøðæ�#_÷'���Lçéè¸ú��Xç çéüL÷þø¸æNè¸üLæ]ç¸÷þñÑæKêìë�è¸æFø¸ô ÷þûFæ��\åKü�êÛø���#�û§óþë�èðø¸ó&�êìëïô óþøðñ ÷?è¸êìóþëwû{÷_ëÀó ë��ÛîB�Hæ/æ���ûýüL÷þë�íþæ�B��ê¼÷ æ��þæFë�èýç]ö=ü�ê¼ûýüw÷'���Ûó?ö]çVæ{÷ çéî�êÛë�è¸æ{íþøý÷?èðêÛó ë,óþôçéè¸ú��LçÙ��îjø¸æ{ÿ��ì÷ û§êìë�í3÷_ë�æ � æFë�è=üL÷_ë����Ûæ{ø=ö=ê èðü�÷3çéè¸ú��±�

ñÍÏdÛ Ñ'Ò�ÓÄÔBÞGÒ�óDô�Ò£õöáºÒ�ó ÝN÷�ݸսß

�%ê����"!]ë�êÛè�ó��0æFøýç]êìëïô øð÷ ç}èðø¸úXû³è¸úLø¸æQç¸ú�ÿ�ÿHóþø¸èVèðójú�ë�êÛô óþøðñ\�Ûî7�ïæ�÷'�\ö=ê èðüwæ�� è¸æ{ø¸ëX÷'�bæ��þæ{ë èýç �åKü�æ%è¸æ�ç}è��ïæ � æ �ìóþÿHæFø£óþë��ìî3ÿ�øðó*��ê��ïæ�çØö=üL÷_èKç¸ü�óþú����Û�HæW�ïóþë�æqêìë�ûF÷ çéæq÷/ûFæFø¸èð÷_êìëÎæ��þæFë�è£êìçøðæ{û§æ{ê-� æ����uÞ�ëLçéèð÷��-�ìêìë�í/èðü�æ!ç}èðú��Lç=÷þë��jûFóþë�ë�æ�û³èðêÛë�íÑèðü�æFñ ö=êÛè¸ü�è¸üLæ%èðæ{çéè¸æ��úLë�ê è=ê¼ç��ïóþëLæ� îb�%ê����"!]ë�êÛèVêÛèðç¸æ �Ûô��ØåKü�ê¼ç]çéæ�û³èðêÛó ëB�ïæ�ç¸ûFø¸ê��Hæ{çKü�ó?ö)è¸ü�ê¼ç]ç¸ú�ÿ�ÿHóþø¸èKê¼ç=ÿ�øðó*� ê���æ����åAóÎ÷'���Ûó?ö"÷Ñè¸æ�ç}è���æ �þæ��Ûó ÿXæ{ø=è¸ó æ�÷þç¸ê-�ìî���æ{çðû§øðê-�Hæ!ü�ó?ö�è¸óÎøðæ{ç¸ÿXó ë���è¸óÎ÷3í ê-� æFë�æ � æFë�è�#H÷sG�B�G�°v^øjê¼ç%êÛë�è¸øðó"�ïúLûFæ����W� úLûýü�÷®sG�B�c�°v�ø,ûF÷þëg#Lô ó ø%æ ��÷_ñ3ÿ��ìæ�#q�Xæ3÷Îç¸êÛñ ú��ì÷_è¸êìóþëwóþô è¸ü�æ

?

Page 12: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

Unit

DiPSUnit

Layer

ù ùù ùù ùúúú

ûûûüüü

A

B

C

F

D

E

Event Catcher

Policy

×\êÛí ú�øðæ���ÜÄ&Nóþë�è¸øðó��X"Ló?öyç}èðú��ÀçéúLÿ�ÿXó øéè

÷þû§è¸úL÷��Hô ú�ëLû³èðêÛó ëL÷'�ìêÛè}î�#���ú�èKêÛè]ê¼ç=÷'�¼çéó êÛë�è¸æ{ø¸æ�ç}èðêÛëLí èðó3ÿ�ø¸ó*� ê��ïæ%÷ÑÿHó��ìêìûFî è¸üX÷?è]çéêìñ/ú��ì÷_è¸æ{ç÷_ë�æ{ø¸øðóþø� ×Lóþø]æ �ï÷þñ3ÿ��Ûæ&#Lë�óþèVçéæ{ë��ïêìë�íj÷3øðæFÿ��ìîjæ��þæ{ë è]ö=üLê-�ìæQêÛèVêìçVæ��ïÿHæ{û³èðæ���#q�ïæ �¼÷:î êÛëLíè¸üLæ%øðæFÿ��ìî3óþøNÿ�ø¸ó"�ïúXû§êìë�í ÷/ö=ø¸ó ë�í/÷_ëXçéö£æFø,��æ �ìê-�HæFøý÷?èðæ �ìî��s� æFÿX÷_øý÷?è¸êìóþë óþôbÿHó��ìêìûFêÛæ�çØô øðóþñ÷þû§è¸úL÷��\è¸æ{çéèQûF÷ çéæ�ç #<÷��-�ìó?ö]ç]ô ó ø!÷�í æFë�æ{ø¸ê¼ûQÿHó��ìê¼û§îÀèðóB�Hæ3æ{÷ çéê��ÛîÀøðæFúXçéæ��� ) ÿXó&�Ûê¼û§î&#Pô óþøæ���÷þñÑÿ��Ûæ&#:è¸üL÷_èkç¸ê-�ìæFë�èF�Ûî!øðæFñ3ó*�þæ�çbêìëLûFóþñ3êÛëLí]è¸øðêìíþíþæ{øðçbêìç\í æFë�æ{ø¸ê¼ûØæ{ë�óþú�í üQèðóVèðæ{çéè\ÿL÷ û��þæFè�ìó çðçKêÛë0�ïê��Hæ{ø¸æ{ë�è=û{÷þç¸æ{ç�� åKü�æQç¸÷þñ3æqê¼ç£è¸øðú�æ�ô ó ø]÷.��M�O�_^Q�÷þë��,÷.��J�HXORZ]WU_�YgM/ÿXó&�Ûê¼û§î&�) ��� ÿHó��ìêìûFêÛæ�çq÷þø¸æÑøðæFíþê¼çéè¸æFøðæ���êìëiè¸ü�æÛ�%ê����"!]ë�êÛèºýA¯Bxz¢ByAåGu�¢cu�¤Gx��jû��¼÷þçðç #HèðóþíþæFè¸ü�æ{ø�ö=ê èðüè¸üLæ�æ��þæFë�è è}î�ÿHæÎèðüL÷?èÑè¸øðêìíþíþæ{øðç/æ{÷ ûýü�ó_ô]èðü�æFñ7��åKü�ê¼ç/ê¼ç4��óþë�æ�÷?è è¸æ{çéè3êÛë�êÛè¸ê¼÷'�ìê��{÷?èðêÛó ëè¸êìñ3æ4� îÀ÷jç¸ÿHæ{û§ê-�Xû/è¸æ�ç}è�ûF÷þç¸æ���åKü�æÅý°¯Gxz¢ByAåBuz¢cu�¤Gxz� ê¼çq÷þû³èðúL÷'���ìî�èðü�æ¸�Ûêìë��7�XæFè}öNæ{æFë¿÷è¸æ�ç}è!ûF÷ çéæÑ÷_ë��Àè¸ü�æÛ�%ê����"!]ë�êÛèqô øð÷þñÑæ{öNó ø8�9Ü=÷jè¸æ{çéè!ûF÷þç¸æ/øðæFí êìçéè¸æ{øðçVê èýçqÿXó&�Ûê¼û§êìæ{ç%êÛë�è¸ü�æýA¯Gx�¢ByAåGuz¢Gu�¤Gx��9#>�%ê�� �"!Vë�ê è��ìó ó��ïç5úLÿÎè¸üLæ�÷ ç¸ç¸óïû§ê¼÷?èðæ���sG�B�G�°v^ø ô óþø£æ{÷þûýüjæ �þæ{ë�è5è¸üX÷?èKêìçøðæ{û§æ{ê-� æ��iù ÷þç]êìçKæ � ÿ��ì÷þêÛë�æ�Îô úLøéèðü�æFø����&Nóþë�èðø¸ó&�)æ � æFë�èðç ÷_øðæ�÷þû§è¸úL÷��-�ìî ûF÷þú�íþü�è<� î ÷_ë9ýA¯Gxz¢ByA�Bu�yXv�þGx��Jó��GF}æ{û³è� ) ëýA¯Gx�¢ByB�Bu�y`v�þcx��Äêìç�ûFø¸æ�÷?è¸æ�Jô óþø æ{÷ ûýü æ � æFë�è è}î ÿHæòèðüL÷?è�ê¼ç�øðæFí êìçéè¸æ{ø¸æ�JêÛë è¸ü�æýA¯Gx�¢ByAåGuz¢Gu�¤Gx��9�kåKüLæ��ïæ§ô ÷þú��Ûè@ýA¯Bxz¢ByB�BuzyXv�þcx��/èðüL÷?èVê¼ç]óz�Hæ{ø¸æ�B��î7�%ê����"!]ë�êÛè%ç¸êÛñ3ÿ��ìî�ïæ��Ûæ{í ÷?èðæ{ç,÷'���%æ��þæ{ë èýçÎèðó�èðü�æ­ý°¯Gxz¢ByAåBuz¢cu�¤Gxz��èðóX�ìó ó�� ú�ÿ)è¸ü�æ�÷þçðçéóïûFêì÷_è¸æ��ÿsB�B�c�°v^øó��GF}æ{û³è�Lâ]ó?ö£æ � æFø#j÷�ë�ó ë"Cèðø¸ê�� êì÷��TýA¯Gxz¢AyB�Bu�yXv�þcx��"ûF÷_ë<�Xæ�êìë�è¸øðó"�ïúLû§æ�Uùõô ó ø�æ �l÷_ñ3ÿ��ìæ�#£÷_ë©ý°¯Gxz¢ByB�Au�yXv�þcxz�wè¸üL÷_è3ûFó����Ûæ�û³èðç3÷ië ú�ñ��HæFø óþôVæ � æFë�èðç¸�Hæ§ô óþøðæ,ê èÎûF÷��-�¼ç è¸ü�æýA¯Gx�¢ByAåGuz¢Gu�¤Gx������ � æ{íþê¼ç}èðæFøðêÛëLí�÷_ë'ýA¯Bxz¢ByB�BuzyXv�þcx��j÷þç%æ � æFë�èJ�ìê¼ç}èðæFë�æ{øqê¼çW�ïóþëLæ/èðøð÷þëLç�ÿL÷þø¸æ{ë èF�ÛîjêÛë0�%ê����"!]ë�êÛè�#���îjúLçéêìë�í æ��þæFë�è]ç¸ú�ÿ�ÿHóþø¸è£èðüL÷?è]ê¼ç=óz�Hæ{ø¸æ�jêìëB�%ê�� �9�×\êÛí ú�øðæ±��ç¸ü�ó?ö]ç è¸ü�æwû{÷þç¸æ�ö=ü�æFøðæÀ÷iúLë�ê èÎæ{ñ3ê èýçÎ÷�û§óþë�èðø¸ó&�£æ��þæ{ë è ö=ü�ê¼ûýü êìç û{÷_ú�í ü�è� îÎèðü�æDýA¯Gxz¢AyB�Bu�yXv�þcx�� ÷þë��0�ïæ��Ûæ{í ÷?èðæ���è¸ó�÷ çéÿHæ{ûFê��Xû8sB�B�c�°v^øq� ) çVç¸ü�ó?ö=ëg#L÷êsB�B�c�°v^øó��GF}æ{û³è]û{÷_ëÀçéæ{ë��,û§óþë�èðø¸ó&�Hæ��þæ{ë èýçÉ�L÷þû��Îè¸ó ÷3ú�ë�êÛè�#�êÛôkë�æ{ûFæ{çðç¸÷þø¸î&�Þ�ë�è¸üLæØô ó����ìó?ö=êÛë�í]çðû§æ{ëL÷_øðêìó�#Fö£æ5ç¸ú�ñ3ñ ÷_øðê��{æ ü�ó?öÆ�Vê�� �"!Vë�êÛèAê¼ç<úLç¸æ��qèðóVçéúLÿ�ÿXó øéè\û§óþë�èðø¸ó&�æ � æFë�èðç��iåKüLæ�û§ó ëLû§úLø¸øðæFëLûFîiçéè¸æ{ÿLç # êìë�è¸øðó"�ïúLû§æ��êìë�è¸ü�æ�ÿ�øðæ � êÛó úLç/ç¸æ{û§è¸êìóþë�üX÷>�þæO�HæFæ{ëóþñ3êÛèéèðæ��jè¸ó ô ó ûFúLçKóþë,û§ó ë èðø¸ó&�c"Xó?ö)ç}èðú��Lç�� � æFñ ÷þø8�Ñè¸üX÷?èKè¸ü�æ�æ ��èðøð÷ ç}èðæFÿLç£ô ó ø=û§óþë�èðø¸ó&�"Ló?ö"ç}èðú��wç¸ú�ÿ�ÿHóþø¸èV÷_øðæ�÷þí ÷þêÛë,óþÿïèðêÛó ëL÷'�n���ÁüLæFëÀë�ó æ��þæFë�èýç]÷_øðæqè¸øðêÛí íþæFøðæ���ö=êÛè¸ü�êìë�è¸ü�æè¸æ�ç}èðæ���ú�ëLê è#Lèðü�æ/çðû§æFëX÷_øðêÛóÑô ÷'���¼çÙ�L÷ û��Îè¸óÎè¸ü�æQó ø¸êìíþêìëL÷��<ç¸ûFæFëL÷þø¸êìóÛ�ïæ{çðû§øðê-�Hæ���êìëwç¸æ{û³èðêÛó ë��� åKü�ê¼ç�� æFæFÿXç£è¸ü�æQûFóþñ3ÿ��ìæ��ïê è}îjó_ôbèðü�æ�è¸æ�ç}è]æ{ë³��êìøðóþë�ñ3æFë�è=ñ3êÛëLêÛñ ÷'�n�

� ��b�MPY[J�HX��HG«c_�bPMÛÜ

��=

Page 13: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

ù ÷&��û§øðæ{÷_è¸æ!÷_ë��jêìë�êÛè¸ê¼÷'�ìê��{æQ÷ ÿX÷þû��þæFè]û§óþë�èý÷_êìë�æFøù(���'LNMg�zZ�bUYiMPLDM�Ú^M�V`YÍWU_�YgWU«GMPLUbD_^VX��_�bUbP\>WPZ]_^YiMU��Hc\^O~Z]W�Z]M�bùCû����ìêÛë��jè¸ü�æ!úLë�ê è=èðóÛ�Xæ�èðæ{çéè¸æ��ö=êÛè¸ü,èðü�æ�ô øð÷þñ3æFö£óþøF�

à��ºYgM�b�Yd�;_^VK��_^b�bPMPL�YdZ]\�Vc��Hc«G_�bPMbÜù ÷&�O�����Hç¸ÿHæ{û§ê-�Xû���úB�0æFøýçØêìë è¸ü�æ%ÿL÷þû�� æ§è5ûFóþë�èð÷þêÛë�æ{øØö=êÛè¸üjÿLø¸æ{ÿL÷_øðæ�� è¸æ�ç}è£ÿL÷þû�� æ§èýçù(���B�ïæ��Ûê��þæ{øKè¸ü�æ!ÿL÷ û��þæFèðçNè¸ó3èðü�æ!ú�ë�êÛèùCû��,ûýü�æ�û��j÷þçðçéæ{øéèðêÛó ëLç£óþë�è¸ü�æ!ó úïè¸ÿLúïè]ÿL÷þû�� æ§è:ù ç��

���ºYgMU_^L8��\^�#Vc��Hc«G_^b�M�Üù ÷&��û��ìæ{÷þøKè¸ü�æ!ÿX÷þû��þæFèKûFóþë�èð÷þêÛëLæFøù(���'LNM�bPM�Y²Ya«cMÅMPÚ^M�V`Y�ª®_^VX_>��MPL

åKü�æQûFóþñ��LêÛëL÷_è¸êìóþë�ó_ô%�Vê�� �,÷_ë����%ê����"!]ëLê èVüX÷þç=ç¸æ �þæ{øð÷��H÷&�"�?÷_ë�èð÷þíþæ�ç �kåKü�æQç¸ú��Lçéè¸êÛè¸ú"è¸êìóþë�óþô£û§ó ë�è¸øðó���"Ló?ö ô ú�ëLû³èðêÛó ëL÷'�ìêÛè}îÕ� î�çéè¸ú��LçQêìçqèðøð÷þëLçéÿX÷_øðæFë�è�ô óþø�è¸üLæÎ÷þû³èðúL÷'�kèðæ{çéè¸æ�û§ó"�ïæ&�\åKüLêìç5ø¸æ�ïúLû§æ�çkè¸üLæ]ø¸ê¼ç8�/ó_ô0øðæFÿ��¼÷þûFêÛë�íQçéè¸ú��Lçs� îQèðü�æV÷ û³è¸úX÷'�ïô ú�ëXû³è¸êìóþëX÷'�ìê è}î\�ïú�øðêÛëLí÷þû{û§æ{ÿïèð÷þëLû§æjè¸æ{çéè¸êìë�í �Xæ�ûF÷_úXçéæ,ë�óiûFó"�ïæ,ûýüX÷_ë�í æ{çQüX÷>�þæÎóïûFûFú�øðø¸æ���´�%ê�� ��úLë�ê èýç�ù ÷_ë��è¸üLæFøðæ§ô óþøðæ ÷'�¼çéóÀçéè¸ú��XçF��÷þø¸æÑè}î ÿ�ê¼ûF÷'���ìîÒ�þæ{ø¸î0�Xë�æ íþøý÷_êìë�æ���ô ú�ëLû§è¸êìóþëL÷��Øæ �ìæFñ3æ{ë èýç �ÎåKüLêìç�ïæ�û§øðæ{÷þç¸æ{çVè¸üLæ\��æ �þæ��Ûó ÿ�ñ3æFë�èQû§ó�ç}è�ó_ôK÷jú�ëLê èjù óþø!÷�çéè¸ú�����÷_ë���ê è!æ{ëLû§ó ú�øð÷þíþæ�ç%÷B�þæ{ø¸îêÛè¸æFøý÷?èðê-� æqè¸æ{çéè]ÿ�øðóïû§æ{çðç�ù¸YiM�b�Y;_®ORZaY[Y[O�M��ÍW�\��zM�_TORZaYdY[O�Mbß � á(��� �Vê�� �"!Vë�êÛè%ûF÷þë���úLê-����óþë�è¸ü�ææ � æFë�è/ûF÷_èðûýü�êìë�íÀ÷_ë���èðü�øðó?ö=êÛë�íÀç¸ú�ÿ�ÿHóþø¸èQÿ�øðó*��ê��ïæ��êìëÆ�Vê�� �9�\åKü�ê¼ç��þæ{æFÿLç��%ê����"!]ëLê èç¸êÛñ3ÿ��ìæ�#L÷�� èðü�óþúLíþü,ê è]ÿ�øðó*� ê���æ{ç£ë�óþë�Cèðø¸ê�� êì÷��0ç¸ú�ÿ�ÿHóþø¸è=è¸ó ÷ è¸æ�ç}è���æ �þæ��Ûó ÿXæ{ø��

� �³68Ê Ô�Ð!6JÍ%Ô�ϸÌ���6����!Ê Ô Ó;6JÍuÔ Ï4ÌDÔ Ì\ÍÁ-¾Ã4Î#6JÍuÔ�Ï¸Ì Ô�Ì��� [Ì0Ô�Í

åAó��?÷'�ìê��L÷?è¸æ%óþú�øNê���æ{÷þç5óþë èðæ{çéè¸êìë�íQô ó ø5èðü�æ��%ê�� �3ô øý÷_ñ3æ{öNó ø8�9#_ö£æVêìñ3ÿ��Ûæ{ñ3æFë�è¸æ� è¸üLæFñúLç¸êÛëLíjèðü�æ����ÁVcZaY¾YiM�bUY[ZaV°�8SULN_^ª®M���\�LN�Nß �>án�¸$&!Vë�ê è!ê¼ç!÷jö£æ ���u� ë�ó?ö=ë $�÷>�?÷*z�L÷þç¸æ��ÀúLë�ê èè¸æ�ç}èqô øý÷_ñ3æFö£óþøF��ö=üLêìûýüwó ø¸êìíþêìëL÷_è¸æ��Àô ø¸ó ñ ö=êÛè¸üLêÛë�è¸ü�æ����%ù¶Ú%� èðø¸æ{ñÑæ¸�Øøðóþí øð÷þñÑñ3êìë�íl�¢÷_ÿLÿ�ø¸ó�÷þûýüÃß � áz� åKü�æÛ$l!]ë�êÛè�ô øð÷þñ3æFö£óþøF��ûFóþëLç¸ê¼ç}èýç%óþôN÷�ô æFö �L÷þç¸æ��û��¼÷þçðçéæ�ç]ö=ü�ê¼ûýüi÷��-�ìó?ö÷Û�ïæ��þæ �ìóþÿHæFøKèðóê|�ú�êìû��³�ìîjö=øðê èðæQçéÿHæ{ûFê��Hû�è¸æ�ç}èýç #�í ø¸ó ú�ÿ,è¸ü�æ{ñ êìë7�ì÷þø¸í æFøKèðæ{çéèVçéú�êÛè¸æ�çV÷þë��øðú�ë�è¸ü�æ{ñoêÛëÒ�X÷?èðûýü�óþø=ô øðóþñ ö=ê èðü�êìëi÷Îç¸êÛñ3ÿ��ìæ��W!�ÞQù ç¸æFæ ÷��ìç¸ó3è¸üLæ4��÷þø8��çéüX÷��ïæ�7�Xó>�êìë0�LíþúLø¸æD�&���Ù×�ó øV÷ ñ3óþøðæ��ïæFèð÷þê-�ìæ���æ � ÿ��ì÷þëL÷?èðêÛó ë,óþô è¸ü�æ4$&!Vë�ê è8Cô øý÷_ñ3æ{öNó ø8�9#�ö£æQøðæ§ô æFøè¸ó0ß �>áz��ÁêÛè¸ü�êìëX$l!]ë�êÛè�# æ��þæ{ø¸î�è¸üLêÛë�íwûFæFë�è¸æ{øðç ÷_øðóþú�ë���èðü�æ��Gxc�^yB�Auc�zxÀû �ì÷ ç¸ç��7Þ�è ó��0æFøýçQñ3æFè¸ü"ó"��ç!èðówÿ�øðæFÿL÷þø¸æ3èðü�æÛ��� èðú�ø¸æjó_ô=è¸üLæ è¸æ�ç}è�ùõè¸üLæjçéæFè¸ú�ÿ��ÿ�üX÷þç¸æÎó_ô]÷Àú�ëLê è8Cèðæ{çéè���#\èðó�øðú�ëç¸æ �þæ{øð÷��Øèðæ{çéè3ñ3æFè¸ü�ó"��ç3÷_ë���è¸ó¿û��ìæ{÷þë"�úLÿ�è¸æ{ñ3ÿXó øð÷þø¸î�ó��GF}æ{û³èýç ÷_ôõè¸æ{ø¸öK÷_ø���çjù è¸ü�æ,èðæ{÷_ø�ïó?ö=ëÎÿLüL÷þç¸æ���Á�¿æqæ�� è¸æ{ë��ïæ�� è¸ü�ê¼ç��Bxc�^yB�BuG�zx!û �ì÷ ç¸ç£÷_ë��Îû§øðæ{÷_è¸æ��Ñèðü�æ��X��s����GxG�^yB�Buc��x��åKü�æÛ�¼÷?è¸è¸æFø/ÿ�ø¸ó*� ê��ïæ{ç�÷,èðæ{çéè�¢�ïæ � æ �ìóþÿHæFø!ö=êÛè¸ü�÷�ÿL÷þû�� æ§èQû§ó ë�èð÷_êìë�æ{ø�#g�ìêìë�� êÛë�íÀç¸ú�ÿ�ÿHóþø¸è�#ñ3óþë�êÛè¸ó ø¸êìë�í ç¸ú�ÿ�ÿHóþø¸è=÷þë���÷_ë,æ � æFë�è]ñ ÷_ëL÷þíþæFø�kåKü�æ!æ�� è¸æ{ë��ïæ�B$l!]ëLê è#Lö=ü�ê¼ûýü�ö£æQûF÷��-��DZ � ¼ �ÁVcZaYQù êÛè>� çVç¸ÿHæ{û§ê-�Xû{÷'���Ûî�èð÷þê-�ìóþøðæ���è¸ójñÑæ{æ§è%è¸ü�æQëLæFæ��Lç]ó_ô èðü�æ��%ê����l�ô øð÷þñÑæ{öNó ø8����#ê¼ç=çéü�ó?ö=ë,êìë��Xíþú�øðæ ���Þ�ë èðü�æ=ô ó����ìó?ö=êÛë�í/ÿL÷_øý÷_í øð÷þÿ�üLç\öNæVö=ê-���Xæ��ì÷��Xó øð÷_è¸æ=ó ë3è}öNó/ç¸ÿHæ{û§ê-�XûKèðæ{çéè£û{÷þç¸æ{ç��½�¿æVö=ê��-�çéèð÷_ø¸è\ô ø¸ó ñd÷%ç¸êÛñ3ÿ��ìæKç¸ûFæFëL÷þø¸êìóVö=ü�ê¼ûýü/ö=ê����ïíþøý÷��ïúL÷��-�ìîW�Xæ£æ�� èðæFë��ïæ�Qèðóq÷%ñ3óþøðæ£ûFóþñ3ÿ��ìæ��

���

Page 14: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

Test+run(:TestResult)

TestCase+fName: +run(:TestResult)+runTest()+setUp()+tearDown()

TestResult

DiPSTestCase#pktContainer: PacketContainer#monitor: Monitor#eManager: EventManager#linker: Linker+getMonitor(): Monitor+forgetMonitor()+getEventManager(): EventManager+forgetEventManager()+getLinker(): Linker

TestSuite+run(:TestResult)+add(:Test)

PacketContainer

+addEntryBuffer(bufferName:String)+addExitBuffer(bufferName:String)+setExpectedPackets(bufferName:String,amount:int)+addPacket(bufferName:String,pkt:Packet)+getEntryBuffer(bufferName:String): Vector+getExitBuffer(bufferName:String): Vector+reset()

Monitor

+doWait()+setTimeout()+getTimeout(): int

EventManager

+registerEvent(eventType:String,p:Policy)+removeEvent(eventType:String)

Linker

+connect(unitEntryExit:String,bufferName:String)

SpecificTestCase

JUnit

DiPSUnit

×\êÛí ú�ø¸æ8��Üs!@� ��ñ3ó"�ïæ �bó_ôQ�%ê�� �"!Vë�ê è

ûF÷ çéæ,ö=ü�ê¼ûýü�êìëLû��ìú��ïæ�çÑÿ�ø¸æ�� êÛó úLç��ìî�ñ3æFë�è¸êìóþë�æ��ê¼çðçéú�æ�ç3÷þçÑû§óþëXû§ú�øðø¸æ{ëLû§î�÷þë���æ ��èðæFøðëL÷'�û§ó ñ3ñ/ú�ë�ê¼ûF÷_è¸êìóþëg�½�iæØö=ê���� ç¸ü�ó?ö�èðüL÷?è#��æ{ç¸ÿ�ê èðæ è¸üLæ5û§ó ë èðêÛë ú�ó úLçPí ø¸ó?öKèðü%êìëQû§ó ñÑÿ��Ûæ � êÛè}î�#è¸üLæ+�ïæ � æ �ìóþÿ�ñ3æFë�è=ó_ôkú�ë�êÛè=è¸æ�ç}èýç=ç}èý÷:îïçKú�ë�êÛô óþøðñò÷_ë���ç¸êÛñ3ÿ��ìæ�è¸ó3ú�ë��ïæFøýç}èý÷_ë��g�

!ÍÏ Ð " ßAÝ$#³á�ó¸Õ ÔAÕ£ßzÔI÷&%�ß°Õ

) çb÷_ë!æ���÷þñÑÿ��Ûæ&# �ìæ§èbúLçbö=ø¸êÛè¸æØ÷=ç¸êìñÑÿ��Ûæ ú�ëLê è<èðæ{çéè<ô óþøA÷_ë�Ú èðü�æFøðë�æ§è<üLæ{÷���æFø8�ûFóþëLçéè¸øðúLû³èðóþø�åAó]è¸üLêìçAÿ�ú�øðÿXó�çéæNöNæNêÛëLü�æFøðê èAô ø¸ó ñ'�X��s����GxG�^yB�Buc��x��X�iæNö=ê-��� íþó]ó*� æFø<æ�÷þûýüQóþôïè¸ü�æNè¸üLø¸æ{æçéè¸æFÿXç£ô óþú�ë��,êìë�æ �þæ{ø¸îÎè¸æ{çéè]ûF÷ çéæ\ÜØç¸æ§è¸úLÿg#ïè¸æ�ç}èðêÛëLí�#ïèðæ{÷_øÙ��ó?ö=ëg�åKü�æ�ô ó&�-�ìó?ö=êÛëLí/è}ö£ó ç}èðæFÿLç=ö=ê����±�ïæ��Xë�æ�è¸ü�æ!æ{ë�è¸êìø¸æ��zx�y)(B��¥>§�ÿ�üL÷þç¸æ!ó_ô\óþú�øKèðæ{çéè+Üs×\êÛøýç}èè¸üLêÛë�í�èðüL÷?è ë�æ{æ���ç è¸óW�XæÙ��óþë�æKê¼ç\è¸ó!êìë�ê èðêì÷��Ûê��Fæ£èðü�æ;sGuGv^wGx�yB�A�z¢ByGu`�>¢cx��=ö=êÛè¸üÑè¸ü�æ=ëLæ{û§æ�ç�çð÷_øðîO��úB�0æFøýç ��� êÛëXû§æ!ö£æz� ø¸æ�ÿ��¼÷_ë�ëLêÛë�í ó ë,è¸æ{çéè¸êìë�íÎ÷3ç¸êÛñ3ÿ��ìæ!ú�ë�êÛèVö=êÛè¸üÀóþë��ÛîÎó ë�æ!æFë�èðø¸î÷_ë��jó ë�æ�æ��ïê è#L÷_ë,æ>|�úL÷��Pë ú�ñ��HæFø=óþôQ��úG�Hæ{øðçKö=ê��-�Açéú"ØÎûFæ�� ) ç=ó ë�æ�ñ3êÛí ü è=ë�óþè¸ê¼û§æ�ô øðóþñè¸üLæ�ûFó"�ïæ��Hæ �ìó?ö�# èðü�æ�ÿL÷þû�� æ§èÑûFóþë�èð÷þêÛëLæFø3÷'���Ûó?ö]ç/è¸ó¹�ïî ëL÷_ñ3ê¼ûF÷��-�ìî�÷�����÷_ë î�ë ú�ñ��HæFøó_ô æ{ë èðø¸îc{?æ��ïê è���úG�Hæ{øðç ùdu°�A��ý°¢ByA�Aø��A��*+*Bxz�¡¥-,.,.,U§�/®u°�A��ý+0K��y°�°��*+*Bx��#¥-,+,+,�§'���SÚ5÷ ûýü�óþôè¸üLæ{ç¸æ��LúB�Hæ{øðç û{÷_ë¸�Xæ=í ê-� æFëÑ÷%ëX÷_ñ3æ£è¸ó�æFëL÷����ìæNèðü�æ��ïæ � æ �ìóþÿHæFø\è¸ó!ç¸æFÿL÷þøð÷_è¸æNè¸ü�æ{ñdô øðóþñóþëLæ�÷þë�ó_èðü�æFø�Þ�ë ÷ ç¸æ{ûFóþë�� çéè¸æ{ÿg#dö£æ�ûFø¸æ�÷?è¸æoèðü�æ�úLë�ê è è¸ó �XæÄèðæ{çéè¸æ��#�êìë�è¸üLêìç ûF÷ çéæ�÷þëýAy°þGx��°¢cx�y.1GxAu°�Bxz�B�B��¢X�^y°�°�`v^yB�z� ÷_ë��I�Ûêìë��yê è¿êÛë�è¸ó�è¸ü�æ�ô øð÷þñÑæ{öNó ø8�9�8åKü�æX�Ûêìë�� êÛëLíê¼çb�ïó ë�æÕ� î ñÑæ�÷_ëLçjó_ô/÷�øðæ>|�ú�æ�ç}èjè¸ó�èðü�æwô øý÷_ñ3æFö£óþøF��ô ó ø�÷þë�÷_ÿ�ÿ�øðóþÿLø¸ê¼÷?èðæ Æ`��¢BwGx��

� à

Page 15: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

ùt¤Gx�yBÆX�>¢BwGx��¡¥ yGxc�^yGx��)(A¢��>yK§'���ÎåKü�ê¼ç+�ìêìë��þæ{ø/ê¼çQúLç¸æ���èðó�û§ó ë�ë�æ�û³èÑç¸ÿHæ{û§ê-�Xû æ{ë�è¸øðîG{?æ��ïêÛèÿHóþêìë èýç=ó_ôk÷Ñú�ë�êÛèVö=ê èðüÀçéÿHæ{ûFê��XûJ��úG�Hæ{øðç=êìë,è¸ü�æ!ÿX÷þû��þæFèKûFóþë�èð÷þêÛëLæFø�) è/èðü�ê¼ç ÿHóþêìë�è�#Øç¸æ§èðú�ÿ�ê¼ç ûFóþñ3ÿ��ìæ§è¸æ&� ) ç/ó ë�æjñ3êìíþü�è ë�óþè¸ê¼û§æ&# öNæÎüX÷>�þæÎë�óþè î æ§èÑûFóþë"çéè¸øðúLû³èðæ��j÷þë î/èðæ{çéè��ÿL÷þû�� æ§èðç��kåKü�æ%øðæ{÷ çéó ë3ô óþøNè¸ü�ê¼ç£ö=ê-���q�Xæqæ��ïÿ��¼÷_êìë�æ��b�ì÷_è¸æ{ø��%� êìëLû§æ%è¸ü�æú�ë�êÛè]ö£æz� ø¸æ�÷'�HóþúïèKèðó3è¸æ{çéè�#���ó�æ�çKë�ó_è]ûFóþë�èð÷þêÛë�÷_ë î3è¸üLø¸æ�÷��ïêìë�í ÷_ë��,ç¸êÛëLûFæ�ê èÙ�ïó æ{ç=ç¸æFë��û§ó ë�è¸øðó��0æ � æFë�èðç�#ïë�ó3ñ3óþë�êÛè¸ó ø=óþø=æ � æFë�è=ñ ÷_ëL÷þíþæFø=÷þø¸æ�ë�æ{æ��ïæ���

�B�G��yGxGv^yGx°�I¯B�`�^� �zx�y�(A��¥>§¦y°þB�B�)2K�%ý+0Xv�xz�ByK����¢435+5 v^�Gx°u�yGxIy°þcx¬sGucv�wGx�yB�B��¢ByGu`��¢Gx��©uz¢G� u°�A� uB�A�Iy°þcx76A�8*+*Bx��X��Bw°yB�B�z¢ByBu`��¢cx��79ÿ¢Gx)2 sGucv^wGxzyB�B�z¢ByBu`��¢cx��#¥>§;:�Bw°yB�B�z¢ByBu`��¢cx��<, u°�A�°ýz¢By°�°ø°�°��*�*Bx���¥>=��cuGv�wGx�yX�)?zyB�+?@6BxB�°�@2;=z§�:�Bw°yB�B�z¢ByBu`��¢cx��<, u°�A�°ý�0K��y��A�8*+*°x��¡¥A=P�Gucv�wBx�yc��?)*°�B���B?zu)6c�z¯BxC=�§B:5+5 �°�Gx°u�yGxIy°þcx¿�A¢���y¬yG�D6GxÿyGxG�^yGx°�yGxG�^yGx°�)(A¢���yD9¬¢cx)2 ýAy°þGx��°¢cx�y.1GxAu°�Bxz�B�B�z¢`�^y°�°�Xv�yG���¡¥>§;:5+5 �c��¢Aw y�þcxI�A¢���y���¢ByB�¬y�þcxÿyBxc�^yK��¢A¤-E�*°�Gu��Kx)2c���Aw�c�>¢BwGx��F9 ¤Gx�yBÆX�>¢BwGx��¡¥ yGxc�^yGxz�)(B¢X��yX§�:�c�>¢BwGx���,�vz�z¢A¢cxGv^y¡¥>=�x^¢By°�°ø;=&/�=P�cuGv^wGx�yX�)?zyG�8?@6GxB�°�)2B=�§�:�c�>¢BwGx���,�vz�z¢A¢cxGv^y¡¥>=�x@0K��yB=B/�=P�cucv^wBx�yX��?�*��G���B?°u@6G��¯Ax&=�§;:

G

}]ó?öòè¸üL÷_èÎöNæÀüX÷>�þæ7�Ûêìë�� æ���óþú�ø ú�ëLê èjêìë�è¸ó¿è¸üLæÀè¸æ�ç}è ô øý÷_ñ3æFö£óþøF�9#Øö£æw÷_øðæ,øðæ{÷&�ïî�è¸óû§ó ëLçéè¸øðúLû³èNè¸æ{çéèKÿL÷þû�� æ§èðçNö=ü�ê¼ûýüÎö=ê��-�9�Hæqç¸æFë�è£è¸ü�øðóþú�í ü è¸üLæ%ú�ëLê èKêÛëjè¸ü�æ�yGxc��y¡¥>§qÿ�üL÷þç¸æ��C ë�æ£ñ3êÛí ü èØ÷þø¸í ú�æØèðüL÷?èØû§øðæ{÷_è¸êìë�í%è¸æ{çéè ÿL÷þû�� æ§èýçbê¼çkçéó ñÑæFè¸ü�êìë�íqè¸óJ�HæÉ��óþë�æKêìëQè¸üLæKç¸æ§èðú�ÿ"ÿ�üL÷ çéæ&� åKü�æ!÷_øðíþú�ñ3æFë�è=÷_í�÷_êìëLç}èKíþó æ�ç£÷ çNô ó����Ûó?ö]çJÜH�I�£V`ZaY5÷'���Ûó?ö]çK÷ è¸æ�ç}è=ÿ�øðóþí øð÷þñ3ñÑæ{øè¸óiíþøðóþú�ÿ�ç¸æ � æFøý÷'� èðæ{çéè ñ3æ§èðü�ó"��çQô ó ø ÷wç¸ÿHæ{û§ê-�Xûjú�ë�êÛè ö=êÛè¸ü�êìë�óþëLæjçéêìë�í&�ÛæJ�Bxc�^yB�BuG�zx��Þ�èq÷��ìç¸óÎç¸ÿXæ�û§ê-�Læ{çVè¸üL÷_è��Hó_è¸ü%��x�y�(B��¥P§ ÷_ë��.yGxAu��.�G�)2A¢�¥P§Q÷þø¸æ!æ �ïæ{û§ú�è¸æ��,ô ó øVæ�÷þûýü�è¸æ�ç}èñ3æ§èðü�ó"�3ÿ�ø¸æ�çéæ{ë�è5êÛë3èðü�æ=èðæ{çéèNûF÷ çéæ&�SÞ�ë3èðü�æVûF÷ çéæ=óþô��8Z � ¼ �£V`ZaYKù ö=ü�ê¼ûýü êìçN÷_ë æ�� èðæFëLç¸êÛó ëó_ôs$l!]ë�êÛè���#Hè¸ü�æ/è}î�ÿLêìû{÷'�S��ê~�0æFøðæFëLûFæ+�Hæ§è}ö£æFæFëÀæ�÷þûýü�èðæ{çéèVñ3æ§è¸üLó³�Ò�Ûêìæ{çVêÛëÀèðü�æQô ÷ û³è]èðüL÷?è�ïê��Hæ{ø¸æ{ë�è=è¸æ{çéè]ÿL÷ û��þæ§èýçK÷_øðæ�ç¸æFë�èKè¸üLø¸ó ú�íþü�è¸ü�æ!úLë�ê è�åAó øðæ{ç¸ú�ñ3æ�óþú�øKæ���÷þñÑÿ��Ûæ&Ük÷_ôõè¸æ{øNèðü�æ�è¸æ�ç}è=ÿL÷ û��þæFèðçNüL÷>�þæJ�Xæ{æFë�û§øðæ{÷_è¸æ��g#ïöNæ�÷����jè¸üLæFñè¸ói÷_ë�æFë�è¸øðîÕ�LúB�Hæ{ø/óþô£èðü�æ®�BwAyB�A�z¢ByGu`�>¢cx��9�O� êÛëXû§æÎö£æ ö=ê-���5ëLó_è��Hæb�ïæ�÷'�ìêÛë�íÀö=êÛè¸ü�÷ñ/ú�� èðê��è¸ü�øðæ{÷&�ïæ��¿ú�ëLê è#\÷��-� èðüL÷?èQê¼ç��ìæ§ôõèQèðóÒ�ïóÀê¼çQçéæ{ë��iè¸ü�æjÿL÷þû�� æ§è�è¸ü�øðóþúLíþüiè¸ü�æÎúLë�ê è� îD"XúLçéüLêÛë�í/è¸ü�æ%æFë�è¸øðî¸��úB�0æFø�ùK*G���X��þBý°¢By°�Aø°�A��*.*Bx��¡¥-,�,+,U§*���q×\êìëL÷'���ìî�# öNæ%ûýü�æ{û��3çéó ñ3æ÷þçðç¸æFø¸è¸êìóþëLç£óþë�è¸üLæ!óþúïèðÿ�úïè/ùduc�A�zx��°yAý8L��cuA�G�½¥-,+,.,�§'���

�A�+6`�c��v%¯G�`�^�¬yGxc��y�,+,+,+,M35.5 v^�BxAu�yGx¬u¬yGxc�^y¬�cuGv^wGx�ysBucv^wGx�y¬yBxc�^yAsAw°yF9ÿ¢cx@2 sBucv^wGx�y#¥-,+,+,+,.,�§�:5.5 u°�°����y yG�¬y°þcxÿuz¢³��¢A�°�ByN6A��*+*Ax�� �.*ÿy°þcxI�cucv^wBx�y vz�z¢ByBu`��¢cx���AwAyB�B�z¢AyGu`��¢cxz��, u°�A�zsGuGv�wGxzy¡¥A=P�cuBv^wBx�y`�)?zyA�8?O6cxA���)2B=B/Å�BwAyK§�:5.5 *G�^�K��þÿy°þcx xz¢By°�AøN6A��*+*Ax��F9���xz¢G�¿�cucv^wBx�y¬y°þB�G���B¤°þÿy°þcxI�A¢K��y

� �

Page 16: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

�AwAyB�B�z¢AyGu`��¢cxz��,P*G���`��þAý�¢By°�Aøz�A��*�*Bxz�¡¥Q=��cuBv^wBx�y`�)?zyA�8?@6GxA���)2B=�§�:5.5 v�þGxcv^w uc�A��x��AyK����¢K��z¢ y°þcx �z�By��A�ByuG�A�zx��Ay°ý8L��cuB�B�½¥N¤Gx�y�ý+0X��y°�°��*�*Bx���¥>=��cuGv�wGx�yX�)?�*��B���C?°u)6G�z¯Bx&=�§R,U�A�>SAx�¥>§B/�T�§�:uG�A�zx��Ay#¥-,+,+,+,U§�:

G) ôõèðæFøÀèðü�æ¿è¸æ�ç}èwüL÷ çB�Lë�ê¼çéüLæ���#�ö£æz� ø¸æ´�ÛæFôõèwö=ê èðüyè¸ü�æ¦yGxAu��.�G�)2A¢�¥P§iÿ�üL÷ çéæ&�ÖÞ�ë�è¸üLêìçûF÷ çéæ&#\è¸ü�ê¼çQê¼ç ÷ ç/ç¸êÛñ3ÿ��ìæ�÷ ç!øðæFñ3ó*� êÛë�íw÷��-�Nè¸æ�ç}èÑÿL÷þû�� æ§èýç�ô ø¸ó ñ�èðü�æjÿX÷þû��þæFè û§ó ë�èð÷_êìë�æ{øùa�BwAyB�B��¢ByGu`��¢Gx���,i�GxG�zxzy¡¥�§'����B�G��yGxGv^yGx°�I¯B�`�^�¬yGxAu��.�G�)2A¢�¥P§­y°þB�B�)2K�ý+0Xvzx��ByK���z¢F3

5.5 �GxG�zx�y¬y°þcx¿�cucv�wGx�y vz�z¢AyGu`��¢cxz��AwAyB�B�z¢AyGu`��¢cxz��,i�Gxc�^x�y#¥P§�:

G

!ÍÏdÛ " ÷KÒ<#³á�ó¸Õ�Ö ÔAÕ£ßzÔ÷&%#ß°Õ

�¿æ%ö=ê��-�Hë�ó?ö�ûFóþñ3ÿ��ìêìû{÷?è¸æ%óþú�ø£æ���÷þñÑÿ��Ûæ���î3æ{ñ��Hæ����ïêìë�í/è¸ü�æqü�æ{÷&�ïæFø8�û§óþëXç}èðø¸úLû§è¸ó øØêÛë�èðó÷��¼÷_øðíþæ{ø ú�ë�êÛè�Ü\è¸ü�æ%û§óþñ3ÿ��ìæ§èðæ@ýAy°þcxz�°¢cx�yBÆAu�øGx��Ñù ö=ü�ê¼ûýü êìçN÷_í ÷þêÛë ÷+�%ê�� �3ú�ëLê è����%×\êÛøýç}èó_ôK÷'���y#<è¸ü�ê¼ç�Ú èðü�æFøðë�æ§èU�b÷:î æFøqüL÷þçqè}ö=ê¼û§æ3÷þç�ñ ÷_ë îÀæ{ë èðø¸êìæ{ç!÷þë��wæ �ïê èýç ù óþëLæÑæ{ë�è¸øðîG{?æ��ïêÛèè¸ó?öK÷_ø���çqèðü�æb�¼÷:îþæ{øðç!÷��Xó*� æ3÷þë���óþëLæÎæFë�è¸øðîc{:æ � êÛè!è¸ó?öK÷_ø���çqèðü�æÎë�æFè}öNó ø8�¿ûF÷_ø��<ùCçF�J�Hæ��ìó?ö���� � êìñÑê��¼÷_ø3è¸ó�èðü�æÀçéêìñ3ÿ��ìæ�è¸æ{çéèjûF÷ çéæ&#N÷��-�=æ{ë èðø¸êìæ{ç ÷þë���æ��ïê èýçÎ÷_øðæ�÷����ïæ��è¸ó¿è¸ü�æsGucv�wGx�yB�B��¢ByGu`��¢Gx��Q÷þë���è¸ü�æ!ú�ëLê è]ê¼ç��ìêÛë�� æ��jè¸óO�%ê����"!]ëLê è��ÁüL÷_èQø¸æ�÷'���Ûî�ûFóþñ3ÿ��ìêìû{÷?èðæ{çqè¸æ�ç}èðêÛëLíw÷_øðæ èðü�æ ô ó&�-�ìó?ö=êÛëLí�è}ö£ó�ÿ�øðó����ìæFñ ç\Ü�×\êìøðçéèQó_ô=÷'���y#Ú èðü�æFøðë�æFèÑñ3êìíþü�èÑû{÷'���£êìë�èðü�æ�ü�æ �ìÿ�óþôVæ�� èðæFøðëL÷'�£ú�ë�êÛèðç è¸ó¿ñ ÷_ÿ�ô óþøÑæ���÷_ñ3ÿ��ìæ�÷þëÃÞ��%÷����ïø¸æ�ç¸ç\èðóQ÷_ëÛÚ èðü�æFøðë�æFè��÷����ïøðæ{çðç��gÞ�ë3è¸ü�æ=ÿLø¸æ���êìóþúXçkæ���÷_ñ3ÿ��ìæ�#þè¸ü�æ=èðæ{çéè5ûF÷ çéæKÿ�øðó*� ê��ïæ�è¸üLæ�Ú èðü�æFøðë�æFèNü�æ�÷��ïæ{øNû§ó ëLçéè¸øðúLû³èðóþø5úLë�ê èKö=êÛè¸üj÷ çéó ú�øðûFæV÷_ë�� ÷��ïæ�ç}èðêÛëL÷_è¸êìóþëbÚØè¸ü�æ{ø¸ëLæ§è�÷����ïø¸æ�ç¸ç¸æ{ç�� âVó?öNæ��þæFø#=êìë�ø¸æ�÷'�J�ÛêÛô æ ÚØè¸ü�æ{ø¸ëLæ§è�ö=ê�����ûFóþë�èð÷ û³è�÷þë�ó_èðü�æFø,ÿ�øðó_èðó ûFó��Ñùõô óþøæ���÷þñÑÿ��Ûæ ) ���ïøðæ{çðç � æ�çéó&�ÛúïèðêÛó ëÄ�Øøðó_èðó ûFó��]ù )@� ������èðóÕ�ïóÀèðü�ê¼ç �Ò� êìëLû§æ�óþú�øQè¸æ{çéè û{÷þç¸æô óïû§úLç¸æ{çqó ëwè¸æ�ç}èðêÛëLíjèðü�æÑô ú�ëLû³èðêÛó ëL÷'�ìêÛè}îÀó_ô�ÚØè¸ü�æ{ø¸ëLæ§è�óþë��ìî�#Pö£æ/ë�æ{æ���è¸ó,ø¸æ{ÿ��¼÷þû§æ )@� �ö=êÛè¸ü�÷'b�YdJc� � ) çQñÑæ{ë�è¸êìóþë�æ�iêìë�çéæ�û³èðêÛó ë¦��#Aç¸úLûýü�û§ó ë èðø¸ó&�Øû§ó ñÑñ ú�ë�ê¼ûF÷_è¸êìóþë¿êÛëÆ�%ê����óïûFûFú�øðçW� îwñ3æ�÷_ëLç�óþô£æ��þæFë�èýç�êÛë¹�Vê�� �iö=ü�ê¼ûýü�÷_øðæ øðæFí êìçéè¸æ{ø¸æ�wêìë¿è¸ü�æ®ýA¯Gxz¢AyAåGuz¢cuz¤Gx��è¸ó íþæFè¸ü�æ{ø=ö=ê èðü�÷ÑÿHó��ìêìûFîJUG�����KuA�)V+WAs+WBx.L��cxc��y+WGx^�`��øAsB�A�c�zv^ø�èðüL÷?èV÷ û³èðç=÷ ç=÷3ç}èðú��g�åKü�æ�çéæ�û§ó ë���ÿ�øðó����ìæFñ èðó´�ïæ�÷'�£ö=ê èðü�ê¼ç/è¸ü�æ,ÿ�øðæ{ç¸æFëLûFæjó_ôqû§óþëXû§ú�øðø¸æ{ëLû§î¿ö=êÛè¸ü�êìëNÚØè¸ü"æFøðë�æFè��ÎåKü�æ�ýAy°þGx��°¢cx�yAÆBu�øGx��jû§ó ë èý÷_êìëLçqè¸üLø¸æ�÷��ïêìë�í,è¸óÀ÷>�þó ê���ê è!ô øðóþñÇ�Xæ{êÛë�í0���Ûóïû��þæ�ö=ü�ê��Ûæ£çéó ñ3æ,Þ��%�÷����ïø¸æ�ç¸ç<êìç±�Xæ{êÛë�íqøðæ{ç¸ó����þæ��%èðó%÷_ë+ÚØè¸ü�æ{ø¸ëLæ§è��÷����ïø¸æ�ç¸ç±� î )�� �u�×Lóþø\ÿXæ{ø�ô óþøðñ ÷_ëLûFæ3ø¸æ�÷þç¸óþëLç�#gÚ èðü�æFøðë�æ§è!ñ úLç}è+�HæÎ÷'���Ûæ3èðó,ÿLø¸óïû§æ�ç¸ç�ÿX÷þû��þæFèðçqö=ü�ê��Ûæ öK÷_êÛè¸êìë�í,ô óþø÷_ë )�� ��øðæFÿ��Ûî&�Áâ£æ{û{÷_úLç¸æ]óþôPè¸ü�ê¼çNûFóþëLûFú�øðø¸æ{ëLû§î&#_öNæq÷_øðæ=ó����ìêìíþæ��Ñèðó/úLç¸æ=èðü�æ��%ê����"!]ëLê èñ3óþë�êÛè¸ó øQùt¤Gx�yAåB�z¢���yG�z�¡¥>§'���Þ�ôwö£æ)û§ó ñÑÿX÷_øðæÁè¸ü�æ �zxzy°�A��¥>§�û§ó"�ïæ��Hæ �ìó?ö�ö=ê èðü è¸üLæ�ç¸êÛñ3ÿ��ìæ�èðæ{çéè ûF÷ çéæÁóþôÀè¸ü�æýAy°þGx��°¢cx�y.1GxAu°�Bxz�B�B��¢X�^y°�°�`v^yB�z� úLë�ê è#Aö£æ çéæ{æÑè}öNó0�ïê��Hæ{ø¸æ{ëLû§æ�ç Üqèðü�æ ø¸æ{íþê¼ç}èðøð÷_è¸êìóþëwóþô÷_ë�æ � æFë�è£÷þë��j÷ÅsG�A�c�°v^øÑ÷_èNèðü�æ�ý°¯Gxz¢ByAåBuz¢cu�¤Gxz� ÷_ë��3èðü�æ�ø¸æ�|�ú�æ{çéè5èðó úLç¸æ�÷DåG�z¢���yG���9��A�+6`�c��v%¯G�`�^� �zx�y)(B��¥>§¦y°þA�G�)2K�%ý+0`vzxz�ByK�^�z¢43

� �

Page 17: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

5+5 v^�Gx°u�yGxIy°þcx¬sGucv�wGx�yB�B��¢ByGu`��¢Gx��©uz¢G� u°�A� uB�A�Iy°þcx76A�8*+*Bx��X��Bw°yB�B�z¢ByBu`��¢cx��79ÿ¢Gx)2 sGucv^wGxzyB�B�z¢ByBu`��¢cx��#¥>§;:�Bw°yB�B�z¢ByBu`��¢cx��<, u°�A�°ýz¢By°�°ø°�°��*�*Bx���¥>=��cuGv�wGx�yX�)?zyB�+?@6BxB�°�@2;=z§�:�Bw°yB�B�z¢ByBu`��¢cx��<, u°�A�°ýz¢By°�°ø°�°��*�*Bx���¥>=��cuGv�wGx�yX�)?zyB�+?°uO6c��¯BxC=z§�:�Bw°yB�B�z¢ByBu`��¢cx��<, u°�A�°ý�0K��y��A�8*+*°x��¡¥A=P�Gucv�wBx�yc��?)*°�B���B?zu)6c�z¯BxC=�§B:�Bw°yB�B�z¢ByBu`��¢cx��<, u°�A�°ý�0K��y��A�8*+*°x��¡¥A=P�Gucv�wBx�yc��?)*°�B���B?>6cxB���@2;=�§B:5+5 �°�Gx°u�yGxIy°þcx¿�A¢���y¬yG�D6GxÿyGxG�^yGx°�yGxG�^yGx°�)(A¢���yD9¬¢cx)2 ýAy°þGx��°¢cx�yAÆBu�øGx��#¥>§�:5+5 �Gx�¤X�°�^yGx��¬uz¢ xz¯Gxz¢ByÿyAø°�Gx u�¢G�¿�c�B�c�°v�øN2���y°þ y°þcxÿx�¯Bxz¢By©�Kuz¢cuz¤Gx��¤GxzyAýA¯Gxz¢AyAåGuz¢cuz¤Gx��¡¥>§�,i�Bxz¤K���^yAx��Aý�¯Gx�¢By#¥X=YV+WAs+WGx�L��cxc�^y°ýA¯Gxz¢°y;=B/

¢Gx)2ZUG�����KuA�)V+WAs+WBx.L��cxc��y.WGxz�G�zø°sB�B�G�°v�ø¡¥P§§�:5+5 uc�^wZ*B�z� u�K�z¢���yG���¬yG�¬�BxAuA�72K��y°þ�vz�z¢Kv��B�A�Gxz¢Xv^øåG��¢���yG����X�z¢���yG�z�F9 ¤GxzyAåG�z¢���yG���¡¥>§;:5+5 �c��¢Aw y�þcxI�A¢���y���¢ByB�¬y�þcxÿyBxc�^yK��¢A¤-E�*°�Gu��Kx)2c���Aw�c�>¢BwGx��F9 ¤Gx�yBÆX�>¢BwGx��¡¥ yGxc�^yGxz�)(B¢X��yX§�:�c�>¢BwGx���,�vz�z¢A¢cxGv^y¡¥>=[(°�A�Gxz�Aý�¢By��Aø;=C/\=��cucv^wGxzyX��?zyG�+?@6cxB�°�@2;=�§B:�c�>¢BwGx���,�vz�z¢A¢cxGv^y¡¥>=�Æ°�)2Gxz�Aý.0K�>y;=B/�=P�cuGv^wGx�yX�)?�*°�G���&?°u)6G�z¯Bx&=�§�:�c�>¢BwGx���,�vz�z¢A¢cxGv^y¡¥>=�Æ°�)2Gxz�Aý�¢By��Aø;=C/\=��cucv^wGxzyX��?zyG�+?°u)6c��¯BxC=�§B:�c�>¢BwGx���,�vz�z¢A¢cxGv^y¡¥>=[(°�A�Gxz�Aý.0K�>y;=B/�=P�cuGv^wGx�yX�)?�*°�G���&?@6cxA���@2�=�§�:

G

Þ�ô<ö£æ]èð÷��þæV÷��Ûó ó&�Ñ÷_è5è¸üLæq÷ û³è¸úX÷'�cyGxc�^y¡¥�,+,+,�§Îÿ�üL÷ çéæ&# ê è£êìç£û��ìæ{÷þøØè¸üX÷?èNêÛèKêìçNÿ�øý÷þû³èðêìû{÷'���Ûîê��ïæFë�è¸ê¼ûF÷��Pè¸óÎè¸ü�æ!èðæ{çéèVñ3æ§èðü�ó"�,ô óþø=èðü�æ8ýAy°þGx��°¢cx�y.1GxAu°�Bxz�B�A�z¢X��yA�z�Kv�yG�z�/ú�ë�êÛè^]&���q÷?èý÷êìë è¸ü�æ�èðæ{çéèjÿL÷þû�� æ§èÎñ3êìíþü�èO�Xæ �ïê~�0æFøðæFë�è#��LúïèÎè¸üLêìçjêìç êìøðø¸æ��Ûæ��:÷þë�èÑô ó ø è¸üLæwæ���÷_ñ3ÿ��ìæ��� êìëLû§æ%è¸üLæ%ñ3óþëLê èðóþø£ë�æFæ��çØèðó4� ë�ó?ö èðü�æqë�úLñ��HæFø£ó_ôbæ � ÿHæ{û§è¸æ�ÎÿL÷ û��þæ§èýçØêìëjæ�÷þûýüÎóþô<è¸ü�ææ��ïêÛè���úB�0æFøýç�#�öNæ!üX÷>�þæ�è¸óÎç¸ÿHæ{û§êÛô î�è¸ü�ê¼çÙ� î�û{÷'���Ûêìë�í!�zx�yAý+0��cxcv^yGx��°sGucv^wAx�yX��¥-,.,+,U§l�£â£îûF÷��-�ìêìë�íwèðü�æ��K�z¢���yG����,¸�A�)_cu`��y#¥>§Ññ3æ§è¸üLó³�g# è¸ü�æ�û§úLø¸øðæFë�èQèðü�ø¸æ�÷���ù è¸ü�æ,óþëLæjêìë�ö=ü�ê¼ûýüè¸üLæ]è¸æ�ç}èNêìç5ø¸ú�ëLë�êÛëLíl� ê¼ç5ç¸úLç¸ÿXæ{ë��ïæ�3ú�ë�è¸ê��H÷��-�Xæ��ïÿXæ�û³èðæ�� ÿL÷ û��þæFèðç üL÷>� æ]÷_øðø¸ê��þæ�ÑóþøØú�ë�èðê-�÷ è¸êìñ3æFóþú�è]üL÷þçKóïûFûFú�øðø¸æ�iù ö=ü�êìûýüLæ �þæ{øKüL÷_ÿ�ÿHæFëXçÉ�Løýç}è����

�A�+6`�c��v%¯G�`�^�¬yGxc��y�,+,+,+,M35.5 v^�BxAu�yGx¬u¬yGxc�^y¬�cuGv^wGx�ysBucv^wGx�y¬yBxc�^yAsAw°yF9ÿ¢cx@2 sBucv^wGx�y#¥-,+,+,+,.,�§�:5.5 u°�°����y yG�¬y°þcxÿuz¢³��¢A�°�ByN6A��*+*Ax�� �.*ÿy°þcxI�cucv^wBx�y vz�z¢ByBu`��¢cx���AwAyB�B�z¢AyGu`��¢cxz��, u°�A�zsGuGv�wGxzy¡¥A=P�cuBv^wBx�y`�)?zyA�8?O6cxA���)2B=B/Å�BwAyK§�:�AwAyB�B�z¢AyGu`��¢cxz��,U�zx�y�ý+0��Gxcv�yGxz�°sGuBv^wBx�y`�´¥>=��cuGv^wBxzyX�@?�*°�B���&?°uO6c��¯BxC=&/\T�§�:5.5 *G�^�K��þÿy°þcx xz¢By°�AøN6A��*+*Ax��F9���xz¢G�¿�cucv^wBx�y¬y°þB�G���B¤°þÿy°þcxI�A¢K��y�AwAyB�B�z¢AyGu`��¢cxz��,P*G���`��þAý�¢By°�Aøz�A��*�*Bxz�¡¥Q=��cuBv^wBx�y`�)?zyA�8?@6GxA���)2B=�§�:

`[a ñ�ê�î�ïçnænè%ù�î�çyèuê�î�ù�÷>óÁèih�ðnè�æ¶ðnæ±ê�é�ìWë'è%í>è¢ö*ì>è�í°j

� �

Page 18: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

5.5 ¤G�¿yG� ���°x°xz��X�z¢���yG�z��,¸�B�)_Gu`��y¡¥>§B:5.5 v�þGxcv^w uc�A��x��AyK����¢K��z¢ y°þcx �z�By��A�ByuG�A�zx��Ay°ý8L��cuB�B�½¥N¤Gx�y�ý+0X��y°�°��*�*Bx���¥>=��cuGv�wGx�yX�)?�*��B���C?°u)6G�z¯Bx&=�§R,U�A�>SAx�¥>§B/�T�§�:uG�A�zx��Ay#¥-,+,+,+,U§�:

G

) �¼ç¸ó�è¸ü�æ'yGx°u��+�G�)2°¢�¥>§�ÿ�üL÷ çéæÀê¼ç�ç¸êìñÑê��¼÷_øjûFóþñ3ÿL÷_øðæ���èðó�è¸ü�æ�è¸æ�÷_øb�ïó?ö=ëÁÿLüL÷þç¸æÀô óþøè¸üLæ ç¸êÛñ3ÿ��ìæQèðæ{çéèqûF÷ çéæ&�]åKü�æ/ó ë��ìî,÷&���ïêÛè¸êìóþëLç%÷_øðæ!è¸ü�æÑûF÷��-�bè¸óJ*B���A¤GxzyAåG�z¢���yG���¡¥>§q÷þë��*B���°¤Gx�yAýA¯Bxz¢ByAåGu�¢cu�¤Bxz�¡¥P§³�HåKü�æJ�Løýçéè£ñ3æ§èðü�ó"��û{÷'���0êÛëïô ó ø¸ñ ç£èðü�æqô øð÷þñÑæ{öNó ø8� è¸üX÷?èKè¸ü�æåG�z¢K��yG���wê¼ç/ë�óÕ�Ûó ë�íþæ{ø/ë�æ{æ��ïæ����åKü�æ,çéæ�û§óþë���ûF÷'���Nè¸æ ���¼ç!è¸üLæjô øý÷_ñ3æFö£óþøF�wö£æ�÷þø¸æÎëLó�ìóþë�í æFøKêÛë�èðæFøðæ{çéè¸æ��,êìëjèðü�æ!ÿ�øðæ � êìóþúLç8�Ûîjø¸æ{íþê¼ç}èðæFøðæ��Îæ��þæ{ë èýç �

�B�G��yGxGv^yGx°�I¯B�`�^�¬yGxAu��.�G�)2A¢�¥P§­y°þB�B�)2K�ý+0Xvzx��ByK���z¢F35.5 �GxG�zx�y¬y°þcx¿�cucv�wGx�y vz�z¢AyGu`��¢cxz��AwAyB�B�z¢AyGu`��¢cxz��,i�Gxc�^x�y#¥P§�:*A���A¤Gx�y°åG�z¢���yB���¡¥>§�:*A���A¤Gx�y°ýA¯Gxz¢By°åGuz¢cu�¤Ax��#¥P§�:

G

åKü�ê¼çPæ���÷þñÑÿ��ÛæØç¸ü�ó?ö]ç0èðüL÷?èA÷£èðæ{çéèbûF÷ çéæs�ïó æ�çéë´� èbë�æ{æ��%è¸ó��Xæ�û§óþñ3æ êìëLû§øðæ{÷ çéêìë�í&�ÛîVûFóþñ3ÿ��ìæ��ô óþøNû§óþñ3ÿ��ìæ��Ñú�ë�êÛèðç��b�8Z � ¼ �£V`ZaY\÷��-�ìó?ö]ç\è¸ó���æ{÷'�Lö=ê èðüÑê¼çðçéú�æ�çØç¸úLûýü ÷þçØûFóþëLûFú�ø¸øðæFëXû§î/÷þë��æ�� èðæFøðëL÷'�ØûFóþñ3ñ/ú�ëLêìû{÷?è¸êìóþë±#Pö=ü�ê-�ìæÎçéè¸ê��-�ØÿLø¸ó*� ê��ïêÛëLí,÷�è¸æ�ç}è+�ïæ��þæ��Ûó ÿXæ{ø!ö=ê èðü¿÷,ú�ë�êÛô óþøðñöK÷:î ó_ô\è¸æ{çéè¸êìë�íÎ÷þë��b� æFæ{ÿ�êÛëLíÑêÛèVç¸êÛñ3ÿ��ìæQ÷_ë���êìë èðú�êÛè¸ê��þæ�è¸ó3ö=øðê èðæQ÷ è¸æ{çéè��

c î Ï4Ì7Ó¾Ê�Ñ.ÂQÔ Ï4Ì

åKü�æ,�%ê�� �qô øý÷_ñ3æFö£óþøF�=ô ÷ û§ê��ÛêÛèð÷_è¸æ{çbæ��ïæ{ûFúïè¸êìë�í=èðæ{çéèðç±�Xæ�ûF÷_úXçéæØóþôïê èýçPô óþøýû§æ��ñ3ó³��ú��ì÷þø¸ê��Fæ�÷_øýûýü�êÛè¸æ�û³è¸úLø¸æ ö=êÛè¸üQêìë��ïæ{ÿXæ{ë��ïæ{ë èkú�ë�êÛèðç��AåKüLæN÷_ëLóþë î ñÑó úLç<ûFóþñ3ñ/ú�ëLêìû{÷?è¸êìóþë!ñ3ó"�ïæ���÷þë��è¸üLæ æ��þæFë�èW�L÷þç¸æ���û§óþë�èðø¸ó&�½"Ló?ö�÷'���Ûó?ö]ç]è¸ó�è¸æ{çéè!ú�ë�êÛèðçqêìë�ê¼çéó&�ì÷_è¸êìóþëwö=êÛè¸ü�ó úïèQûýüL÷_ëLíþêìë�íú�ë�êÛèVû§ó"�ïæ&�ØåKü�ê¼ç=êìçKæ�ç¸ç¸æFë�èðêì÷��PêÛëÀ÷ è¸æ�ç}è8y�Løýçéè���æ �þæ��Ûó ÿ�ñ3æFë�è]ç}èðøð÷_è¸æ{íþî��) ëLó_è¸üLæFøN÷&�"�?÷_ë�èð÷þíþæ=ê¼ç èðü�æVÿHó çðçéê���ê��ÛêÛè}î è¸ó/êìë�è¸øðó"�ïúLû§æVñ3÷þë�êìÿ�ú��¼÷?è¸êìë�í!èðæ{çéè5ú�ë�êÛèðçNêìë è¸ü�æç¸î çéè¸æ{ñ7� åAó¿è¸æ{çéèÎ÷¿ë�æ§è}ö£óþøF��ÿ�øðó_è¸óïûFó��n#Øê èÎê¼ç3æ{çðç¸æFë�è¸ê¼÷'�£è¸ó¿èðæ{çéèÎü�ó?ö è¸üLêìç ÿLø¸óþè¸óïû§ó&��HæFüL÷>� æ{çÎêìëÁèðü�æ¿ûFóþë�è¸æ � è�ó_ôQëLæ§è}ö£óþøF��ê¼ç¸ç¸ú�æ{ç,ç¸úLûýü)÷þçÎè¸øý÷_ëLç¸ñ3êìçðç¸êÛó ë �ïæ �¼÷:î�#=ÿL÷ û��þæFè�ìó çðç #%óþø7��÷?èý÷�ûFóþøðø¸ú�ÿ�è¸êìóþëg�D×�ó ø�æ���÷_ñ3ÿ��ìæ�#q÷�èðæ{çéè�ô ó ø�ô øý÷_í ñ3æFë�èð÷_è¸êìóþëX{?ø¸æ�÷þçðçéæ{ñ����ìîô ú�ëLû§è¸êìóþëL÷��ÛêÛè}î êÛëÁèðü�æÒÞ��D�¼÷:îþæ{ø êìç�÷'���ìæÀèðó�êÛë�èðø¸ó"�ïúLûFæ�ç¸ÿXæ�û§ê-�XûÀñ ÷_ë�êìÿ�ú��¼÷?èðóþøýç�WPO�\�bPMYi\�è¸üLæÀô øð÷þíþñ3æFë�èðæFøj÷þë��`{:ó øÎøðæ{÷þçðç¸æFñ����Ûî�ú�ë�êÛèðç�ù ô óþø,êÛëXç}èý÷_ëLûFæ�÷�ñ ÷_ë�êìÿ�ú��¼÷?èðóþø èðüL÷?èøðæFñ3ó*�þæ�çVó ë�æ3ó_ô5èðü�æ3ô øý÷_íþñ3æ{ë èýçF���ÑåKüLæÑêìë�è¸æ{íþøý÷?è¸êìóþëió_ô£ñ3÷þë�êìÿ�ú��¼÷?è¸ó ø�ú�ë�êÛèðç!êìë�è¸ó,è¸ü�æç¸î çéè¸æ{ñòçéè¸øðúLû³èðú�ø¸æ�ê¼çKñ/úLûýü�ñ3óþøðæqêìë�è¸ú�êÛè¸ê��þæ!÷þë��b�ìóþí êìû{÷'�Hè¸üX÷_ë,ñ3÷þë�êìÿ�ú��¼÷?è¸êìë�íÑè¸üLæ!øð÷:ö��÷_èð÷Å"Ló?ö)ó ëjèðü�æ!ë�æFè}öNó ø8�9�Ú5ç¸ÿHæ{û§ê¼÷'���ìî3ô óþøKñ3óþøðæqûFóþñ3ÿ��ìæ��jç¸ó_ôõè}öK÷_øðæ%ç¸î çéè¸æ{ñ ç #ïç¸úLûýü�÷ çNÿLø¸óþè¸óïû§ó&�0çéèð÷ û��ïç #ïç¸ú�ÿ�ÿHóþø¸èô óþø,û§ó ëLû§ú�øðøðæFëLûFî�ê¼çÎë�æ{æ��ïæ��� C ë�æió_ô�è¸ü�æ �þæ{î�æ��Ûæ{ñÑæ{ë�èðçÎêìë��%ê���� ê¼ç è¸ó çéæ{ÿL÷_øý÷?èðæô ú�ëLû§è¸êìóþëL÷��HûFó"�ïæ]ô øðóþñÄù ëLóþë"�ô ú�ëLû§è¸êìóþëL÷����Nû§ó ëLû§ú�øðøðæFëLûFî û§ó"�ïæ&� åKü�êìç£÷'���ìó?ö]ç è¸ó4�Ûóïû{÷'�ìê��{æ

� $

Page 19: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

÷þû§è¸ê��þæ/ù è¸ü�øðæ{÷&�ïæ���� çéÿHó_èýçØêìë è¸üLæ%÷_øýûýü�êÛè¸æ�û³è¸úLø¸æ]÷þë��3æ � æFë3è¸ó/ø¸æ{ÿ��ì÷ û§æV÷þëÎ÷þç¸î ëLûýü�øðóþë�ó úLç÷_øýûýü�êÛè¸æ�û³è¸úLø¸æqêÛë�èðóÎ÷Ñç¸î ëLûýü�øðóþë�ó úLç£óþë�æ!÷þë��b� ê¼û§æ�� æFøýç¸÷���%ê����"!]ë�êÛèØçéúLÿ�ÿXó øéèýç<èðóVú�ëLê ô ó ø¸ñ\�ìî�è¸æ{çéèAÿLø¸óþè¸óïû§ó&��çéèð÷ û�� ç<ô ø¸ó ñ �Lë�æ£íþøý÷_êìë�æ��!úLë�ê èu�ìæ �þæ��y#è¸ó�ûFóþñ3ÿHó ç¸æ���ú�ë�êÛèO�Ûæ��þæ �Qù êy� æ���è¸æ{çéè¸êìë�íÆ�¼÷:îþæ{øðç êÛë ê¼çéó&�ì÷_è¸êìóþë��Ñ÷þë�� æ �þæ{ë ÷ ûFûFæFÿïèý÷_ëLûFæ�ìæ �þæ�� ùõè¸æ�ç}èðêÛëLí3÷3ûFóþñ3ÿ��ìæ§è¸æqÿ�øðó_èðó ûFó��Pçéèð÷þû������uâVó?öNæ��þæ{ø�#³�ïæ � æ �ìóþÿ�êìë�í è¸æ�ç}è]ûF÷ çéæ�ç5ê¼ç=çéè¸ê��-�êìë èðú�êÛè¸ê��þæ�÷_ë���çéêìñ3ÿ��Ûæ&� C ú�ø£æ��ïÿXæ{ø¸êìæFëXû§æqêìçNè¸üX÷?è��Vê�� �"!Vë�êÛè!ù è¸ü�æ{ø¸æFô óþøðæ�5æFëLûFóþú�øý÷_í æ{çN÷è¸æ�ç}è8y�XøðçéèÙ�ïæ � æ �ìóþÿ�ñ3æFë�è]÷_ÿLÿ�ø¸ó�÷þûýüg�

d -¾4�-�Î#-�Ì7Ó;-¾Âß � á8Ù�æ{ë è�â£æ�û��q#�e¡ëzY[LNMPª�M±HXLN\���L�_^ª�ªÅZaVA� M�ë�HXO�_�ZaVXMU�)f MPª��PLN_�W�MIWU«G_^VA��M # ) ���ïê¼çéó ë�¿æ{ç8�Ûæ{î�# � ?z?z?��

ß à>á � ó&�Xæ{øéè�g���â£êÛë���æFø#�hcM�b�YdZaVA�¦\z�KiPM�WPY[� \^L�Z]MPVcYiM��'b�Q�b�YiM�ªÅbYf ª®\>��M�ORb^�²Hc_^Y[YgMPL�VGb._^VX�Yi\>\�Oòb�# ) ���ïêìç¸óþë±�¿æ{ç8�Ûæ{î�# � ?z?z?��

ß �*á�Þ�ó�÷_ëL÷+� jðóþøý÷�#&×Løð÷þë����w÷?è¸è¸ü�ê Féç #.kØó&�ì÷þë��ïæ�â£æ{ø8�HæFøýç # ÷_ë��O�ØêìæFøðø¸ælg æ{ø8�X÷_æ§èðæFëg#�m�JBYi\^�ª®_^Y[Z]W8WU\^ª@HG\^b�ZaYdZ]\�V�\¸S�b�Q�bUYiMPªDb£SUL�\^ª WU\^ª@Hc\^VXMPVcYdb@�#ZaYt«._^VK\^VcQ^ª®\^JAbº�zMiHGMPVX��M�V`�WPZ]M�bTbdHcMUW�Z  ²MU�­�PQ bPMPª�_�VcY[Z]W��iJBVK_^��_�LNMDHXLN\UHGMPL�Y[Z]M�b�#,�5ø¸óïû§æ{æ��ïêìë�í�ç!ó_ôVåAæ{ûýü�ëLó��ìóþíþîóþô C �BF}æ{û§è� C ø¸êìæFë�èðæ����A÷_ë�í úL÷_í æ{çq÷_ë��´� îïç}èðæFñ ç�Ú5÷ ç}èðæFøðë Ú5ú�ø¸ó ÿXæ�ù å CºC �Q�"Ú,Ú��à =z=G� #&Þ�Ú Ú,Úÿ&Nóþñ3ÿ�ú�è¸æFø��ïó ûFêÛæFè}îb�Øøðæ{çðç�#A��÷_øýûýü7à =z= à�#ïåbó ÷_ÿLÿXæ�÷_ø�

ß �'án�qó óþí&�Ûæ&#D«AY[YRH;f o)o`�#�#���ò�°\�\N�zO�M��aW�\�ªpozHXLNM�bUbqoB«AZ~��«GORZ~��«GYdb��R«BYdª�O|#J�qó ó í��ìæz� çÀåbæ�ûýü�ë�ê¼ûF÷'�âVêÛí ü��Ûêìíþü�èýç #�à =z=G� �

ß �>á+Ú��B��÷þñ3ñ3÷±Ù\��â£æ{û��9#rhcM�b�Y¾ZaV>S�MUWPYgMU��f��²LN\��zLN_^ª�ª�MPLUb�O�\^Ú^Mê�#L�ZaY[ZaV°� YgM�b�Y]b�#<åAæ{ûýüg�øðæFÿHóþø¸è�#ïü�èéèðÿgÜR{z{:ö=ö=ö�� F}ú�ë�êÛè�� óþøðíA{"# � ?z?����

ß $*án�qøðæFí óþø Ù�ê¼û���÷'�ìæ{ç�#¹$ óþüLë �b÷þñÑÿLêÛë�í�# ) ë ú�øý÷_í �Àæ{ë�ü��ïüLæ �?÷_ø#©&Nü�øðêìç �w÷_æ��÷�#&Nøðêìçéè¸êìëL÷Å�<óþÿHæ{ç�#³$þæ�÷_ë"i�w÷_øýû¾�bóþêìë�í_èðêÛæ{ø�# ÷_ë��b$þó ü�ëOÞ�øðö=êÛëg#-m�bdHcMUW�Y[� \^L�Z]MPVcYiMU�@HXLN\���zLN_^ª�ª�ZaV°��#±Ú²& CºC � � ?A(�s C �GF}æ{û³è8 C øðêìæFë�è¸æ�Ò�Øøðóþí øð÷þñÑñ3êìë�í ��� è¸ü¹ÚØúLø¸ó ÿXæ�÷_ë&Nó ëïô æFøðæFëLûFæ�#+$ î³�&t÷ ç�� î³�qt÷�#�×\êÛë��¼÷_ë�� ù]�Àæ{ü�ñ3æ§è ) �;jçéêÛèi÷_ë��I�ï÷?èðó ç¸ü�êD�w÷_èðç¸ú�ó��?÷�#æ��ç �Á��#��þó��n� � à�� � #�� ÿLø¸êìë�íþæ{ø�qg æFøF�¼÷_í�#A}]æ{öZkØó ø8�9#G}Hk4# � ?z?°("# ÿ�ÿg��à&à =>u à^�³à"�

ßò(á8Ù!÷þø8�q$��A�<êìæ �HæFøðü�æFøðøN÷þë��ÛÞ}÷þëbâ]ó&�-�¼÷_ë��g#8m�b�b�JBL�ZaVA�º��\�\>��bUY[Q^O�M#S�\�L�\��viPMUWPYd� \�L�Z]M�V`YgMU�HKLN\N�zLN_�ªDb�#�Þ�Ú Ú,Ú%�ç¸ó_ôõè}öK÷_øðæ/ù � ?z�z?l��#B�z� u �°���

ß �*á+×Løð÷þë�� �w÷_èéè¸üLê Féç�# � \^ª@Hc\^VXMPVcY±SULN_^ª®MP��\^LN�,YiMUW�«BVX\�O�\N�zQ¬S�\^L©HXL�\^Yi\>WU\^O.b�Yi_zWU��b�#�5üg� �4�Ñè¸ü�æ�çéê¼ç�#.Ù!÷_è¸ü�ó&�Ûêìæ � æ~!Vë�ê-� æFøýçéêÛè¸æ{ê è¬�<æ{ú��þæ{ëg#0�Væ�û � ?z?�?�# ) �?÷_ê��ì÷����ìæ�÷?èü�èéèðÿgÜR{z{:ö=ö=ö�� ûFç�� ��ú��Ûæ{ú��þæ{ëg� ÷ û'� �Xæ^{+w�ç¸÷þñÑñT{?ë�æ§è}ö=íB{*�ïêìÿLç�{:êìë��ïæ���� ü�è¸ñ\�y�

ß ?*á��9���ÀêìûýüLêÛæ��ìç�#&�u�zÙ�æ{ë�æFëXç #l× �°�w÷?è¸è¸ü�ê Féç�#&�4�z��÷'�ìøð÷>� æFëLç�#þ÷_ë��¸�u�)g æFøF�L÷_æFè¸æFë±# � \^ª��Hc\^VKM�V`YGSULN_^ª®M���\�LN��b�J�H�HG\�L�YcS�\^L8�zMPÚ^M�O�\UHXZaVA�±��M�Ú�Z]WUMD��L�ZaÚ�MPLUb�#��Øøðóïû§æFæ�ïêìë�í ç5ó_ôgÞ�ë"èðæFøðëL÷?èðêÛó ëL÷'�º&Nóþëïô æ{ø¸æ{ëLû§æwó ë�� ó_ôõè}öK÷_øðæ�#]åAæ �ìæ{ûFóþñ3ñ/úLë�êìû{÷?èðêÛó ëLçj÷þë�� &Nóþñ3ÿ�ú�è¸æFø}Væ§è}ö£óþøF� ç�ùn� ó_ôõè�& C �Õà =�=z= �pxwùyà =z=�= ��# ��� ( uX� àz$��

ß �>= á��9���Àê¼ûýü�êìæ �¼ç #*×��^�w÷?è¸è¸ü�ê Féç #'�4���¿÷��Ûøý÷>�þæ{ëLç #:÷_ë��+�u�Yg æ{ø8�L÷þæ§èðæFëg#)�DZ � ¼ f+my�£V`Z SUQ^ZaV°�m²HzHXL�\>_�W�«TS�\^Ln��M�Ú^MPO�\�HKZaV°� ¼ Q�b�YiM�ª ¼ \¸SUY[��_^L�M�#u�kó ç¸ê èðêÛó ë�ÿL÷þÿXæ{ø!êÛëÆ�5ø¸óïû§æ{æ��ïêìë�í�çóþô è¸ü�æ®�?èðü �ÁóþøF�ïçéüLóþÿwó ë â]óþè�åKó ÿ�ê¼ûFç%êÛë C ÿXæ{øð÷_è¸êìë�íB� îïçéè¸æ{ñ3çÑù¶âVó_è C �lzg�Þ�Þ8Þ���#Ù\� !+� �<æ{ú��þæ{ëg#��Væ{ÿïè��Ló_ô�&Nóþñ3ÿ�úïèðæFø��ïûFêÛæ{ëLû§æ&#c�w÷:î�à =z=G� �

� (

Page 20: DiPSUnit: an Extension of the JUnit Test Framework for DiPS Sam

ß �z� á+�u�X&Nøý÷_êìí åW�c�w÷ û���êìë�ë�ó ëg#��9�q×�øðæFæ{ñ3÷þëg#Ce²VK�z\��iYgM�b�YdZaVA��fJ�ÁVcZaY²YgM�b�YdZaVA�ê�#ZaYt«!ª®\�W��\��viPMUWPY]b�#PæY�Vè¸øðæFñ3æ4�5ø¸ó íþøý÷_ñ3ñ3êÛëLíÎ÷_ë��Ò×Q�ìæ��ïê����Ûæ¸�Øøðóïû§æ{çðç¸æ{ç]êìë � óþôõè}ö£÷þø¸æ4ÚØë�í êÛë"æ{æFøðêÛë�í�����à =�=z= #c&Nó ë�ë�æ�� èðøð÷��Pè����-#`�<óþë��ïóþëg#�Ú5ë�í��¼÷_ë���#�$þúLë�æ�à =�=z= �

� �