人物經歷
在
美國明尼蘇達大學和亞利桑那州立大學計算機系任教30餘年,是美國亞利桑那州立大學計算機科學與工程系實驗室主任,培養出博士80餘人。發表著作6本,論文548餘篇,SCI檢索百餘篇。
曾擔任30界IEEE國際會議的大會主席。
曾任歐盟智慧城市和美國多項軟體工程及服務計算項目負責人。
他的研究工作被美國國防部(US DoD)、Guidant (後來被Boston Scientific 併購)、Intel、Cray Research、 US WEST、Motorola、日本富士通、日立軟體等多國機構及業界認可並且套用。
研究內容
對軟體測試尤其有著深入的研究,研究成果曾被軟體工程及測試領域的重要著作所引用(如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年。