Research Profile - NAIST · Graduate School of Information Science Nara Institute of Science and...

32
Graduate School of Information Science Nara Institute of Science and Technology - Research Profile -

Transcript of Research Profile - NAIST · Graduate School of Information Science Nara Institute of Science and...

Graduate School of Information ScienceNara Institute of Science and Technology

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

- Research Profile -

���������� ������������������ !

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

�567�8�95:;<-=>567�8��?@

�AB��C��D� ������56E��FGH�I�98�

�� ������JKLM�9 N8O9PQRST�UVWX

�I�YZ[\9 N8O9PQ�]^�"#$56E�I�98���_`ab

�Using Program Slicing for Analysis of Bug Fixing Processes

� N;4�()JK��Dcd;PeO3PfMgh�WX

�Pull Requestijk���L��l$234���

�m���� !Rno.�p3Z863Pqr��

�p3Z863PR�stUVup3Zv�ST�wxy�z{$|}�ab

�Verilog HDL�"#$p3Z863P�~\RWX

�Who Reviewed My Patch? Social Aspects of Peer Review

�Reviewer Recommendation for Peer Code Review based on File Path Similarity

�An Approach for Improving the Quality of Bug Reports

����56Q��PQ�j��j~\��$56Q��PQ���������

�Q9YZ�8��Z���Ul$��−������1���Y��38���1�−

�Global-Scale Distributed Storage Acceleration using Software-Defined Network

�Overseer: SDN-Assisted Bandwidth and Latency Aware Route Optimization based on Application Requirement

�A Multipath Controller for Accelerating GridFTP Transfer over SDN

�Flow-level monitoring based-on OpenFlow for categorizing network application

�A Hybrid Game Contents Streaming Method to Improve Graphic Quality Delivered by Cloud Gaming

�Netspec: Behavior-testing Platform SDN Controller for Developers

�Constructing Assurance Case using Information From an Issue Tracking System

��� !��������1H����� ¡R�¢

�Goal Structuring NotationLM�CBCS£¤¥¦� ¡

�§¨�� �����©ª«WX¬&���­® ��¯3��jw%

p.2

p.3

p.4

p.5

p.6

p.7

p.8

p.9

p.10

p.11

p.12

p.13

p.14

p.15

p.16

p.17

p.18

p.19

p.20

p.21

p.22

p.23

p.24

p.25

p.26

p.27

p 28

��������p.2

����

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

����� !"#$%

IPA/SEC° “±²567�8��³´{$1µ¶·AB(”¸¹ºBP»�¼½H�¾.�¿

http://sdlab.naist.jp/aquamarine�ÀÁ�¿

� �����wÃ`ÄÅÆLy¶HÇ$���ÈÉ� ������56E�RÊË�$� �������ABLÌÍl$ÎRuÏ¥ÐlÑ� ������56E�LÌÍ.ÀD¶ÐÈÉ���Ò��ÓÔ��DÉ������ÕÖuÏ¥ÐlÑ.�.É�����L×ØÙ��567�8�L��l$ÚÛÈFGÐÉÜWÒºÝLÞßÐÒ567�8���à�RáÀÈâãäåÐlÑ ¾�É������æ¥RH�$â����c3OL�ç.ÉfèÒO;�PQÐé���ê�¬&Lë)l$ÎRÈÉ@ì���à�íî�ïÒؾlÑ

���ðñ

AQUAMarineÈÉòóôõ¹�öÚ÷R��ø��Ð��H��56E�����234ÐlÑ

AQUAMarineÈÉ567�8����àuùú���567�8�L��l$û�É��ÓÔ�üýÄ��c3O�ê��WXþj�������Un�#Rá�����ÚÛ���L�¾lѾ�É��à��.ÀÉ��H������L��.É��c3O�ë)����ç��L�¾lÑÎ��� !LM$ÎRÐÉ567�8���à"����àÈÉ����������R��L�����ÎRu\¾lÑ

ÓÔ�

�MÐ $ÓÔ��L�l

293

��56E�¤®��Éæ¥Ò�WL�Ø��

����

�������À���Ò��L�l

�;�Q�!

ÚÛ�Unl$ê��WXþjL�l

�����

���c3O��D�����ÓÔR���

��à ��à

�����

�����

� ������56E�

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

�%&'�ÅÆ���567�8������

�É �ÓÔL!á��"��.�…567�8���`L �#$.��…

%&�ÓÔL�ç.�ØÉ)��Øl$�áÀâã…

��à

��à

�����

c3O�ë)

¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬¬&�������������������������������������������������������������������������������������������������������ïAQUAMarine ���56E����������� !

//01 ��ÚÛ�� 567�8�����

9'7�9(;)PQ

Ã*no

&

� �������"#$+úÒ��,4L-#$���É� �����.à¸/3d»u��567�8��¤0�1�áÀ23l$ÎRu¦���À¾lÑ.�.É� ����4.à¸5P�»uÉ� �������67�8./3du�çÐ $�����L9{$�Èâ Ò:;uæ¥ÐlÑéÎÐÉ� ������

�Ul$c3OL/01l$ÎRÐÉ/3d�5P�<�����L��l$��u�1�À ¾.�Ñ/01��ØÉ��=ÂÐ���>?u/@�ÒØA��67�8./3dÐï567�8����>?Ll$ÎRuÐ ¾lÑ

/01l�Ë��u ��ßÐ$�uBYC9

IZMIÈÉ��567�8��%&'uɳ��D��� �D#()H���µR���L/01l$234ÐlÑh{ËÉ;5P�EF3ÐG� N;4R��.À()*+uH N;4uI�Ëɶ·AB�J�ZKFIP��ÅÆuL�ÐÈÒ�R]êl$ÎRuÐ ¾lÑ

��EF3,-.�;5P����LMNl$

�¯34aOEF3;5P�EF3�C�P;QLJ�l$

R4O9PQEF3;5P�EF3�C�l$��Lüýl$

;5P�EF3%&'u()H�$=BLSTl$

/3d 5P�

'()'*���������+,-./0�

1234�567�89:;<=

���ðñ

�������������������������������������������������������������������������������������������������llllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll IZMI

/01 ��ÚÛ�� 567�8�����

9'7�9(;)PQ

Ã*no

>

?@A�B�C?DEF* GH?@A�B��IJ

K

�U���567�8��VØWØLÕ@l$567�8�95:;<

³XY6µLZó1.À?þMl$KFC(Knowledge Feedback Cycle)

95:;<��@R[\

567�8��VØWØ�È]âÒc3ORé�LWXl$�<Ä^<uæ¥ÐluÉ_��_�R� ����L��.Ò#�Ë#Ò`¹�� ����ÃÛaÐÈ=>�567�8�LVØW$ÎRé�ï�ubc�äåÐlÑ567�8�95:;<ÈÉ�j��ë)H����

c3OLïR�É567�8�L� ����¶Ð?@l$234ÐlÑ“I$^d”Ð�567�8��efLI��ïg�.�EchL?wl$�������l$gÐÉ567�8��VØWØL���.¾lÑ

ijLkØWllmR.ÀÈÉ567�8��n¾�$Éij�¥mRÒ$��É“XY6”LN7.ÀÒguop��¾lÑWXàuEPMÐë)H��c3O�Â��“XY

6”L×Ø\.É��F:3O�567�8�jÚqc4R.ÀZ�ClÎRГZó6”R.É��F:3OL�M.�*�É567�8�rêsÐ��à�67�tuL��ÑÎ�n�·�LKnowledge Feedback Cycle (KFC)RÊ�¾lÑ567�8�95:;<ÈKFC�"ÀÉWXà

