Page 289 - 软件学报2022年第01期
P. 289
ÚÛÜÝÞßàáâãäåæ K
12_'`*a)bcdef567ghi.2Djkl7^<=m n@opqrst<=¦§¨©0ªYZ«¬®U
ÃÄÅghé
©0àª@
m
Ö{nóô./st
-./&012123456789:;<=NOPQR%ST2D UVWXYZQ[\]7&2D)IA()I2D ÏÐ
ÑIAfÐÒÑ:ÓÔ¹«¬®ãÃÈÉU¡¢j䶷ø%.ùúPMmç¯å´æghç°12ghç° ää
zd.7^g()*789:;<.UHÔpêQRiK+3YA*qNÐKGõ
å´µ¨
®ÈÉa)ºÊV:ÓÕnUVÇ£/ÖÕ×a)UVØÙÈÉd®ÈÉÞßmìíéîï§éðñ¥ò§Ï½óôþä¨7^<=lñ
峦÷
uÐÒÑ*+ãò .!"#$}º¹@oflQ1s÷m2 345N29BCD4()*XGmbcH5YZôi.UmWXA*s5Ylz{Ö
^=>?É()3Þmy»Ö>?$É)Q,N2U¹VW77^A*é12i.Ujki.ßITumow
å´µåZ
ÑÞmZ}~IJ.#4òéñ§ñò#$}YØ2Dubcmn¿
kѳ´µ
º»ã
ýòò
ãä¨uQ¹stJmn@o+,º%;-A.UIJd/0@÷m2»#4A*FG»@of1&naGbcÑd?U7^Fgµ³¯(ß`+#4m9Iy2D&@o2DbcVØZ¶·!Z#4}©0Kªû2)Z½IJDË3dÑU12DE12H5IJN2?É£¤º%i3û2Ôs¦?¯ñ¨}guÇ)STñ¨¥ñäðÎÞÏк%ÑÒÓÔÅÆa
vwxyz{|w}~./=`*Im¯°±±¦±²³´²µmnUV¶·¸¹a)IA ¿®ËÌÍÎ7^<=àáâ¥õö÷.#4mnóôzu<=;<=½è7^Ï%&7^OPI6Ñ345.QEúIÉLMNOPàáâÃÃefl$£WXtuv<=aG12)v#EIJd
.PMi2D)mmü{|ö3Aû2§?w£¢Õ Ãy»IJ¹1)`ã§!2ÃÄEÑ)ÈÉÞ¶·2DIѦµ²¯Ìµæ²µ²³æ
dòéÖ):.!PMm²µ²³ç³³ÍÖº%
2Ôw¡Ô¸¹@A¾^_q´}º¹q´IJ ÖSTòéÇ2D)åççÍçf./¿
ç¯å´æ 2UVmKãò*¶2m¼½2D#$»oZ3Ö¨]üʨãç¯æÑÒ¼½ÅÆ
*c
ovJKÉFGST\]^_`+i(± >?Çmnor(å´µ¨±A*xf12))|x2D)2D) .!PMy»Ô¹@oáâ .!"ãµæÞ)qrgh ílU12#4783¢ÕR%12UV?É<;-s¦§?É<@A¬®Þ¸ø¹7^<=S«ot2Dghu¸Ë(¥¥ñ¨¥ñäð¸%x./2Dm
2DE12FGH5IJ KLM<='I
X ¡¢j£¤M<YZ¥IAº»¼*º%½¾¿ÀWX'ÁÂ¥YZº¹«¬ÚÛm eÜYZ¶·ÝÉ@A`ÐÒåæåçè£}.énóôû2.ü{56mÞIT
'.UIJ()6FGÑÐÖ~¥ ²° &Fga)mnmnopõhA*ÖKGIi12b2{z{IJ2D*.H@Èäåi3IJmÖ.É<A*tu¨ ËÌ&~PM¢Ám¹ÅÆ¡¢ç²µåGÕW30×Ø
!"#$%&'()*+, >?@ABC^uVIAÆ»ÇU®&êéëé7¨ý ¨¨
567hÉ>?©0ª&74I@«oPÐ*#4Z©0[ªõhA*FgFgh<=c)12°µæZ!G9ר1°¡±²tÞßp&ÔXG)~±å¯³µ²ç¯Þ!C±µÙ9E
I
UVa)û2`1õ2DN2#4 .2Dl3ITlE.¥2Dlé#$}©å²³² H-ª«·¿ÀPMIggQ ¸~sc