用户∶  密码∶   
姓名:蔡维德 职称:教授 座机:010-82338151 邮编:100191 办公地址:新主楼H1005 电子邮箱:tsai@tiandetech.com 个人主页:

蔡维德(Wei-Tek Tsai),男,博士,教授,博士生导师。现任北京航空航天大学教授。1979年在美国麻省理工学院(MIT),获得计算机科学专业学士学位。1985年在美国加州大学伯克利分校获得计算机科学专业硕士学位及博士学位。在美国明尼苏达大学和亚利桑那州立大学计算机系任教30余年,培养出博士80余人,是美国亚利桑那州立大学计算机科学与工程系实验室主任。蔡维德教授共发表论文400余篇,书籍著作5本。研究领域包括服务计算,软件工程,云计算,众包,服务计算以及区块链。曾担任30界国际会议的大会主席。曾任欧盟智慧城市和美国多项软件工程及服务计算项目负责人。他的研究工作被美国国防部,Guidant, Intel, Cray Research, US WEST,日本富士通, 日立,等多国机构及业界认可并且应用。蔡维德教授是中国开源软件推进联盟(China OSS Promotion Union)专家委员会副主席,及工业和信息化法治研究所高级研究员。 研究方向包括: 1.软件工程:率先提出并实现了面向对象的测试方法,研究论文先后发表在Journal of Object- Oriented Programming,Communications of ACM等国际期刊上,并被软件工程经典教科书R. S. Pressman 的Software Engineering: A Practitioner's Approach所引用;提出了在工业界有重要影响的回归测试技术和实践方法,相关成果发表在Communications of the ACM上,并被主要的软件工程教科书Ian Sommerville 的Software Engineering所引用;提出了系统的点对点的测试方法和分析方法,这个方法被美国国防部所采纳,用于系统的Y2K测试;提出了一个针对嵌入式系统的快速测试和安全临界点测试的方法,被包括Guidant在内的医学仪器厂商广泛的采用。事实证明,它可节省将近70%的软件开发费用,效果明显。) 2.数据库系统:提出了评估多级别安全并发控制算法的框架及一种具体协议,该成果在数据库安全领域具有重要意义,相关论文发表在IEEE Transactions on Knowledge and Data Engineering;提出了医疗仪器的性能安全分析方法(在IEEE Computer),目前被医疗仪器工业界采用。 3.软件维护:率先提出了基于数据相关性的软件维护方法,具有许多传统的控制流分析方法不可比的优点,相关论文先后发表在了Journal of Software Maintenance –Research and Practice等国际期刊上。该成果被富士通公司采纳,基于此方法开发了Y2K软件测试工具,并出版了日文著作。与此同时,US WEST公司也采用了这种办法进行软件维护,解决了困扰公司15年之久的难题。 4、面向服务计算:蔡教授及其所领导的ASU软件研究实验室自2002年起开展关于SOA的软件工程方法与技术研究,近年来在国际期刊及国际会议上发表相关论文100余篇,并出版了3部专着。作为该领域研究的先驱,他是最早开展SOA生命周期过程、SOA协同验证与确认、SOA建模、SOA仿真、SOA数据溯源等技术研究的学者之一,对该领域有着重要的影响。据Google Scholar搜索显示蔡教授在以下几个方面的研究都leading:“面向服务的软件测试”、“面向服务的仿真”、“SOA应用体系架构”;并且在“面向服务的系统工程”。其前瞻性的研究成果已经被广泛引用,主要包括:率先探讨了SOA体系架构的扩展和变型,提出了一系列的框架模型,如CCSOA (Consumer-Centric SOA)、UCSOA (User-Centric SOA)、ICSOA (Interface-Centric SOA)和RTSOA (Real-Time SOA)等。并且,第一个提出了SOA应用体系结构分类,对SOA动态体系结构进行了深入探讨;最早探讨服务测试问题,提出了SOA协同测试基础设施WebStrar,并提出了众多的SOA测试方法和技术;率先将本体技术应用于软件开发过程,提出针对软件复用、基于体系结构的本体模型;与中科院数学所的金芝研究员合作提出了一个新的SOA需求工程过程和框架。 5.软件服务:蔡教授是本领域研究的具有很高影响力的科学家。在过去五年的时间里,他发表了25篇SaaS方面的论文,开发了许多最新的SaaS技术,如: SaaS测试技术、SaaS模拟架构、SaaS建模技术、TaaS(测试即服务),和面向并行组合测试的测试代数,面向租户应用测试的自适应组合测试方法、面向服务的SaaS等等。目前他在TaaS方面的研究工程处于世界领先的地位。 蔡维德教授从1982年开始从事计算机科学相关的研究和实践,涉足了软件工程的多个领域,在软件测试、软件维护、安全性分析、需求工程等方面形成了大量的研究成果,先后发表高水平论文400余篇,SCI检索百余篇,Google Scholar上引用7千次。拥有两项美国专利(OUTER LOOP VECTORIZATION,美国,5802375,1998-9-1,2;和APPARATUS FOR VISUAL PROGRAMMING WITH SCREEN FLOW,美国,6055369,2000-4-25,2)。他对软件测试尤其有着深入的研究,形成了大量的有影响力的研究成果,曾被软件工程及测试领域的重要著作所引用(如B. Beizer 的Black-Box Testing 以及Software Testing Techniques);更被美国国防部等政府机构和工业界如Intel、Guidant、Hitachi Software、Fujitsu、US WEST、Motorola等世界著名公司所采纳。蔡维德教授先后获得了多项荣誉,包括:1990-1993获IEEE Computer Society杰出学者奖(Distinguished Visitor);1992年获IEEE Computer Society杰出服务奖(IEEE Meritorious Service Award);1996年获IEEE核心成员金奖(IEEE Golden Core Member)。 蔡维德教授曾担任30界国际会议的大会主席。曾任欧盟智慧城市和美国多项软件工程及服务计算项目负责人。他的研究工作被美国国防部,Guidant, Intel, Cray Research, US WEST,日本富士通, 日立,等多国机构及业界认可并且应用。 蔡维德教授曾任多个国际会议的大会主席或程序委员会主席,并担任多个国际期刊的编委(如 IEEE Transaction on Knowledge and Data Engineering,Service Oriented Computing and Application, Journal of Software Maintenance, Journal of Software Engineering and Knowledge Engineering, Journal of AI Tools, Advances in Software Engineering Journal, Science China, Frontiers of Computer Science)。蔡维德教授任 IEEE International Conference on Cloud Engineering (2013), IEEE Symposium on Mobile Cloud (2013), IEEE International Conference on Service-Oriented System Engineering (SOSE), IEEE International Conference on Computer Software and Applications (COMPSAC), IEEEE International Symposium on Autonomous Decentralized Systems (ISADS), IEEE International Workshop on Object-oriented Real-time Dependable Systems (WORDS), IEEE International Conference on High-Assurance System Engineering (HASE). 蔡教授也在中国举行过大量的学术讲座,他在2009年至2012年间已经在北京航空航天大学,清华大学, 武汉大学, 中国西北大学, 哈尔滨工业大学, 北京大学, 国防科技大学, 山东财经大学,东南大学, 南京大学, 复旦大学和许多其他的高校、机构以及西安的一些公司企业举行过上百场的讲座. 他还在清华大学、武汉大学、国防大学、北京大学以及IEEE International Conference on SOSE讲授短期课程。 蔡教授在作为主题发言人在如下会议上做主题报告:2013年旧金山IEEE International Workshop on Internet-Based Virtual Computing Environment;2013年3月在旧金山举行的IEEE International Joint Conference (SOSE, Mobile Cloud, IC2E);2011年2010年西安SME (Small-to-Medium Enterprise) Consortium;2012年浙江Cloud Computing Conference;哈尔滨 Conference on Service-Oriented Computing at Harbin;杭州CAS Workshop on Cloud Computing and Complex Systems;东南大学校庆报告;2007年IEEE International Conference on E-Business and Engineering。 蔡教授许多研究项目已经转换成商业产品,其中多项已经被成功的广泛应用。具有代表性的有: 1) 软件测试工具。他在为一家医疗器械公司-Guidant工作期间,他以及他领导的团队开发了数项重要的软件测试方法。尤其,由他开发的00测试框架为该公司节省了70%的测试花费,不仅如此,他所开发的验证模型,在集成测试方面取得了显著的成效。基于这些理论及其扩展性,Guidant公司开发了一系列的软件测试工具。 2)基于他部门在网络安全方面的工作,由他开发的针对经济软件的测试执行框架,被知名国际公司-Intel采用。该软件为因特尔公司部署了两个基站控制器。 3)基于他在软件维护方面的工作,当时排名世界第二大计算机公司-富士公司,实施了一个基于Y2K软件维护测试的经济产品。该工作同时用于维护在富士公司与USWest公司的COBOL项目,作为他4本著作之一的《日本技术》,于2000年由富士公司出版发行,其内容主要针对该项技术做出的论述。 4)基于他在博士期间在层次搜索方面的工作(为美国军方),互联网采用了由他开发的层次搜索协议。 5)基于他在全自动需求获取方面的工作,位于日本的yokohama Hitachi Software Engineering品牌于1990年实施了一个商业产品。