öλÔÓéÀֵǼÈë¿ÚÏÂÔØ

µ¼Ê¦ÐÕÃû£ºÖ£ì¿
ÐÔ±ð£º
ÈËÆøÖ¸Êý£º111

ËùÊôԺУ£ºÎ÷±±¹¤Òµ´óѧ
ËùÊôԺϵ£ºÈí¼þÓë΢µç×ÓѧԺ
Ö°³Æ£º¸±½ÌÊÚ
µ¼Ê¦ÀàÐÍ£º
ÕÐÉúöλÔÓéÀֵǼÈë¿ÚÏÂÔØ£º


ͨѶ·½Ê½ :
°ì¹«µç»°£º**-8421
µç×ÓÓʼþ£ºwzheng@nwpu.edu.cn


¸öÈ˼òÊö :
Ö÷½²µÄÈí¼þ²âÊԿγ̻ñµÃ¹ú¼Ò¼¶Ä½¿ÎÔÚÏßѧÌûñµÃÉÂÎ÷Ê¡¿Æ¼¼½ø²½½±¡£

¿ÆÑй¤×÷ :
2012ÄêËæ¹ú¼ÒÍâר¾Ö·ÃÎÊÍŸ°ÃÀ·ÃÎÊ˹̹¸£¡¢¼ÓÖݲ®¿ËÀû¡¢¿¨ÄÍ»ù÷¡µÈ¸ßУ£¬ÒÔ¼°HP£¬Oracle£¬GoogleµÈÆóÒµ¡£2013Äê6ÔÂÔÚÃÀ¹ú¾Ù°ìµÄÊÀ½çÈí¼þÖÊÁ¿¹ú¼Ê»áÒéÉϵ£ÈηֻáÖ÷ϯ£¬2013Äê10ÔÂ-2014Äê10ÔÂÔÚÓ¢¹úÂ׶ز¼Â³ÄÚ¶û´óѧ×ö·ÃÎÊѧÕßÒ»Äê¡£Ö÷ÒªÑо¿·½Ïò£¬¸´ÔÓϵͳ£¬´óÊý¾Ý£¬È˹¤ÖÇÄÜ¡¢Èí¼þ¹¤³Ì£¬Èí¼þ²âÊÔ£¬ÖÇÄÜÉçÇø£¬ÐéÄâÑݲ¥ÊÒ¡£ ³ö°æÈí¼þ¹¤³ÌÏà¹ØÁìÓòµÄÖø×÷½Ì²Ä5±¾£¬·¢±í¿Æ¼¼ÂÛÎÄ30Óàƪ£¬ÆäÖаüÀ¨SCI,EIË÷Òý30Óàƪ¡£ÉêÇëÈí¼þÖø×÷ȨÈýÏרÀûÁ½Ïî¡£Ö÷³Ö»òÕß²ÎÓë¹ý¹ú¼Ò863ÏîÄ¿£¬¹ú·ÀÔ¤ÑÔ¿ÎÌ⣬¡°Ê®Ò»Î塱¿Õ×°Ô¤ÑÔ¿ÎÌ⣬º½¿Õ»ù½ðµÈ×ÝÏò¿ÎÌâ¡£²ÎÓë»òÖ÷³ÖÓëÈÕ±¾NEC£¬ÖÐÐ˹«Ë¾£¬Öк½¹¤ÒµµÈµ¥Î»µÄºáÏò¿ÎÌâ¡£?Ö÷ÒªÂÛÖø£ºZheng Wei, R.M.Hierons*, Miqing Li. Multi-Objective Optimization for Regression Testing, Information Science (SCI Accept)?Cao lixin, Zheng wei Concurrent program semantic mutation testing based on abstract memory model, IEEE ICIA 2015, August 2015(¿ØÖÆÀඥ¼¶»áÒé). ?֣쿣¬ÎâäìÑ©£¬ºúµÂÉú£¬»ùÓÚ°ë¼à¶½Ëã·¨µÄÈí¼þ¹ÊÕ϶¨Î»Ëã·¨Ñо¿, Î÷±±¹¤Òµ´óѧѧ±¨ (EIÔ´£¬2015ÄêµÚ3ÆÚ) Zheng Wei*, Wu Xiao-xue, Cai Lu, Experimental Evaluation of FSM-Based Testing Cost for Time-Delay Systems, Mathematical Problems in Engineering, 2014, June. (SCI: **001)֣쿣¬ Àî֪¡£¬ ½ùÈçÒ»£¬»ùÓÚƵÂʲîÒì»ý·ÖµÄ¹ÊÕ϶¨Î»Ëã·¨Ñо¿? Î÷±±¹¤Òµ´óѧѧ±¨? 2013ÄêµÚ3ÆÚ (EI: **867) Zheng Wei*, Bai Han, Multiple-bug Oriented Fault Localization: A Parameter-based Combination Approach. Proceedings - 7th International Conference Software Security and Reliability Companion, SERE-C 2013, 2013, (EI: **097)Zheng Wei*, Liu Qi, Zhang Liang, The Research of Statistical Testing Fault Detection Method Based on Embedded 6th Int'l Conference on New Trends in Information Science, Service Science and Data Mining TAIBEI p 120-124, 2012? £¨EI **851£©Ö£ì¿,ÑîÍþ,Ëκ£¾²,? Ò»ÖÖ»ùÓÚ¹æÔòÌáÈ¡µÄ×Ô¶¯»¯²âÊÔÓÃÀýÉú³É·½·¨. Î÷±±¹¤Òµ´óѧѧ±¨. 2012 ÄêµÚ2ÆÚ (EI: **892)Ö£ì¿*, ¸¶Î°Ç¿, ÍõÏþÔÊ, »ùÓÚ×®ºÍÇý¶¯µÄµç×ÓÖ§¸¶ÏµÍ³×Ô¶¯²âÊÔƽ̨Éè¼Æ Î÷±±¹¤Òµ´óѧѧ±¨2010, 28(6) .(EI: **618)Zheng Wei*, Xu Hai-tao, Guan Lu-shuai, Model Based Automatic Test Research and Application, Nanotechnology and Computer Engineering, 2010, 121-122, 1033. (EI: **387)