情報処理学会ソフトウェア工学研究会SIGSE 2001-SE-131-13 pp.83-86, 2001-06

                  !#"$&% '!()+*,).-!/!0.1!-3254!67+8,9.:!6!-.;!<!).-!=3)5-!>3?563-!25436

B@ ADCDE
FHGHIDJHKDLHKHMDNOQPSRUTWVXIYT[ZD\^] _`RHaXbdcfehgdiXjHk]DlSmnKHRXoqpHjfrqsft @qAvuSw
xnySzX{n|D}S~f f [&¡¢£¥¤ [h¦§¢¨ª©+Wh¨«¬®­¯ª°±[² £³^´Wµ·¶¹¸º·»¼¾½Q»W¸¿³À»ÂÁÄÃÅÆº·»¢ÇÈÁÄÃÅÆÉÊÅË[¸ÌÍÏÎÄÐÑÎÓÒÔÕ·ÖØ×[ÙÙÓÚ
Õ·Ö×[ÙÙÓÚ¡Ù¹Û¡ÜÞÝÛßÙÄÍàÎ¹ÒÆáâÙÄÝHÕ·ÖØáâÔãÝÖäÔÙÓÛæåçÝ[è¹áéÝ[ÔãÔãÍ`áéÝ[èêÕ·ÖØáâÔãÝÖäÔëÄÎÓìÎÓÝqíÐîïÎ¹ÝÖäÔðÐñÜòÝóÆÒÆáâÒÑ[ÒÔôQóÎ¹õïÎ÷öÝáâîÄÔãÍÏóøáéÒÆùÙÓÛÕ·ÖØáéÔãÝÖäÔúÎÓÝÐqûüÔðÖØ×[Ý[ÙÓÚâÙÄèÄùí ýóÆÒÍÏÎþÖäÒÿ^áâÝ·ÒÔãÍÙÄÍõ[óÆ×[ÙÄì áéÝÎÓÝÎðÎÎÎÄó ×[ÔäÚ ÐháâÝÜøóÆ×áâõïÎÎì[ÍÔäÛßÔðÖäÒÑ[ÍÔ ÛßÍÙÄà±ëÄÎÓÝ ÒØ×[ÍÙÄÑ[èÄ×    ÜÞÝÒ×á óÎÓÍÒÆá ÖØÚâÔ Ôá Ú Úæý[ÍÆáâÔùñóÆÑ[ààÎÓÍÆáãÔ«ÒØ×[Ô«Ðþá óØÖäÑóóòáâÙÄÝóÙÓÛçì[ÍÙ[ÖäÔðóóÎÓÝÐBàúÔãÒ×[Ù[ÐÙÓÚâÙÄèÄù÷èÄÍÙÄÑ[ì!#"%$&('*),+.-,/021,3.4652798;:<= >@?BACD?BEGFIH(JLKM(MBNOMBPRQSTVUWSFXFY>ZUWST[H(JLUWFYSJYF\]^@?B_!?a` S%UWb!FY>Zc^ZUWEZdeMVdM!Sf?V_?(\ ]^@?V_? !#"%$!&%' \gVh;ifh*j c $! c !kml iKon p  c $! c !kBq.lsr ?Btp
UWSMCFVuvUWJY^Yn FY^Yn M!^@?B_!?#csC nw?VJn xGyz{}|~}

F_ AgDADi+DAD^+h0i¡pa¢£¤ 0¥!¦ §!¨©ªaD« h¬ª­D+® k f!¯°¬©
iZ | m z±v²²!gD !d³ADAh`´aµ¶D¡·!¸¹0!º »µ¼½¾DA¿i¡Àa lAmDnpo f!qrs t~D+Á0ÂAÃ Äf´ÅÆDÇAÈDÉªÁÂ0Êh:ijfj ËAÌDAaXDYZ[\Y]^+_ÍÎDÏAaÐÑÒ È fp?ÓÓ Ô [ÕY Ö[×v^!_ tÙØÛÚÝÜÞàßâáäãåáæçßâèêéêßìëíãåãªîðïÝé fñÉ Ï   ^´_~:{[´DYAÏ!ò0·A:!d³:óôõDóô!f!ö÷DA~¬ªøÁ DóôAf!X0YZ[\Y] ^!_D`Aa¸:ÓA~©!i!ùsDú(û ²´aÓji ùsü©ýa!¢£ ¤ þ:` aAtq `!ÿ0Dd!aö÷0^!_~p¬ ©Êa b DA_0 DfÏ0©!iAaD³ È ú  û D¬© k X0YZ[\Y]^A_ `!aD^ DóA!º»µ¼D\uvxz{^A_ ~0dADAh`[ YÖ n v  _ ::ó´+i :f+ k [ YÖ n v !_0Dó!i abDcd[uÊY!"D^!_0!h k$# ~D`!a%& ¬(')D0©!i¡Àa*0!¸+ ,- ¤ . \uwvõxz{^A_DD/0+p¬01p©Êa0«hD 243j i!a56 ¤ $78¬$9 ©Êa:Z | m z± vý¬;:<:=?>óô @BA·ji k D© ²:©Êa ^0ó!i a :/0 Z | m z± vÀ
CDD$EF©Êa¢£ ¤ $GH¬IDÂDAó´i!abDcd # ~D`$J0fÏ $KL !0«Dóô!fA~¬   ÂDAd!

dg iêjFnRXaDbDcX] T T]êVHI KF HNHcX] w x oDt ys
Xt ~ g n]
F DNXcÈo ^M ÈV ÈIK fKÈNDcmf] ÿå NHc]vu
Ss ñ] no XVDIK n]BgDiXj nRXaDbXcno}
s }B~]D]XLDKXMDNOPRHo dRHaêbHc^e¥gHiHj]HlSm^KdR yt n]]
fKDRDI KXc u}S~ Ss
t HNdO I êK K u±_ ^KHRHI KHc
F X] ^RHauñw x e ñt nKDRXI KbDcBk _c
Dk _f]Dt ]HRDa
XM z NXc Bk o }ñ~ sñ] fo nKXRDI KDc nRÈa XM] dRHa HM]SgHi
Õ dRHaXM]Dt ] zy]
DpHjfrñsnt ~] ^] HNOI XK K ^o ±_ HII¢eFêk È_ I K
IFnRXaDbDcX] e
XknrBsnt ~DgXiDjnRHaXbDc u y ñtXt ~y] HNOI HK KH] E ]]pêj^]g yÈKêRêI Ku
c y
BpDj |D} e yu ^]Hlqm^KHR y
M N OQPSRQTSOVUSWVXZYVXS[t~u |H} e y Bt ~ö ÷a0\uvxz{D¬!^A_© k\ !ap¥]0      ¡ £¢ ¤¥¯® °±  ¦6§¨©ª¬«6­
³´¶µ·¸ ¹º »½¼ « §² °Ã 
¾ µ·¿ À §ÁÂ
²ÆÇ È° ¦§ ÅÄ ² °ÊÉ
Ë½ÌÍ² ° Ï¢ £±Ð£¿ aÎÑÒ ÓÔ ·Õ¶Ö§½× Ø«  Å¦§½­
¶® °¹º±ÙÚÛÜ¿ 6ÝÞ ±ßà« ½·½áâ Ïãä åæ ¨ç©·è§é½ê
6ìí µë§ìíð ½äñóò2ï£±ôÃîIï
õö µ ÷ø,û ¸·¸ù 6ú×  «6¦6§ üôý§ þ÷ø  þµ ôÔÞ  ÿ  O§    £¢ ç
ø
² °
â
« 
¦§ôø §    § Ô   ø§ !"§ ½¢ # ¸·6 
× !$ ÷øù 6ú 6¦§ &%
 !
 )+* § ,% ÷² ('6¤¥-  .0/Ã 
!12
£¢ !
£ Þ ± 34åæ¤¥µ !56£¦  è©
7+8 ÷ø ù 6ú :9  ; §<(=/ (# ¸?· > Ò ¸ë§,ô # ¸A· @½A© BDCEµâ×àµ6· FGH:I !
§ $34¯µ,§õDJ KLµâ

M

NPORQTSVUPW
X:Y Z[\Y]^A_D`!abDcd!eDfAgh0ijkDlAmDnpo f^+_qrst0\uwvyxz{^A_DZ|} ]!~+`!DA~ dpaD hA!
 A~0{[A0Yf ijADf!g aXDYZ[\Y]^!_Dd`!a \uvx z{^(\ u v x+z{ ¬;^: \ _ òD·a`:´qr © i` ab :Y(Z ac dñYZ(f:É aef: h:i(j k ¥]d$5D k Z |gh D¬^0 \ ef©Aiipô
 j0cD©> a k4l$mn©Aij k\po Ïjk Aaq-4l«!hp ¬EF0 k Â`!a0jr´jprFs ³!t56DA_t©ªaCDD`$uv0d³f² k t:ixwyw{z æ t |¹:Ö n v~}Y±a a 

f \ `!ap[ YÖ n va¤¥!Ï øùp²0K L vh k Aa©A²©ªaD«ô  a*£}u Á f!~ ¬Ò: kú h [+B{ L `ûü  fd`fj²Aaýþ !h»:Âij ÿíë :!AaK>´YDYD¬ ò ÂDóô!f¨Blf\uwvyxz{ ì d!0j4>
0^D©AiÏ!a:\uvyxz{¨Df· hAa ©¬ ò Â a0 k Â úh [!p{0¬;DDAd³fj!¸Ó4©$l`!¸DÓ\uvxz{ \4o `ò d!a  !XDYZ[\Y]\uv xz{ôa® 0Z | m z±wv¬¡ $ `f²f²Dd!
 hA') DÏ:wy:Ó 4rô²  ©s:· !"!#%$&$')(+*),'- .$/  01"!2#4365/'7869;:6<;86=;>?@1?;A66B
CEDFG-" HIJKL"!#(90?a ë î  t æ ¬(ef©!i mnD  (d³(:óô f´ k   hñ:óñaEF:k ÂFp`D$Dd³!aD²\ $0ÏDi³ k 0!hp! \po `!aEFp© k \uvxz{ ú ¬Êe0fjAak4l«uY on ±0¬!\uvyxz{5: ¤ $D k a¥(]Dd$¬ n ©+iAef! i ® k amn:( \*o  9(i³ k   ¬¡ô¢·df£> a k4l DjÏ ©ªaD«h¬¤¥0¦óôA§¨Dp©!Óp>óô!
f k ! a+[*YÖ n v a¤*¥:¥:Èd aó yKª>A \  «0 Dó ô! fpa:\ uvõxz{^A_a56D$K¬>! \4o !¢£0d³Dóô (f! k +c k a(«(a (a­mn 5 6ñÏa® ¯ñeDf°0óô! fi³ k  « hD ±Di abcd² ë î  t³ æ ¢·:©A²efp© ijf² k
!azµ´·¶t¹¸ Øµº  o¼» ½ [ DY ¾B¿ [ÀYÁ ¬efp©!i!aÂÃpl,-¬ªeDfDôóôAf§¨D e0f!gh:i³ijAÑÄ ÆÅ îðïÈÇ ÚªtÊÉÌË ëÎÍÐÏÝá Z | m z±×vy$:<¬?òD·i+aX YZ[ \Y] ^A_¬(ÑÒ0  \BoÏÓp°ij!p©!²0©ÊaÔ0²DA\uvx z{ÕÖ ¬×ØD!e0fij0óôAf \ `AaÙÚDdÛ A®©Aj\uwvyxz{^A_D$ hÜ 0©
i0ÂijDA`ÝghDfj!¸qa  ^_qrstDZ |} ]A~D$ÞDjfàß {[!0Z |} ]¹ßy \£o DAi`AaD hÜ `!®
k faáâD! ãp!fij!
äN Q
O PSRQTSOVUXWVY Z\[Q]_^QW
Ya`Xbcd 8efhg+i29j2kjlmn8;9porqs6t2uvw t x 8yze{|t} ~IE ?6t7n89 :< 8 =>;j : 9)'I G
 1 H &#Ij t
L?j G1?q-6H ¡  '¢£/ ¤H#q¥s@¥§¦¨q@s©«ª@¬\­@H@¥£@j;®@J;t789@:@<¥8@=@J;¯@q\1@@¤°#±I\C«@²¥³4t
96´µ¶ ·9@j < ¸¹»º@¼x'½µC¾t¿«À
>6­H@ÁI-B5/t%GÂ Ã1Ä@ÅÆÇ6È Æ;/¤ H#¿ÉÊGi%Ë+qs Â Ã¿«Ì ÍG­H6ÁGIJt@7n89 :< 8 =>J I'ÎÏnÐ  H?#uv w ¹¦ÒÑÓ6À@>nÕÔn-Ö2/t×<8=Ø8ËÙ-Ú ÛÜÝÞ t ¯q Ç È 'ß%Ö/¤j?tGLàá£u v w â²t Üãàä /å Ö/6æGÁnIJ¯q6¤ç6ÁjB?â²Jtèêéìëîíðïòñ4ï;óôíðõ÷ö÷íÒøùñ4ñ'úüûýö -@þ@L«H@þ@j¥@H?ç

N QO PSRQTSOVUSWVXåYÆæèçX:Y Z[\Y]^A_D`AaéDf')0j>!Ó²!
êÎë ¸DÓ` ap[YÖ n v  ì d 4
[YÖ n vyf0©!`!aXDYZ[\Y]^_D`a:Ì k fjAíëµî  a jïr jïr f+\(u vx!z´{ ¬¥ _l(ñðò ©ýaÏñ©ýa«( J ó ô ¬ý_  © k ýa«!h¬  `j0 h0fj0óô!fAaDjjG4õd$ö n÷ Y ì d!D0óôMÿx 8@yze{G| ¦ x8@yze{G| j  }JtG9 ´Ê ¼ e©jtj  1 - ­Hä  t j  *  w ¤/G­ H¯ qJ ¤çþÖ't Ç Äj¯ qG1 tAx 8 yze{| jÄ ÅGþ¤çÁjB-! " j GIGJt789 :<8Ø=Ø>2ØJ«Ø¯qØþØjI â²@L BØ ç#$ t'}Ø~I ØØ-Ø.Ö2/J2t 7n8;9Ø:<Ø8=>þ&%Øq2IEâ²LEHçÁ«nJ«t'ÑÓÀ>G BGC('%Ö*)£t+,G H9 ´ Ê@¼e¹»­HØ£-6Jt&-j?ÑÓ/.021  å Ö tØ2
3Gà%C*­ ¤ $ GÀ>­ H¯ q1 Hçj £ -Jt4¹Ée = *  J¯5 þjGIâ²L'Hç

67 Z98ÁjBØ2-Ø9;´Ø=I $ :/;£2t<!="j2
%IJ> ?­ H ¿Iâ²GLGH789 :< 8= >@ A ¤B ¿30 CD@EG 5 çGÁ j
GJtkj þj3FÍ­ H=G þ%C+tà CIH:JKCØØHçÖàÖ tMLn¤;<6¸ÝÙº?¼xONPQR S @GI5BJ=+ ,C z8 T%I3U tVW @ X GG1EG G;ç<¸)Õº¼xN
P Q R @ -%j % YZ[Gä H £@þt789 :< 8= >\@A¤B ÆGL@ %*]£H¯q1G  ç^