許靜

南開大學教授

許靜,1989年獲南開大學計算機系學士學位、1992年獲北京航空航天大學計算機系碩士學位、2003年獲南開大學博士學位。2002年7至2003年3月在微軟亞洲研究院訪問。

研究方向為軟體工程、軟體測試、信息安全檢測。

人物經歷


1992年至1998年在航天部研究所從事軍工軟體開發工作,1998年9月始至今在南開大學計算機科學與技術系工作,主要從事軟體工程、軟體測試的教學和科研工作。
中國計算機學會軟體工程專委會委員。
天津市圖形圖像學會常務理事。
天津市軟體評測中心副主任(兼)。

研究方向


研究方向:軟體工程、軟體測試、信息安全檢測。

主要貢獻


主持項目:
許靜
許靜
1.天津市自然科學基金“計算機支持的協同軟體測試系統研究”
2.天津市科技攻關“軟體質量保證與軟體測試管理平台”
3.天津市科技攻關“集群伺服器系統性能測試研究”
4.天津市自然科學基金“網路環境下應用軟體系統的性能測試研究”
5.天津市科技攻關“web應用系統漏洞檢測技術研究”
6.天津市科技發展計劃“天津市軟體評測中心服務平台建設”
7.橫向合作“基於web的缺陷管理系統”
參加項目:
1.天津市重大科技攻關項目“用于越洋軟體工程的協同開發平台”
2.天津市科技攻關培育項目“激光智能交通信息採集與處理系統研究開發”
國際合作項目:
Kevin Copple(2002年Loebner獎獲得者)
“智能軟體系統開發”
撰寫論文、專著、教材
“網路環境下的分散式自動軟體測試系統設計”,計算機工程與應用, 2001年,12期
“軟體測試方法簡述與展望”,計算機工程與應用,2003年,第13期
“分散式自動測試系統及其客戶端的實現”,南開大學學報,2003年,第1期
“分散式軟體測試系統的設計與實現”,南開大學學報,2003年,第2期
“基於結構模式的構件系統測試方法”,計算機科學,2005年11月
“OCR性能測試的分散式測試系統的設計與實現”,計算機工程,2006年5月
“提高應用軟體測試平台的公信度”,現代測量與實驗室管理,2005年第13卷
“基於web的缺陷管理系統的設計與實現”,2005中國計算機大會,2005年10月13~15,武漢
" 基於XML的工作流引擎的設計與實現",計算機工程,2007年第23期
講授課程:軟體測試(研究生)
軟體工程(本科生)
社會兼職:中國計算機學會軟體工程專業委員會委員
撰寫論文
2012年 基於貝葉斯網路的網構軟體可信性評估模型,計算機研究與發展,2012年5月
基於分層Petri網的網構軟體可信性演化評估模型,計算機科學與探索,2012.6
Attack model based penetration test for SQL injection vulnerability, Compsac 2012,July 2012
An Evaluation Model for Dependability of Internet-scale Software on Basis of Bayesian Network,Compsac 2012,July 2012
基於分支混淆演演算法的符號執行技術,計算機科學 2012.09
模型驅動的web應用SQL注入滲透測試,高技術通訊,2012年10期
自相似網路流量模擬系統的集群實現,計算機工程與應用,2012年11月
Interprocedural Path-Sensitive Resource Leaks Detection for C Programs,Internetware 2012,Oct.30-31, Qingdao
A New Instrumentation Algorithm of Symbolic Execution, 2012 International Conference on Computational Intelligence (CiSE),2012.12, Wuhan China
Estimation of Loop Iteration Number Based on Chains of Recurrence Algebra,2012 International Conference on Computational Intelligence (CiSE), 2012.12, Wuhan China
2011年
The Implementation of Cluster-based Traffic Simulation System, The Fourth International Symposium on Parallel Architectures, Algorithms and Programming (PAAP 2011),9-11 December, 2011, Tianjin, China
基於擴展符號執行的動態內存故障靜態分析方法研究,計算機科學,2011年10月
OCR切割性能自動評測,計算機應用與軟體,2011年7月
基於等級劃分的SQL注入漏洞檢測方法的研究,計算機科學與探索,2011.5
2010年
基於遺傳演演算法的web跨站腳本安全漏洞檢測參數生成,計算機科學,2010.11
一種關係資料庫上XML引擎的評測框架,計算機科學,2010.11
Research on mock attack testing for SQL injection vulnerability in multi-defense level web application ,2nd International Conference on Information Science and Engineering, ICISE2010 - Proceedings,December 4-6,Hangzhou,China
An evaluation framework for XML Engine on RDBMS. 2010 2nd International Workshop on Database Technology and Applications (DBTA2010), 27-28 November 2010, Wuhan, China.
TPC-C用於XML資料庫測試的研究與設計,計算機工程,2010年第20期
基於離散評分向量概率分析的CF演演算法改進研究,計算機科學,2010年 5月
基於控制項約束關係的web功能測試系統,計算機工程,2010年第5期
2009年
[1Research on Performance Testing for XML Database Based on TPC-C Benchmark, 2009 International Conference on Information Engineering and Computer Science(ICIECS 2009), 19-20 December, 2009, Wuhan, China
Traversing Model Design Based on Strong-association Rule for Web Application Vulnerability Detection,2009 International Conference on Computer Engineering and Technology (ICCET 2009),January 22-24,2009,Singapore
Research on Strong-association Rule Based Web Application Vulnerability Detection,The 2nd IEEE International Conference on Computer Science and Information Technology (IEEE ICCSIT 2009),8-11 Augest,2009,Beijing China
Research on the Parallel Algorithm for Self-similar Network Traffic Simulation,The 2nd IEEE International Conference on Computer Science and Information Technology (IEEE ICCSIT 2009),8-11 Augest,2009,Beijing China
CF improvement based on probabilistic analysis of discrete explicit rating vector,iCISE2009, Dec 26-28,Nanjing China
Web系統測試用例自動執行系統,計算機工程與應用,2009年1月
教材:《軟體測試》,人民郵電出版社,2011年3月