蔡维德

蔡维德

个人简介

现任北京航空航天大学教授、清华大学讲座教授、美国亚利桑那州立大学终身荣誉教授、英国伦敦大学学院 (UCL) 区块链研究中心科学顾问、赛迪区块链研究院名誉院长等职务。

主要经历

蔡维德教授于1979年在美国麻省理工学院(MIT)，获得计算机科学专业学士学位，1985年在美国加州大学伯克利分校获得计算机科学专业硕士学位及博士学位。在美国明尼苏达大学和亚利桑那州立大学计算机系任教30余年，是美国亚利桑那州立大学计算机科学与工程系实验室主任，培养出博士80余人。发表著作6本，论文548余篇，SCI检索百余篇。曾担任30界IEEE国际会议的大会主席。曾任欧盟智慧城市和美国多项软件工程及服务计算项目负责人。他的研究工作被美国国防部（US DoD）、Guidant （后来被Boston Scientific 并购)、Intel、Cray Research、 US WEST、Motorola、日本富士通、日立软件等多国机构及业界认可并且应用。蔡维德教授是中国开源软件推进联盟（China OSS Promotion Union）专家委员会副主席及工业和信息化法治研究所高级研究员。

研究内容

对软件测试尤其有着深入的研究，研究成果曾被软件工程及测试领域的重要著作所引用（如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）。

拥有两项美国专利（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等世界著名公司所采纳。

代表性研究成果

1）在软件工程方面，提出并实现了面向对象的测试方法，研究论文先后发表在 Communications of ACM、 Journal of Object-Oriented Programming等国际期刊上，并被软件工程经典教科书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数据溯源等技术研究的学者之一，对该领域有着重要的影响。

5) 软件即服务：蔡教授是本领域研究的具有很高影响力的科学家。在过去五年的时间里，他发表了25篇SaaS方面的论文，开发了许多最新的SaaS技术，如： SaaS测试技术、SaaS模拟架构、SaaS建模技术、TaaS（测试即服务），和面向并行组合测试的测试代数，面向租户应用测试的自适应组合测试方法、面向服务的SaaS等等。他在TaaS方面的研究工程处于世界领先的地位。

6)在加州伯克利博士生时期，蔡教授开发了出来分层路由协议（Adaptive Hierarchical Routing）， 并且被互联网采用, 发布在IEEE Transactions on Computer 1989年。