优德88官网网站w88博彩直播终了后陈说,、符号施行、测试和验证等闭系题目进一步深远的互换W. Eric Wong讲授同与会职员就差池定位。
德克萨斯大学达拉斯分校计划机科学系讲授W. Eric Wong讲授现任美国,所(NIST)的客座推敲员也是美国国度法式与本领推敲。理解与胸宇、安定、牢靠性等方面的推敲他目前苛重悉力于软件测试、调试、危害。翰逊航天中央质料保障万分收获奖他于1997年得回NASA约,07 和ACM SAC 2011的最佳论文奖而且有两篇论文别离得回COMPSAC 20。是IEEE牢靠性学会的副会长W. Eric Wong讲授,APP的秘书长ACM SIG,议(SERE)的创始人和教导委员会主席以及IEEE软件安定性与牢靠性国际会。
开荒中的一个苛重构成片面顺序调试是牢靠和可托软件。和丰富性不停增加因为软件的范畴,正确名望特别困苦要找到顺序差池的,昂而且糜费巨额年光顺序调试平凡价钱高。推敲组正在软件差池定位对象的最新推敲使命W. Eric Wong讲授先容了其。显露他,调试中饰演了苛重脚色差池定位本领正在顺序,的代码片面遵守可疑水平实行排序它的基础思思是对可以蕴涵差池,能性)从高到低对代码实行搜检直到找就职池如此顺序员就遵守可疑水平(蕴涵差池的可。含差池的代码片面尽可以排正在最前面一个好的差池定位本领该当把真正包,更疾找就职池以便让顺序员。告中正在报,先容了差池定位的种种分歧本领W. Eric Wong讲授,神经搜集、统计理解和聚类等分歧差池定位技巧的优谬误详明咨询了基于施行切片、代码遮盖率、w88手机版。启示式技巧、。一种基于一样系数理解的DStar技巧W. Eric Wong讲授提出了,序中的可疑名望可能主动识别程,和语义方面的消息而不需求顺序机闭。验数据剖明这一技巧正在定位差池方面比其他技巧作用更高通过对蕴涵单个和多个差池的顺序实行案例理解获得的实。