�qc4Ú%L��l$vwuIؾlÑ

)LMNLOPQRSLTUOVWXQRSLTWWWW YZ[O\LQ]S^LQRSLT_`LabQcSPbQRSLT_`Lab cSPb RSLT

EPMÐë)H��567�8�c3OL9��1.��xÑ

+úÒ¥m�@yLz{��MNl$gu\$Ñ

56Q�!p3Z­sÐ���Lj��C�l$�xÑ

567�8�L%&'�|d��N7l$gu\$Ñ

567�8�23à}�����Lj��C�l$�xÑ

~����|d��567�8�LN7l$gu\$Ñ

567�8��+úÒc3OLQ� ÐC�l$�xÑ

567�8�¤®��¥L>?l$gu\$Ñ

dSMLQNVOQe

)VS^QRSLT)VS^ RSLT

��MI39PQ9��L8��O9PQ.À��Y8LC�l$�xÑ?w¹���l$��Y8LMN.É567�8��pP K��L>?l$ÎRuÐ $Ñ

ij.���567�8���������L*�É_�þ�lÎRÈRÀïÏ¥ÐlÑ

���h���À$567�8���OY L�3.��ÉH����$¸Brooks���»

@�?wÂ�¹^LC�l$Ñ���^<�7�P5l$ÎRuÐ $Ñ

É

��

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

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

��������

!�

W�88��VØW����������������

WW88���������������������������������������������������������������������������������������������������������������������������������������������������� ��������������������������������� ������������������������������������������������������ ��������������� ������"#$%�"&'

()*+,

-)*��

.)* !

/)*0�1�

U

/01

� 5 7

��ÚÛ��

�VØWWWØØØØLLLLÕ@l@@

567�8�����

l$567�8�95

9'7�9(;)PQ

5

Ã*no

fgh�� i

��������?@j#�klm�n�CB#

o

���ÚÛ�� 567�8�����

9'7�9(;)PQ

Ã*no/01

o

�� Q

p-HInT�� !�"#$BQ�R��:54

��������pqrs��

C�tBuCvwxyz�{|}~

���ðñ

JK��LM�9 N8O9PQRST�UVWX

���ÚÛ�� 9'7�9(;)PQ

Ã*no

� �������u��RÉ_��56Q�!È�ç.�DDÉã�.�Dï��ÒؾlÑé�á�56Q�!L��ÄlDÉã�.Älef�l$����R.ÀÉ9 N8O9PQuIؾlÑ9 N8O9PQÈ� �����J�ÅÆLy¶HÇ$��R.À.-H�À¾lÑ

���ÐÈÉ9 N8O9PQRST�UV�,-.É� ������JKLMÀ9 N8O9PQ�_&L\���.¾lÑ

2345627899:;<==

¾lÑ

2

l

>?@ABC

��@ABC

>?@DEC

��@DEC

��@ABC

FG8HI

��@DEC

FG8HI

��JCKL�M

23456278N�

OK:PN�Q8��

��JCKL

23456278K��

RSTUV RSTUVW�

