• 教授

    當前位置: 首頁 > 師資隊伍 > 全體教師 > 教授 > 正文

                  姓名:           蔡維德
                  職位:                  
                  座機:           010-82338151
                  郵編:                  
                  辦公地址:             新主樓H1005
                  電子郵箱:             tsai7@yahoo.com
                  個人主頁:             主頁更新中
      個人介紹

    蔡維德(Wei-Tek Tsai),男,博士,教授,博士生導師?,F任北京航空航天大學教授。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年實施了一個商業產品。


     

    真人平台|主页