谢涛是美国 AAAS Fellow、IEEE Fellow、ACM 杰出科学家、CCF 杰出会员,曾获 2020 年科学探索奖,国家自然科学基金委海外杰出青年科学基金以及其延续资助、美国 NSF Faculty CAREER Award、ACM SIGSOFT 杰出服务奖、IEEE 计算机协会软件工程技术委员会(TCSE)杰出服务奖等。...
通俗地讲,软件测试就是在软件投入运行前,对软件需求分析、设计规格说明和编码进行zui终复审的活动。1983年IEEE提出的软件工程术语中给软件测试下的定义是:“使用人工或自动的手段来运行或测定某个软件系统的过程,其目的在于检验它是否满足规定的需求或弄清预期结果与实际结果之间的差别”。这个定义明确指出:软件测试的目的是为了检验软件系统是否满足需求。 ...
近年来,胡振江教授将研究重点放在程序演算及其在自动并行化的应用、双向变换的语言计、模型驱动的软件开发,以及软件求精过程的形式化上,取得了一系列突破,在POPL, PLDI, ICFP等程序语言的顶级国际会议以及ICSE,FSE等软件工程的顶级国际会议上发表众多成果。 ...
曾担任美国北卡州立大学计算机科学系助理教授和副教授 (2005-2013),美国伊利诺伊大学香槟分校(UIUC)计算机科学系副教授(2013-2017)和正教授(自2017起),是海外杰出青年科学基金获得者以及其延续资助获得者。长期从事软件工程的研究,在软件测试、软件解析学、软件安全、智能软件工程、教育软件工程等方面做出了很多开创性的工作并取得了突出的研究成果。...
Copyright ©2007-2022 ANTPEDIA, All Rights Reserved
京ICP备07018254号 京公网安备1101085018 电信与信息服务业务经营许可证:京ICP证110310号