高建華

1995.09—1998.07 東華大學信息科技學院博士研究生 畢業 獲博士學位 ^[5] 

1998年11月至1999年11月在日本NTT中部株式會社、名古屋銀行科研合作和學習，

2005年9月至2006年3月在美國懷俄明大學訪問學習。

曾任東華大學信息科學與技術學院副院長，上海師範大學理工信息學院副院長，數理信息學院院長，2004年3月任上海師範大學校長助理工作。

2009年9月至2018年1月，任上海師範大學副校長。 ^[3] 

2018年2月任上海開放大學黨委副書記。 ^[1-2] 

兼任中國計算機學位容錯專業委員，第十一屆全國容錯計算學術會議（CFTC’05）程序主席，IEEE PRDC’09程序主席，歷次擔任全國容錯計算學術會議、全國測試學術會議的程序委員等。

上海市學位委員會計算機科學與技術學科評議組 委員 ^[5] 

協助黨委書記開展工作，分管基層黨建、統戰、人才、黨校、老幹部、退休管理、校園安全穩定、工會、共青團、婦委會和教（職）代會工作。

協助校長開展工作，分管後勤、基建、安全保衞、物資管理和對口支援工作。

分管工作涉及的工作部門（機構）：

組織部、統戰部，人事處（退管辦工作），羣團工作部，後勤管理與保衞處、後勤服務中心，行政辦公室（對口支援工作） ^[1] 

長期從事軟件工程理論和軟件測試技術的研究。主要研究領域：

（1）軟件測試技術。主要研究迴歸測試中路徑覆蓋生成方法、基於Web日誌的測試集生成方法設計與研究、基於狀態轉換圖、有限狀態機理論及對象動態測試模型研究類測試技術。

（2）軟件可靠性工程。在對軟件容錯技術、軟件可靠性計算等研究基礎上，建立軟件可信性綜合等級分類和等級評估方法，實現對軟件質量的定量度量。

（3）軟件估算及度量。基於UML模型，建立軟件規模估算、開發進度度量及設計質量度量模型，可有效地進行可信軟件的研發和軟件可信性的定量分析及評估。

（4）軟件過程改進模型及方法。以我國中小型軟件企業為應用目標，以CMM及CMMI為標準，研究低成本、可操作性強的軟件過程改進模型及方法。

（5）模型驅動架構（MDA）的實現技術。在MDA框架下，研究軟件模型的建立、擴展和變換等方面的技術。 ^[5] 

近五年來，主持完成科研項目10項，其中包括國家自然科學基金項目、上海市科委重大項目、上海市白玉蘭科技人才基金項目、上海市引進技術的吸收與創新計劃項目、上海市產業技術創新重點項目等；發表學術論文33篇，其中，EI檢索4篇，ISTP檢索2篇，核心刊物28篇，獲軟件著作權6項。1998－1999年在日本NTT株式會社、名古屋銀行進行科研合作，2005－2006年在美國懷俄明大學 (University of Wyoming) 進行學術訪問研究。2001年獲上海市曙光學者稱號。 ^[5] 

[3] 上海市教委2012重點教改項目：上海高校計算機應用基礎平台建設與維護，2012.1-2013.12 ^[5] 

[4] 國家教育部《高等學校骨幹教師資助計劃》項目：“軟件容錯的智能控制方法研究”，2000.6.1-2002.12.30

[5] 上海市曙光計劃項目：“應用軟件的可靠性設計和實現策略”，2002.1.1-2004.12.30

[6] 上海市教委高校青年科學基金項目：“軟件容錯設計策略研究與控制”，1998.10-2000.10

[7] 日本NTT中部Telecon株式會社：“LP-GAS集中監視系統”，1998.11.1-1999.8.30

[8] 日本名古屋銀行：“銀行業務數據處理系統”，1999.9.1-1999.10.30

[9] 上海市電話局：“計算機軟件開發與系統集成”，1998.6.1-1998.8.30

[10] 中油上海銷售有限公司：“業務管理信息系統”，2001.2.10-2001.12.30

[11] 上海經貿國際貨運有限公司：“管理信息系統建設”，2001.7.1-2002.6.30

[1] 《計算機組成原理》，中國紡織大學出版社 1998.3 （主編）

[2] 《英漢計算機技術大詞典》，上海交通大學出版社 1996.6 （副主編）

[3] 《精選英漢計算機詞典》，上海科技文獻出版社 1998.8 （第二作者）

[4] 《青少年活動大全（電腦分冊硬件篇）》，上海科技教育出版社 1998.12 （單獨）

[5] 《實用英漢計算機詞典》（金山詞霸），上海科技文獻出版社 2000.9 （第一作者）

[6] 《精選漢英計算機詞典》，上海科技文獻出版社 2001.6 （第一作者）

[1]高建華、邵世煌 “應用軟件的容錯策略及設計方法”，計算機研究與發展，1999年第36卷增刊 P.86-90

[2]Jianhua Gao,Shihuang Shao “Fault-Tolerant Strategies and Their Design Methods for Application Software”，IEEE The Eighth Asian Test Symposium（ATS'99）（EI論文） P.214-218

[3]高建華、李偉 “新型的字幕機系統”，小型微型計算機系統，第16卷第 11 期 1995.11 P.47-52

[4]高建華 “聯機事務處理環境下應用軟件的容錯設計方法”，計算機應用研究，1998年第二期 1998.4 P.22-24

[5]高建華、邵世煌 “數據庫文件恢復的容錯設計方法”，微電腦應用，1999年第15卷第5期 P.1-5 1999.5

[6]高建華、嚴雋永 “獨立於應用的客户/服務器程序設計方法”，中國紡織大學學報，1997年第一期，1997.2,P.31-36

[7]高建華 “故障模型的最優化測試序列”，中國紡織大學學報，1998年第二期，P.68-71

[8]高建華 “遠程交易鏡像技術的分析與研究”，上海師範大學學報，2001.3

[9]高建華 “聯機事務處理應用軟件的可靠性設計方法”，微型電腦應用，第17卷第3期，2001.3

[10]高建華、沈瑩 “一種新的交易事務處理程序設計方法”，計算機工程與科學，第23卷第5期，2001.11 P.87~91