OK:PX�YZ[\

9 N8O9PQRÈÉ� ��������ÒV$�Lã�l$ÎRÒDÉ�����LÌÍl$ÎRL�¾lÑ56Q�!��l$9 N8O9PQ�È”ã���ã�”É”I�YZ�[\”Rá�����Hï���É”8���[\”É”���Ww”Ò ���â ï�¾Ð+úÒï�uIؾlÑ

���ÐÈÉm���� !� gH���3�p3Z�()JKRÉBQ���� !� gH��BQ��L�M.¾lÑ� �������JK��³9 N8O9PQ*+µÉ³©�Ò�� ¡¢<µÉ³ST��w*+µL�ê.Éé��L!áÀ9 N8O9PQRST�UVLWX.¾lÑ

23456278

��JCÏF.�p3ZÄ£l¤$I�YZÒ �9 N8O9PQ� á�#RÒ$p3Z�ef

RSTUV RSTUVW�

RSTUV RSTUVW�

/01 567�8�����

n�����C�tBuCvw����+,-?@j#n�CB#������

����������� ����������������������������� !""#$�%&'�()*+,�-./�0-!12�34+56(��� �����7809:�;�"!"��<��&(#$=#$>?�%&@@(AB(��������>?�CD�'EF+GH"���I�(JKL ��� �IM(���������CD�NO12�34�$P�'Q�RS�GH"TU�<Q�VW�(#$=���������>?�XY�'�&����������Z[��+\-]^_`;!"��

abcde��������

#$fg hijkl hijkm hijkn

o"�0CD_`�pq

G'r@�hijks�tM`'uvwuc�12x��a���v�yz��{|�pq� abc�}_� abc�~3au�� �

��}!abcabcde_`��! ��!-@I�{|+�MI0 ��

��

Z[������ ��0�'�&0(#$=���������>?�C���MI0�'EF+GH"������(#$fgIMtM`'12�va���v0���(<`�z!;�abcde��!����������l����� 'uvwuc�{|�pq�"���

NC( )

NDC( )

AG( )

ADD( )

DEL( )

CHURN( )

JEdit

���a���v0���+��_`�

��ÚÛ�� 9'7�9(;)PQ

Ã*no/01 567�8�����

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

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

Requirements

Design

Implementation

Testing

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

��� ��� ��� ���������� �� �������� !�������� ��� ���� �� ���� �� ��������

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

���������� �� ����� ��������� ��� ������� � ���� �' ��� ���� � ��� ������(������$

�� �������� ��)� ���� �� � ��������� ���������� �� #� �������� ��������� �����

����� !������ ��� ����$ *�� �������� �� �� � ���� ����� �� #����� ������ �����

������� �� #�� ��'���$+'������������ ��

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

��� �����#����'����������,

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

��� ��� ����� ������� �� #�� ��'���$ -� ��)�� ���

�� ���������� #������ #�� ��������������� ��� ���

��� #�� ��'��� ������� ��� �'������$

.$�!�

/0��1�'���!������23$!������� �����. �!�

���4�� ���

�������

%��� 4�� ���

�������

� ������� ��� #������� ��

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

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

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

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

����������

5���� ��� ����� !������

��� ���� /�!�2& �� ����

�# � �� ����������� ��� #��

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

���� #� ��$

%��� 4�� ��� 6 ������� ���

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

��� 4�� ��� 6 ������� ����

��� �� �� ����

5���� !������ � �����

������4��� �� ���� �# �

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

���� #��$

+��� #�� ��� ����7

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

8���� �'��� �� #��

� ��� �'��������& �� ������� ��� �������� #���

�� ���� ��� �� ��������� #������ #�� ��'��� �������

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

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

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

..89:����

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

4�� ����������

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

���� ����������$

��� ����������#�

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

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

�PSa�Q�OZ�OVMQY^S\Sa�Q�ZOQ

�aV^�PSPQZ�Q�[�Q]S�Sa�Q�OZ\LPPLP

/01 ��ÚÛ�� 567�8�����

9'7�9(;)PQ

Ã*no

���������

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

���������

������� ��

BugFixing

�tE=�12pq�� i

��Ev�u<v�s���}~

���ðñ

N;4�()JK��DfMgh�WX��

//01 ��ÚÛ�� 567�8�����

9'7�9(;)PQ

Ã*no

�WX��

Î��LWX�¥¦l$�����Ä234ÈM�H�ÀÒ

cd;PeO3PRÈh,7�8�Óy���J�§�¨�L¾R��ï�ÐlѳGoF�cd;PeO3PµÈ����ÐÉ©D�����MH�À¾lÑhÑ StateeO3P¸GoF�cd;PeO3P�1�»ª�8��«ÈStateeO3P���LC.À¾lÑ

eO3PLfMl$ÎRÐ�¬ÚÛL_­1Ð $R�1�À¾lÑ�D.ÉeO3PLfMl® �yȯ��ÐI$RH�À¾lÑlÒ1°ÉeO3PLfM.ÀïÉÕû��¬ÚÛL_­1Ð $RȯؾÇßÑeO3PLfM.Àï�¬ÚÛL_­1Ð ÀÒÒ�ËÉJ�L´±læ¥uI$�ï.�¾ÇßÑ.�.ÉeO3PufMH��ghLWX.ÀÉ_&L¥¦l$��ÈM�H�À¾ÇßÑ

StateeO3P

_&�V$��ã�u���Ò$

�y�ef�²³ÀV$�Lã{$� ������_

_&�8���´â1Lµ¶

N;4�()JK¸��à��$ N;4�üýÄ()s� g»��ÀÉcd;PeO3P�fMghLWX.¾lÑé.ÀÉeO3P�fM_&��l$�[L�ÀÉfMgh�WX¬&LMÀ�[L~�l$ÎRÐÉfM_&L¥¦.¾lÑÎ�����ØÉeO3P�fM_&L�¬ÚÛ�|d��WX.À�����lÎRuÐ ¾lѾ�É��Â�567�8����LfMl$ÎRÐÉeO3P�_&L~�l$ÎRïÐ ¾lÑ

cd;PeO3PfMgh�WX

cd;PeO3P�fM_&��l$�[���

cd;PeO3PfMgh

�3� N;4 N;4�()JK

� �������JK

PPPPPPPPPPPPPPPP

(1) cd;PeO3PL~\.À�%¥·R N;4R�²�#$

cd;PeO3P���

Design Patterns - Elements of Reusable Object-Oriented Software

cd;PeO3P�����ÀfM_&¸ N;4�()xy»

��l$�[L�À$

cd;PeO3P�fM_&��l$�[

� h: StateeO3P�ConcreteState8����²l$ N;4È� ()^<u£DÒ$� F����à��ø^�()H��DDÒ$� …

�[

()^<u£

ø^�()H�$ÎRȸ҅

(2) N;4�()JK����àu N;4�3{�()�xyLWXl$ StateeO3P�ConcreteState8��L�y

R.À¯3��OcRLÕ¹.É�����fM/@`uI$ÎRLMN.¾.�Ñ

�[^^Q�L�[LPb������r ! -;<=���

¡¢

99'7�9(;)PQ

567�8�����

Ã*no/01 ��ÚÛ��

�����) v¡4�������<�¢v¡£��¤u¥v�z!���� �#$+VW¦-§¨`;!"��<�r@��;��� � ��©ª��#$������+GH"�������z!'Q�0«H(wuc¬¥­u�®¯+°6M`'(±3�²�./fg+³)_`'( ��y´+µ¶M`"��

#$=����0·!;(#$¸�¹º »¼0A�������½>���¾¿�'EF+GH"���I�(�����ÀI@½>+ÁÀ�GH(<�«� ���½>�Â�-ÃÄŨT'0(#$=0�����ÆÇ���+FÈ_`"��

Pull Request git-sprite

����(����0·É'#$=�����½>XY�����;!"��ÊË�FÌ+�����XY0EF�G'�Í6(<`M�Î��«�CÏ��#$=XYÐuÑÒ���������Ó�#$�;!"��

����������ÔÕ

(a)

(b)

(c)

(d)

(e)

��� � ��©ª�#$�12�v]^__�`Sa^Sbc

XY0È&M`'FÌ

�� Öz×Ø�Ù!rÚ���) v¡4�½>�Ûr�Ðuѽ>�CÜ�'

�� ����0·!;ÝEF ��) v¡4�½>�Þß�'

�� Ðuѽ>à�0wáb�fg�âã�(½>äå�»�0æç�O'

�� ±3�²�>è��é0(êª�01Ñ��ëv��>è�'

�� ±3�²0�ì��1Ñ��ëv��íî·«ïwa���ÐuÑs0ð¿�'

±3�²�wáb��fg��ñ_T'(��) v¡4�®ò���ó0ô®ò�CÏ�õ�öÂ�é0±3�²�>è�(#$�§!"��<�;��� � ���(±3�²�÷�±3�²0øÅ�'Q��FÈ�'(¢v¡£��¤u¥v�®ò������ � ���z!'Q�0«H(±3�²��)�øÅ+RS0 'y´+GH"��

±3�²ù

±3�²ú

wáb�

#$= 12û ���)=

��� � ��

±3�²ú�±3�²ù0

øÅ�;-ü_!

øÅ

/01/01 ��ÚÛ����ÚÛ��

£"#$%x¤¥7�¦<�B@<v§¨ !

¡¡

���¥

p3Z863Pqr��234���ÐÈm���� !Rno.�p3Z863Pqr��234L��.¾lÑm���� !RÈ�3�p3Z�ã�JKL9E7ºPR�­sÐ��l$�� !ÐÉ��àÈBQ�qrÄ�@�»¼L��+�p�Y�R�½ÚL�Ém���� !�ã�JKL��.¾lÑ��234Èp�Y��^dÐp3Z863P��l$ã�L~6.É��à�¾6.�¶Ð����L��.¾lÑ

m���� !�È¿À.À��L����$���9E7ºPLÁW��l$,�PCR��@uIؾlÑ,�PCLW#À��LÂ{�ÃÉ��àÈ,�PCLÄ«l$(37R�½ÚL�¾lÑ(37L��R863P�Å`u���ÒDÒ$ì«uI$�ÐÉ��234Èé�ÆL¾6.¾lÑ

de��K�f

5Gg7��Kh�ij

klmn

k7ogp

qHrs

kgt5Gg7KuYv�w�xwyf

z�@{uY|}�~@{uY�}

wyf

�K5Gg7A�`�K��YE[��Y��E\��;�\

¾6

R2 R4

R5

5Gg7Yz�

5Gg7Y��@���

R3

R1 R6

ì¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾6666666666666666666666666666666

����{kgt5Gg7$

kgt5Gg7

qH7��

qH7��

567�8�����

Ã*no��ÚÛ�� 9'7�9(;)PQ

/01

p3Z863PRÈ�3�p3Z��Ǿ�ÈÈÉ.��WÐIØÉp3Z863P��Lqr.�ì«��²l$G�p3Z863P��.Àïø+�qrLl$® �~Êl$æ¥uIØÉ� ������¬`LLËHÇ$lmRÒؾlÑ

p3Z863PL~\l$��Ä234È©D��.¾luÉé��LMÀp3Z863P�Å`L�����ÈÉ�3�p3ZLqrl$+�~\234LÌjl$æ¥uIؾlÑ

�Uog�kgt��

�U���

�U�5Gg7K��kgt5Gg7���gp

��������

¦<�B@<vx�©ª{|«¦<�¬�

yz�­®¯�°±-²³���

¡&

ðñ

����

5567�8�����

Ã*no��ÚÛ�� 9'7�9(;)PQ

/01

��¬&

Í��OSS567�8�¸Gimp, Evolution, Nautilus, Apache httpd, Gedit»��.ÀabLÕ¹

� 4567�8��"ÀÉp3Z863P��ئ<�B@<v´�µ«yz¶«·�xyLMN

� 4567�8��"ÀÉp3Z863PR�ÎÏuâ DÒ$���ÀST�w�uиl$xyLMN

→ ¦<�B@<v�¸�¦<�¬¹yz«ºi�­

���ÐÈÉp3Z863PR�stUV�,-.Ép3Zv�ST�wxyL����ab.¾lÑ ¾ÑÉh35P�3�� ����¸OSS»�m���� !RST���� !Ð��H�À$��JKLMÀÉ�3�p3ZÂ���l$STRp3Z863P�st��¸ N;4�R�ÒÓ»L×Ô.¾lÑé.ÀÉé�st���� p3Z863P���ST­L¦�À��.¾lѾ�Ép3Z863P��p3Zv��ÀÉ N;4Â�Õp3Z863PRST�Îϸ�3�p3Z¶Ð��Ï�À$�LClÓÔ»L¦�Éé�ÎÏÖR�ST�w�L��.¾lÑ

p3Z863PRÈÉ�3�p3ZÂ���l$×�Ǿ�ÈÈÉ.�p3Zv�ÎRLÓ.ÉØ���àu��p�3�PZÙ3����áÀ�w.¾lÑp�3�PZÙ3����$p3Zv�?�MÈÉST��wÄ»Ú�lmRÒ$Û�uI$ÎR��ÉÜÝp3Z863P�,-.ÀSTL�lp3Z:EF3��u©D��H�À¾lÑp3Z863P�Ìml$STÈp3Z863P�ÂD#ÐÒD��ï��l$��Ép3Z863P�,-.Àp3Z:EF3L��ûÈp3Z863P���é�Þ���.ÀST��ßLMNl$æ¥uIؾlÑ.�.Ép3Z863P���"#$0�ÒST�wxyÈ\���ÒáÀ"�ÑÉp3Z863P�,-.À_­��p3Z:EF3L����ïM�H�À¾ÇßÑ

RRLOS^Z�Q»¼cにおけるコードクローンの検出と分析

¡>

9'7�9(;)PQ

567�8�����

Ã*no/01 ��ÚÛ��/01/01 ��ÚÛ����ÚÛ�� 9'7�9(;)PQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQQ

9'7�9(;)PQ

背景・目的

コードクローンとは��������類似・一致する断片������ �����������品質や保守性を下げる要因��� ��������� !

調査結果

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

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

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

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

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

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

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

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

�"�&#���

�"""""""""""""""""""""""""�&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&&################################���������������������������

提案手法

$%&'(�)*�������+,-�./$$!�%��'012��3456�()(78*����� �()�����������1+,�� !9�:;<**����� ��()コードを変換する規則1=>���:!

->

->

今後の研究

� �������?@���AB+C26�������?@��1DEF< 8G (HIJ1KL 8

� ������ MN�OP�QR<6ST8� �UV�78WX/����MYWX06Z������<[\8)*�]^�_2`Ca

� ����XbVcd�ef<g`8� h5<_i:jk6�������?@��1Dl< 8G `HIKL<68

� !�,-�m2An�op<qS�HIar�sd`tf 6u��8� ������<vh��HIar1sd 8:;�&'<���+w 8

Peer Review in IIndustry : formal, meeting-based, well researchedBut in Open Source Software: informal, tool-based, few research� How do OSS contributors work together?� Who are (or should be) the most important people?

Social aspect of OSS peer review Social Network Analysis (SNA)

Methodology1. Dataset preparation2. PeRSoN generation3. Analysis

Who Reviewed My Patch? Social Aspects of Peer Review

Introduction

PeRSoN (Peer Review Social Network)

SSoftware Peer Review ( aka Code Review ) means the inspection of source code, which is done by other developers rather than the authors themselves.We do peer review for:� Reduce Defects� Improve Quality

S i l N t k)

Results

Case Study: GGerrit Code ReviewProjects: Android, Qt, OpenStackWe classified the contributor into different role groups. (all the p-value < 0.05 by Wilcoxon-Mann-Whitney test)

��� �� �� �

����

���

���

���

���

���

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

������

Activities of Most Active Verifier (VAC) have more centrality.

LowDegree

(Inactive)

LowCloseness

(Specialized)

LowBetweenness(less control)

HighDegree(Active)

Active / Specialized

--

HighCloseness

(Not specilized)

Inactive / Unspecialized

--

HighBetweenness(more control)

-- --

9'7�9(;)PQ

Ã*no/01 567�8�����

��ÚÛ��

¡K

Reviewer Recommendationfor Peer Code Review based on File Path Similarity

¡o

Introduction

Evaluation

���ÚÛ�� 9'7�9(;)PQ

Ã*no

Peer code review can help software development increase the quality and reducethe number of defects. This research aims to find the most appropriate reviewers tomake this process more efficient.We proposed an algorithm called FPS-based algorithm. To recommend reviewersfor a given review, this algorithm determines the similarity between file paths of thereview and file paths of past reviews.

To evaluate our approach, we performed FPS-based algorithm and the algorithmof previous research[1] to recommend reviewers for Android Open Source Project(AOSP), OpenStack, and Qt.

/01 567�8�����

FPS-based algorithm considers � Average of file paths’ similarity� Recent reviews prioritization

File Path Similarity (FPS) function

Files() returns set of modified files pathsδ is time prioritization factor ranging (0,1]m indicates the sequence of past reviews (m = 0 : the most recent review)

�����_S��

R4Reviewers????Modified files - video/src/a.java - video/src/b.java

R1Reviewers - User AModified files - video/src/x.java - video/src/y.java - video/src/z.java

R2Reviewers - User BModified files - graphics/src/m.java - video/src/n.java

New Review RequestPast Reviews

R3Reviewers - User CModified files - video/src/x.java - video/src/y.java - video/src/z.java

Time��� ��� ���

Ranking of Candidates for R4: (User C, User A, User B)

From our results, we can say that in two out of three case studies, FPS-basedalgorithm was significantly accurate than the algorithm of previous research.Our future work includes improving FPS-based algorithm, balancing the workloadof reviewers, and measuring review quality.

Accuracy of top-5 recommendations with δ = 0.8using FPS-based algorithm and the Algorithm of previous research

�����U���_���� ¡T� ¢�£`S¡^�¤ ¥�¦^�� ��§§¨Tc�� ¡�©��T¨R¤ ¥�ª^�_¤c«�¤ �]SST�¬¨¡S�`SR¤S­b�^b¤ ¥��^c¨��c¤��®c�c¤��� �_«b¤b�� ¡�`SR¤S­ST�`S�¨��S ¡�c¤¨ ¢¯�¤ �]T¨�U�©¬®�°��¢�����¢���U�±��²±³�U

��aQ�WWOZV\XQ�ZOQ'MWOZ`Sa�QbXLQ½[V^Sb�QZ�Q�[�Q�LWZObP

¡�

��ÚÛ�� 9'7�9(;)PQ

Ã*no/01 567�8�����

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

99'7�9(;)PQ

567�8�����

Ã*no��ÚÛ��

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

!"#$%���&$%���'()*+,���-./0%1� ������� .23-�-4����567489:;<=>�?@�ABCDEFGHI%JKLMN

O��:,��%PQ ��R�S/T�UV���WXY '()*

!

O

��=Z[\][[#N

��^_`=]\a#N

+

bcdef?��2ghijk-l

�� ��

m)An)o%pq�rs

����I%hi%tu

)�

�����������

�����������

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

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

vhijk-n�wxEy�)

=]N

=zN

={N

=aN

=|N

vhijk- s} hi

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

n�wxE^��

n�wxE^�� n�wxE^��

��!"#$

%&'(�)�������� �*+,

~�Y�������%�����j��� ��74v��:�nA*�����%PQ%56�WXj���7����%�������9k4

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

���:������/���/��%����9-./01�~�Y�����������-489�tu

��!"2$

����������34 ��567

��]� ¡�¢£��z�¤¥¦�

��{�T§¨©ª

��!"8$

�������� 9:;<=5����

�«�L¬­tk®¯ °j���±²j��5��%'x�E

9:$

³´%Gµ¶·��/¸p%!����/+�/O��%���±²j�rsj�-¹~�9ºk7

����$

=]NGµ¶·�»%¼½®¯=¤¥N�¾¿=zN¼½®¯�ÀÁ Â�:24�tu={N~�Ã�ÄÅÆÇ%ÈÉ�ÊË

v~� ÌÍ4���©ª

v~� ÌÍ4���©ª

DEFGHI�.23-�-��

ÎÏ ���K�PÐ��

´

� n)ÑÒ����ÓÔ�:������%~�

� ´Õ:ÖÀ%���/�����~�

� ������%~��²g

� ×Øk��rs^~�74

~�Y��������h%ÙÚ%ÛÜ��/�� .23-�-��9Ý��k-��%ÖÞ���

¤¥ ¤¥

ßfàá]âââââ ßfàázâââââ ßfàá{� ¼½®¯�ãä����å=dæ/æBC/bcdefk0N

� ¼½®¯%�çè� ~�%éê

,��%~�Y�������%ÛÜ��¢£j���ë��=ì%D��)íN

��ðñ

àád

çâã����56Q��PQ�,-

/01

¡�

wC���B¾��¿À�{ -��

Á�ÂÃ�ÄÅ:ÆÇÈ��É<B�ÄÅ:ÊÁ

¡�

��1��u�Dä.e��;!¨3Z����OS�å¯H�$æa��ɨ3Z����OSLpP�634l$æa�� ���çèwØéÀ

� ���êëìí��j1� çèwØéÀ�îï1

� �M_­�y¶� ð�Ù3�� ðñ;

� EKF9 R� ���êë�ò5E41� ó0

ä.��ôõ�ö\� ���÷5�Y� ø3!� ��1e ø3(P��y¶� çèwØéÀùó� ��êëEKF9 R� 8��Z�59¯3�ºP

8��Z��÷��R.À���1��

�Y��38���1����×ú

99'7�9(;)PQ

.À�������1��

567�8�����

Ã*no/01 ��ÚÛ��

������

���� ����

����������

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

�������

�!"#$�%��

OpenFlow�ûCH�$56Q�(,4Ò�Y��38(SDN: Software Defined Network)L�%l$��u�Y��38��1L@Õ�Òï��.��I$� �Y��38�;P 97�P��@u�;YC��WÏ.ÀOpenFlowpP�63��)ü

� pP�63�u56Q�(,4�Ò$ÎRÐÉ�Y��38J��®u56Q�(,4�

� Õ�;YC�Õý�jÚ�®È­þ�Ô�1�� 56Q�(,4�Y��38��l$� ����A*��563C�æ¥`

� OpenFlowpP�63��J�ù��M�¸56Q�!qc4�cd;PeO3PÒ »

� cBYQù��M�

�������

��������

����������

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

�����������

����������

BYQù��M�BBBBBYYY ùQùùùùùù�ù������������������� ��

enFlowpP�6 ��J�ù��M�¸56Q�!qc4 c

BYQù��M�BBBBY ùùQù����

�������� ��

�������

���������

µ>¶·�µ>¶·�

¸¹ºgQ¹s

���

»F2¼g½¾7

��

»F2¼g½¾7

��

»F2¼g½¾7

��¶·�����

¸¹º Q¹s

��¶·����� ��¶·�������

U^ZNV^*Y\V^LQ¼SPbOSN[bLËQYbZOV�LQ�\\L^LOVbSZa

[PSa�QYZ�bTVOL*¼L�SaLËQÌLbTZOÍ

¡�

Recently, many distributed storage systems areadopting multi-homed, multi-site configuration. Theseconcepts allow systems to have multiple routes to theInternet and span across the globe.

However, in general networking theories, it iscommonly known that TCP/IP protocol suite will utilizeonly one route at a time. In wide-area networks,transport-layer multipathing benefits from congestioncontrol and independence from the software, makingit work with unequal or unstable paths as well as notrequiring software modification.

Introduction

Related Works

99'7�9(;)PQ

567�8�����

Ã*no/01 ��ÚÛ��

While many multipathing solutions and protocols have been proposed, the most reliable and well-supported protocol is Multipath TCP or MPTCP.

We plan to couple MPTCP with OpenFlow software-defined network to increase the performance of large file transfers, a common behavior in distributed storage, by designing and implementing a routing scheme that works well for multiple flows per host pair.

Image of a multi-homed multi-site network

Network 1

Network 2

PRAGMA-ENT, a wide-area software-definednetwork testbed

Evaluation and development methodology

We have recently evaluated the performance of MPTCP in wide-area network using a trans-Pacifictestbed PRAGMA-ENT. The preliminary results suggested insignificant reduction in data rate whenusing MPTCP over wide-area network. We are currently on our way to investigate the actual numbersand reasons behind this performance drop.

MPTCP Testbed Setup

MPTCP works by managing multiple TCPsubflows without requiring application action.

The next step of our research is todesign and implement an OpenFlowcontroller that successfully routes andmanages MPTCP traffic through thenetwork. This may be done by inspectingthe TCP options present in MPTCP datapackets. Then, we will test it with real-world distributed storage applicationsand further adjust the network or OSconfiguration to increase performance.

Î`LOPLLOÏQY¼Ì*�PPSPbLËQ�VaËTSËbXQVaËQcVbLa\�Q�TVOLQ�Z[bLQÎWbSMSÐVbSZaQNVPLËQZaQ�WW^S\VbSZaQ�L�[SOLMLab

99'7�9(;)PQ

567�8�����

Ã*no/01 ��ÚÛ��

Introduction

Controlled Environment Evaluation

Bandwidth and latency aware routing is a technique whichutilizes SDN to realize adaptive network for better networkperformance. However, the practicality of bandwidth andlatency aware network remains questionable. To answer thisquestion, we implemented Overseer, bandwidth and latencyaware OpenFlow controller, using POX then evaluateOverseer to verify the eligibility and feasibility of bandwidthand latency aware network. The evaluation is done both in acontrolled environment and real-world global-scaleenvironment. The results show that Overseer outperformstraditional routing in most cases.

We created a network comprises of 6 VM hosts. Meshtopology is used to evaluate bandwidth and latency awarerouting under extreme condition. The controller and monitorare installed on another VM. With the prepared testbed, wethen measured all-pair average bandwidth and latency. Wealso introduced random congestion simulation to theexperiments as well.

OF Controller

API

BW/LAT Monitor

Applications

1 Gbps 1 Gbps1 Gbps 1 Gbps

1 Gbps

100 Mbps

1 Gbps

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

Real-world Evaluation with PRAGMA-ENT

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

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

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

����������/�.������ /��//..���

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

�����������

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

����

������

���

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

$���% ��&�����'�����(��%����"�#���� )�����������

��������

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

��

��

��

��

��

��

��

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

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

��������

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

%���&���'�����(������� &����$��!���

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

)�������#�"��+��� ���������%��

`S¡^�S ¿� ¡­¤¡c� � ¡��¡¡ _�cS �«§¨T��¨ ¥Sbc¤¨ �b¤�^_�c¤¨ 

31… 59…0

100

Ba…

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

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

PRAGMA-ENT is a global-scale OpenFlow testbed. We tested Overseer with a portion of PRAGMA-ENT. Direct connectionfrom OsakaU to UCSD yields 30 Mbps. However, by routing through NAIST, it is possible to achieve up to 60 Mbpstheoretically. We did actual bandwidth measuring from OsakaU to UCSD with both routing technique to verify this point andthe result confirmed our assumption.

�Q)[^bSWVbXQÑZabOZ^^LOQ�ZOQ�\\L^LOVbSa�QUOSË]d�dOVaP�LOQZ`LOQY¼Ì

99'7�9(;)PQ

567�8�����

Ã*no/01 ��ÚÛ��

©ÀÁ`ÂÃĬÁ©ÂÀ

ÁSbc�¨ �]`�ÅÆ�Ç�ÀÁ

.���� ��� ' �%

`Sb^_c���ÄbS¡�¿� ¡­¤¡c��¨§�S������c��¿«�^b¤ ¥��³���T�__S_�Á¬]�bcTS��b�¨§�T¨�¨bS¡�b«bcS�È�������c��^bS¡�����T�__S_�Á¬]�bcTS��bÉ

`Sb^_c�� �RST�¥S�b�SS¡�¨§�¡�c��cT� b§ST�¿Sc­SS ��T¨�¨bS¡�b«bcS��� ¡ �¨ RS c¤¨ �_��Sc�¨¡�§¨T�¤ �TS�b¤ ¥�c�S� ^�¿ST�¨§���T�__S_�Á¬]�bcTS��b�¨ S ¿«�§¨^T

��_�T¥S���¨^ c�¨§�b�¤S c¤§¤��¡�c�� SS¡b�c¨�¿S�cT� b§STTS¡�¿Sc­SS �b¤cSb��b�§�bc��b��¨bb¤¿_S�¤ �c�S��¨��^c�c¤¨ �_�b�¤S �S�§¤S_¡U�ÅT¤¡ÊÁ] b^��¨Tcb���T�__S_�¡�c��cT� b§ST�b��S�S�¿«�^b¤ ¥��^_c¤�_S�Á¬]�bcTS��b�� ¡���b�¿SS �­¤¡S_«�^bS¡�§¨T�¿^_V�¡�c��cT� b§ST�¨RST�­¤¡S��TS�� Sc­¨TVU�������ÅS ST�__«¢��^_c¤�_S� Sc­¨TV���c�b�È�^_c¤��c�É�S�¤bc�¿Sc­SS �­¤¡S_«Ç¡¤bcT¤¿^cS¡�b¤cSbU�¦¨­SRST¢�b¤ �S��^_c¤�_S�Á¬]�bcTS��b�¿«�ÅT¤¡ÊÁ] �TS�T¨^cS¡����¨T¡¤ ¥�c¨�c�S�¡S§�^_c�©]�T¨^c¤ ¥��T¨c¨�¨_¢�c��c�¿�b¤��__«�c�VSb�¨ _«���b¤ ¥_S�b�¨TcSbc���c����¨ ¥�c�S��^_c¤�_S���c�bU

]T¨¿_S���Á�STS�¤b��^���T¨¨��§¨T�¤��T¨RS�S c�¨§�¡�c��cT� b§ST�¿«����_«¤ ¥�b¨�S�cT�§§¤��S ¥¤ SST¤ ¥�cS�� ¨_¨¥¤Sb�^b¤ ¥��^_c¤�_S�¡¤§§STS c���c�b�b¤�^_c� S¨^b_«U

© �TS�S c�«S�Tb¢��� S­�cS�� ¨_¨¥«���__S¡�®ÃÀ�È®¨§c­�TSÇÃS§¤ S¡�ÀSc­¨TVÉ���b�¿SS �S�ST¥S¡U�©c��T¨�¨bSb��� S­��¨ �S�c�§¨T��¨ cT¨__¤ ¥�c�S��¨ §¤¥^T�c¤¨ �� ¡�¨�ST�c¤¨ �¨§� Sc­¨TV�¡« ��¤��__«�¿«�b¨§c­�TSU© �c�¤b�bc^¡«¢�­S��¨ bcT^�c���Æ^_c¤��c��Â�S Ê_¨­ �¨ cT¨__ST�c��c�¡« ��¤��__«���_�^_�cSb��R�¤_�¿_S���c�b�^b¤ ¥�¿TS�¡c�ǧ¤Tbc�bS�T���¿Sc­SS �b¤cSb�¿�bS¡�¨ �c�S�TSa^Sbcb�§T¨��c�S�ÅT¤¡ÊÁ] � ¡��__¨��cSb�c�S���_�^_�cS¡�¡¤§§STS c�T¨^cSb�§¨T�c�S�ÅT¤¡ÊÁ]°b�^_c¤�_S�Á¬]�bcTS��bU�

ËS�cSbcS¡�¨^T�b«bcS��¨ �c�S�]`�ÅÆ�Ç�ÀÁU�Á�S��¨ RS c¤¨ �_��Sc�¨¡^bSb�c�S�b¤ ¥_S�b�¨TcSbc���c�¢���c��U�� ¡�¨^T��T¨�¨bS¡�b«bcS��^bS¡���c���c¨���c�³U�`Sb^_c���b�¨­b�¨^T��T¨�¨bS¡��Sc�¨¡��ST§¨T��¿SccST�c�� �c�S�cT�¡¤c¤¨ �_�¨ S�¿«����¤SR¤ ¥��¨TS��R�¤_�¿_S�¿� ¡­¤¡c��­�S �­S�¤ �TS�bS�c�S� ^�¿ST�¨§���T�__S_�Á¬]�bcTS��bU�`Sb^_c���b�¨­b�c��c�c�S�¿� ¡­¤¡c��VS�c��¿¨^c�ÌÌ�Æ¿�b�� ¡�TS���S¡�^��c¨��¿¨^c�±��Æ¿�b¢�� ¡�c�S�cT�§§¤��­�b��_b¨�bc�¿_SU�© �c�¤b�S��ST¤�S c¢�¨^T�R¤Tc^�_�����¤ S��¨bc�­�b�Sa^¤��S¡�­¤c��¨ _«����Å�¿b�À©¬U�®¨¢�c�¤b�TSb^_c�¤ ¡¤��cSb�¨^T��T¨�¨bS¡�b«bcS��b�¨­b��ST§¨T�� �S��_�¨bc�Sa^�_�c¨�c�S���«b¤��_�_¤�¤c�c¤¨ U

]^ZT*^L`L^QMZaSbZOSa�QNVPLË*ZaQÎWLa]^ZT �ZOQ\VbL�ZOSÐSa�QaLbTZOÍQVWW^S\VbSZaQ

&&

INTRODUCTION

ARCHITECTURE OF AppMon

99'7�9(;)PQ

567�8�����

Ã*no/01 ��ÚÛ��

ËS �T¨�¨bS � �¨ cT¨__ST �¤¡¡_S­�TS  ��S¡���ƨ U ©c ¤b bSc ¿Sc­SS  b­¤c��Sb � ¡ c�S�¨ cT¨__STU Ë�S  c�S §¤Tbc §_¨­ bc�Tcb¢ ���ƨ  ­¤__a^ST« c�S b­¤c�� c¨ ¥Sc � ¡ ��_�^_�cS ¤ §¨T��c¤¨ ¨§ c�¤b §_¨­¢ ¤ �_^¡¤ ¥ c�S  ^�¿ST ¨§ ���VScb �ST^ ¤c c¤�S¢ c�S �RST�¥S ¿� ¡­¤¡c� � ¡ c�S �RST�¥Sb¤ÍS ¨§ �ST ���VScU ���¨T¡¤ ¥ c¨ c�S ��_�^_�cS¡TSb^_cb¢ ­S ��cS¥¨T¤ÍS c�S §_¨­b ¤ c¨ c­¨ ���VSc�¨��^ ¤��c¤¨  ��ccST bU Á�S ¨ S ¤b _�T¥S ��¨^ c¨§ ¡�c� cT� b�¤bb¤¨  ��ccST  � ¡ c�S ¨c�ST ¤b �¤¥�§TSa^S �« �Sbb�¥S cT� b�¤bb¤¨  ��ccST U Á�S���_¤��c¤¨  ­�¤�� ¤b bS b¤c¤RS c¨ ¿� ¡­¤¡c� ­¤__ ¿S�__¨��cS¡ ­¤c� � ��c� c��c �T¨R¤¡Sb c�S �¨bc¿� ¡­¤¡c�U ©  c�S b��S ­�«¢ c�S ���_¤��c¤¨  ­�¤��¤b bS b¤c¤RS c¨ _�cS �« ­¤__ ¿S �T¨R¤¡S¡ ­¤c� � ��c�­¤c� _¨­Sbc _�cS �« ¿Sc­SS  b¨^T�S � ¡ ¤ cS ¡S¡¡Sbc¤ �c¤¨ U �__¨��cS¡ ��c� ­¤__ �_b¨ ¿S ^�¡�cS¡�ST¤¨¡¤��__« �b  Sc­¨TV �T¨�STc¤Sb ��� ¥Sb c¨ ¿SbcTS§_S�c �^TTS c b¤c^�c¤¨  ¨§ c�S  Sc­¨TVU Á�S¿S ����TV¤ ¥ ¨§ c�S ¿� ¡­¤¡c� � ¡ _�cS �« ­¤__ ¿S¤��_S�S cS¡ ¿« ÂRST_¨T¡U

À¨­�¡�«b¢ ¤c ¤b �_S�T c��c  Sc­¨TV¤ ¥ �_�«b �RST« ¤��¨Tc� c T¨_S ¤  ¨^T b¨�¤Sc«U Á�STS �TS�^_c¤�_S c«�S ¨§ ���_¤��c¤¨ b ¨  c�S  Sc­¨TVU Á¨�T¨R¤¡S � TS_¤�¿_S  Sc­¨TV bSTR¤�S¢ ­S �^bc��bcST c�S �¨TS  Sc­¨TV �ScT¤�b �§§S�c ���Tc¤�^_�T ���_¤��c¤¨ U Á�S ¢ ©§ «¨^ ��  ��cS¥¨T¤ÍSc�S ���_¤��c¤¨ b ���¨T¡¤ ¥ c¨ c�S VS«  Sc­¨TV�ScT¤�b c��c �§§S�c c�S¤T �ST§¨T�� �S ¿«�¨ ¤c¨T¤ ¥¢ ­S ��  c�VS ­S__Ç ¡¤TS�cS¡ T¨^c¤ ¥�Sc�¨¡b §¨T ¡¤RSTbS TSa^¤TS�S cb §T¨� S�����cS¥¨T« c¨ ¨�c¤�¤ÍS c�S �__¨��c¤¨  ¨§ _¤�¤cS¡ Sc­¨TV TSb¨^T�SbU SU¥ ­�S  ^b¤ ¥ c�S  Sc­¨TV§¨T cS_S��¨ « � ¡ c�S ¡S_�« ¿S�¨�Sb ¥TS�cST c�� ����b c�S ^bST S��ST¤S �S ­¤__ ¿S ¿�¡ ¿^c c�Sb��S ¡S_�« §¨T � §¤_S cT� b§ST ¡¨Sb  ¨c ¤����c c�S^bST S��ST¤S �SU�� ¡­¤¡c� � ¡ _�cS �« �TS c­¨ ��ΨT §��c¨Tb

c��c �¨ cT¤¿^cS c�S �¨bc c¨  Sc­¨TV ���_¤��c¤¨ �ST§¨T�� �S

�Q»�NOSËQUVMLQÑZabLabPQYbOLVMSa�Q)LbXZËQbZQ'MWOZ`LQUOVWXS\Q½[V^Sb�Q¼L^S`LOLËQN�QÑ^Z[ËQUVMSa�

&>

Ñ^Z[ËQUVMSa�QYLO`S\L`S\L

99'7�9(;)PQ

Ñ^Z[Ë UVMSa� YLO`

567�8�����

Ã*no/01 ��ÚÛ��

¬_¨^¡ Å��¤ ¥ ¤b �  ¨RS_ �_¨^¡Ç¿�bS¡ ¨ Ç¡S�� ¡ ¥��¤ ¥ bSTR¤�S c¨ �__¨­ �_�«STb c¨ �_�« ¥��Sb ¨  � «c¤�S¤  � «­�STSU Á­¨ ��ΨT cS�� a¤^Sb �TS ^bS¡ c¨ bcTS�� c�S ¥��¤ ¥ �¨ cS cb c¨ ]_�«STb� © bcT^�c¤¨ Ç¿�bS¡

®cTS��¤ ¥ � ¡ ©��¥SÇ¿�bS¡ ®cTS��¤ ¥UInstruction-based

Image-based

Local Device High Requirement

Low Requirement

Graphic Quality Original Degraded

Usage Small Area Comerical

��¡R� c�¥Sb�

� �^¤_c�^�¨ �Å��¤ ¥� «Ë�STS¢�Æ�¤ c�¤ ��R�¤_�¿¤_¤c«�c¨��� «�ÃSR¤�Sb� ©��T¨RS�ÅT���¤��ª^�_¤c«�¿«�`S ¡ST¤ ¥���Tc�¨§�c�S��¨ cS cb�_¨��__«��c�c�S��_¤S c°b�¡SR¤�SU

� §§_¨�¡¤ ¥�b¨�S�¨§�c�S�­¨TVb�c¨��_¤S c��S_��c¨�_¨­ST�bSTRST�­¨TV_¨�¡U

PSNR SSIM

Image-based 43.96 0.9964

Hybrid System 46.20 0.9966

/� ���*������!�/�!��$�$#�;<=ÒÓ�{ -��

99'7�9(;)PQ

567�8�����

Ã*no/01 ��ÚÛ��

��

xyz{|}~���~{��~}}z��HI1KL 8���-�.����@���� ���z��yz��$% HI1�u��� �xyz{|}~���~{��~}}z�HIJ���`�����<����� 8�����1�<�A���P�� ���8��<���1�� 8��P��1� �� ��z��yz�A���P��<������<¡¢6£¤1$¥��A���P��`$¥��:£¤1A� 8G (���� ¦1xyz{|}~���~{��~}}z�HIJ<§¨�� ��z��yz��©ª ��«¬56���­®1$¯�������°±cV�l²1����:�A���P���� 1³´�����µ�¶�1·�:¸¹��z��yz�12�:����������°±c1l²���:�9�¸¹FE��z��yz�xyz{|}~���~{��~}}z��HIKL<º»� ¼½��� �

¾¿������1�À5F���P�ÁÂ.<Ãıc 8G (�56��������1�Å 8Æ~Ç��È�zÉÊzÇË{zÌ��z��~�ÍË{ÎÏÆÊ�Ð �ÆÊ�1�Å 8]^���(78xyz{|}~�`Ñh����� �xyz{|}~�12�:���������xyz{|}~���~{��~}}z� ���8������<qu�Ò���� �9�:;��Ó56�������HI [6iÔxyz{|}~���~{��~}}z��HI<[��ÕOP`Ö× 8G `7S� �xyz{|}~���~{��~}}z��OP������ØÙJ��� Ú68ÃÄÛÜ1�����ÝÞ<ß� 8G (�ßà Ú6u:��������1áâãG�� �

��h5xyz{|}~���~{��~}}z��HI1KL 8���-�.��Å1hä���� �

IKL<º»� ¼½������� �

Constructing Assurance Case using Information From an Issue Tracking System

Introduction

Overview of Construction

We address the problem of constructingan assurance case by presenting anapproach to find some issues in issuetracking system that can be informationfor constructing an assurance case (AC).

Design & Experiment

99'7�9(;)PQ

Ã*no/01 567�8�����

��ÚÛ��

&o

�����_S�¨§��bb^T� �S���bS�

1. FFormulating a query: user selects words or sentence that relate to the claim for an AC.

2. Searching document: a set of issues that relates to a query is retrieved (ranked result) by a retrieval engine.

3. Applying topic modeling: issues from the ranked result are inferred using a topic modeling tool. Then, issues that are related to the same topic are grouped into the same group.

4. Screening the result: this step, users can easily select issues from a small size of issues in group of interest for constructing ACs.

Solution1: We read all of the issues. We found that there were only 10 issues that related to safety or security.

Solution2: We used topic modeling to prepare information for constructing an AC.

Solution3: We used document retrieval to prepare information for constructing an AC.

Solution4: We used document retrieval and topic modeling to prepare information for constructing an AC.

We compare the results of 3 solutions by measuring effort, time, coverage and cost.

Evaluation & Conclusion

"#$%ÔÕ��Ö�Ò×:mØ�

ÙÚ�ÛÜxÒÓ

&�

ðñ�-�

��1H������¢��

99'7�9(;)PQ

567�8�����

Ã*no/01 ��ÚÛ��

�j�Ä���É��Ò H�`Ä£¤`ÉEKF9 Ru¦���$�� !�"ÀïÉ� ����uâ ÒvwLîáÀ¾lÑ.�.É� ������.ÀÈk�¨3Z���L��.�9�8�´ÞïØ��ufMÐ ÒRá�àáuÓ�H�À¾lÑéÎÐÉé���W�� ûÔ���Ò ÐÈÉ�� !�9�8��ÀÉ��:54��{��À$ÎRL�������L ¡.���ÐI$��F��P�¯3�¸assurance case»��\u¦���$ÎRu©DÒáÀ¾lѾ�ÉP3E�6�Y�Ä�Z�Y8�Y��38L²M.��� !Ò Aä.W���� !�Ul$9�8�p�F)¯3�ºP234R.Àï��F��P�¯3�È¢�H�À¾lÑ����������������������F���������������������������������������������������������������������������������������������������������������������������������P ¯̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄̄3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333��������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������������ÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈÈ¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢¢� ������������������������������������������������������������������������������������������������ÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀÀ¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾¾lllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllllll

��1H����� ¡

��L ¡l$���qc4Ä ¡�È+úÒï�u��H�À¾lÑ����ÐÈÉ��F��P�¯3��fl$C ����ÄÉé�¥¦ù�Ò ��À��.À¾lÑ

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

$%$&'() *�)+,-./012345��678-.

0�É��F��P�¯3�Èé� ¡�u]â�ÒØɾ�ÉUn%&'R�O«`L��ÎRïp��u��$��Éé����j1u¦���À¾lÑ����ÐÈÉ����l$%&'����F��P�¯3��æ¥Ò��L[\l$Ò � ¡��ù�ï��.À¾lÑ $99�:9;<�;<99�:;=>?@A<��;9B9=:C9"DE�FG

HIJK?�:9 ILMK?�:9 MNOK?�:9

UZV^QYbO[\b[OSa�QÌZbVbSZars��

Ñ�ÑYÝÞßà�ÛÜ

&�

99'7�9(;)PQ

567�8�����

Ã*no/01 ��ÚÛ�� Ã*noo* oonnÃÃà nnoà nÃ*nnà onn* oooo* onnooÃ*ÃÃà ooooo*n* on*ÃÃÃ*no

YÏC�ÐÑ@{ !��

9:Ò "�Ò"

"� !!!�1 � �1� ���1� � 2"�% � $�3� �����21�"%�

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

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

��������� �

����

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

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

���������

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

� !"�#$��%&'

�(��)��*�+,�

����

������������� !"�#$��%&'�(

�����)�-.�#$/�

�������01�2���

3(�4����.���

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

���5����678������3#$��

9:��;���

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

9:�<=0������>

������ �����

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

���5����678������3#$��

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

���#$������

��.���

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

#$���)�01��-

������ �����

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

���5����678������3#$��

4��<=�����

�����������

?@A#$�#4�%&

'�(�B�C@A#$

�#4.�D�����

3(�

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

��� ����E2FG���H�I3�JK�L�

�D�����3(�M

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

�����������N;�<=��

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

78������3#$

��

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

O�P�QRST UV

WX�YZ.��

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

@A#$�-.�D78

�������[\��

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

]^_`ab����0#

$JK����� ���

��

�����������

����6�����

cP35���5#$.��

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

QRSXd������

�����������

(�#$/�QRSX��ef.6B��L��

D0���5�����3(�

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

����g;���.6���������hi�

6����������

jk�(�

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

���#$���-��

l�m9:�L��

nop�qr2��

m9:�-��<=�

qr2��

�����������

������stp�u

�gv�����Emw

�xy35z{3��6

rm���.�����

jk�(�

�����������

���578������3#$��

����������

ýþ®��� ����`'�����0_`'��� �(ýþ���Öz�'�!�{��(JO öÂ� 6'Q�+�O !�&��0Ù��I@���G'Q�+È&M`"�+(�;�Ý�Å� -�Q�,�!���<��&(���#$���$������ �Ý�Å����'Q�(�z����#$�«HÙ��I@�� ��0�'�&0�� ���Í6M`;!"��

Concolic Testing

�â�C§�(����Ñõ�(�� � C§��ÃÄŨT;(!Ì�ñ�"#�'¡v�$uv%&�êª�0�è�'�'�G'�������� ������ÐuÑ(��������)������*+Þ,-��� �0Az�"���.���; �!/�¸�!Ì/0�ì�O !�!�01+¨IH(Q�01�*2�'�&0Ñu13#�z!;45�§!"���

áâã}~ä/�å�

Cé��@�ýþ®12û ��6�"7�Ý�Å0@!;�89ï���§��.��r:��;ÊË�;+µ¶M`"��

����<&0Ý�Å�8�§!"���<�.��ç0¡v�$uv�êª�è���z!'Q��(Û ¡v��=õ¬bû���_T(Ý�Å�«H>?��@�$P�'Q���¾�"��

�â�01�*2�'�&0(Û ¡v�$uv�èêª:���Az�"���

������������& ����������� '�� ��()�*�+,�'� �$�� ��

-.��.-%

��� '�� ��()�*+,�'� �$����-.��.-

%��� '�� ��()�*/+,�'� �$����

-.��.-%��� '�� ��()�*0+,�'� �$����

pgF#9$ pgF#9%

pgF#9K&

��� v¡4¡v��$P_`'Ý�Å0ä���$P�NOÝ�Å+\-A"`;!'�Û ¡v��B�0§�C�+ I��Q�0DE

���Û ¡v��F�-�$P+,�!�#$=�¡v�>è=+Gr�Hü��Q�0DE

æçÃ�������áâã}~ä/�� ��èé$#�ê<#ë�­.

567�8�����

/01 ��ÚÛ�� 9'7�9(;)PQ

Ã*noÃ*noÃ*no

&�

MEMO

MEMO

Published by SDLAB