research profile - naist · graduate school of information science nara institute of science and...
Post on 08-Sep-2018
215 Views
Preview:
TRANSCRIPT
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�!p3ZsÐ���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���STL¦�À��.¾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¤Sb�^b¤ ¥��^c¨��c¤��®c�c¤��� �_«b¤b�� ¡�`SR¤SST�`S�¨��S ¡�c¤¨ ¢¯�¤ �]T¨�U�©¬®�°��¢�����¢���U�±��²±³�U
���������� ������������������ ��
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�¿ScSS ��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¡�¿ScSS �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�¿ScSS �¤¡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���¿ScSS �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 ¿ScSS 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 �« ¿ScSS 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���¾�"��
9ï
�â�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
&�
top related