內蒙古大學計算機學院研究生導師：孫濤

• 2025考研復試伴學班
• 2025考研復試標準班
• 2026考研英語全程班
• 26考研全科上岸規劃營「擇校▪規劃▪備考」
• 內蒙古大學2025考研專業課復習資料「真題▪筆記▪講義▪題庫」

內蒙古大學計算機學院研究生導師孫濤介紹如下：

孫濤，中共黨員，1980年出生，副教授，碩士生導師

辦公電話：0471-4994323   電子郵件：cssunt@imu.edu.cn

學歷：

1999.9~2003.7，內蒙古大學計算機學院，本科

2003.9~2006.7，內蒙古大學計算機學院，碩士

2008.9~2013.1，內蒙古大學計算機學院，博士

研究方向：

形式化方法，軟件測試

科技項目：

主持國家自然科學基金項目一項；主持內蒙古自然科學基金項目一項。

科技論文：

[1] 孫濤, 葉新銘. A Model Reduction Method for Parallel Software Testing. Journal of Applied Mathematics (0.834), Vol. 2013, ID 595897.（SCIE檢索，影響因子0.834）

[2] 孫濤, 郭欣, 張婷. Testing Sequence Generation Method Based on Unrelated Behaviors Serializing. The 17th IEEE International Conference On Trust, Security And Privacy In Computing And Communications (IEEE TrustCom-18). (CCF推薦C類會議)

[3] 孫濤, 張琳婧, 馬慧萍. An Automatic Generation Method for Path Expressions of CPN Model Focus on Tested Behaviors. Proceedings of the 2018 IEEE 22nd International Conference on Computer Supported Cooperative Work in Design (IEEE CSCWD 2018). (CCF推薦C類會議)

[4] 孫濤, 張瑋, 郭欣, 萬曉云. Research on CPN Model Reduction Focus On Parallel Tested Behaviors. The 15th IEEE International Symposium on Parallel and Distributed Processing with Applications (IEEE ISPA 2017), pp. 827-833, Guangzhou, China, December 12-15, 2017. (CCF推薦C類會議).

[5] 孫濤, 葉新銘, 劉靖. A Test  Generation Method Based on Model Reduction for Parallel Software. The  Thirteenth International Conference on Parallel and Distributed  Computing, Applications and Technologies(PDCAT), 2012. (CCF推薦C類會議)

[6] 孫濤, 葉新銘, 劉靖, 楊蒙. 一種基于CPN的協議測試序列生成方法. 解放軍理工大學學報, Vol.13(2), pp. 165-170, 2012. (EI檢索)

[7] Tao Sun, Xinming Ye, Hongji Yang, Jing Liu.  Parallel Software Reuse Driven CPN Model Reduction and Analysis  Approach. IEEE 36th International Conference on Computer Soft-ware and  Applications Workshops(Compsac), 2012. (CCF推薦B類會議Workshop)

[8] 孫濤, 葉新銘. 一種針對CP-nets并發模型的驗證方法[J]. 計算機科學,2014,41(7):135-139,161.（CSCD期刊）

[9] 孫濤,葉新銘.針對軟件中2路并發行為完全覆蓋的測試方法[J].重慶郵電大學學報(自然科學版),2014,26(6):727-736.（CSCD期刊）

[10] 孫濤, 葉新銘, 劉靖, 楊蒙.  Formal Modeling and Analysis of HMIPv6 using Colored Petri Nets.  International Conference on Communications and Mobile Compu-ting (CMC),  2010. (EI檢索)

[11] 孫濤, 葉新銘, 劉靖. A test  sequence selection method for parallel software systems. The Fourth  International Symposium on Parallel Architectures, Algorithms and  Pro-gramming (PAAP), 2011. (EI檢索)

[12] 孫濤, 張琳婧, 馬慧萍. An Automatic Generation Method for Condition Expressions of CPN Model Focus on Tested Behaviors. The 10th International Conference on Security, Privacy and Anonymity in Computation, Communication and StorageWorkshops (SpaCCS 2017 Workshops), LNCS 10658, pp. 271-285, Guangzhou, China, December 12-15, 2017. (EI檢索)

[13] 張瑋, 孫濤(通訊作者), 萬曉云. 針對并行軟件待測行為測試的模型化簡方法[J]. 計算機應用, 2017, 37(5):1276-1281.(CSCD期刊)

[14] 李華, 孫濤, 王顯榮, 邢熠等. 基于CPN對系統的并發行為進行測試. 計算機科學, 2016, 43(1):218-225. (CSCD期刊)

[15] 孫濤,李華,葉新銘. TTCN協議測試執行系統驅動器的協議相關性研究[J]. 內蒙古大學學報(自然科學版), 2007, 38(6):702-706.

科技獲獎：

2016，內蒙古自治區人民政府，內蒙古自治區科學技術獎自然科學三等獎，《測試目的覆蓋的基于Petri網模型的并發軟件測試方法研究》；

2012，內蒙古自治區人民政府，內蒙古自治區科學技術獎自然科學三等獎，《下一代互聯網協議的互操作性測試建模及測試方法研究》；

2012，呼和浩特市人民政府，呼和浩特市科技進步獎二等獎，《呼和浩特市科技項目與成果網上申報評審系統開發及應用》。

學校獲獎：

2011，內蒙古大學，“教書育人”先進個人；

2013，內蒙古大學，“教書育人”先進個人；

2011，內蒙古大學，優秀共產黨員；

2011，內蒙古大學計算機學院黨總支，爭先創優黨員示范教學崗；

2013，內蒙古大學，優秀研究生輔導員；

2015，內蒙古大學，就業工作先進個人；

2012，內蒙古大學，所管理計算機學院研究生分會被評為優秀研究生分會；

2014，內蒙古大學，本科生創新基金優秀指導教師；

2006，內蒙古大學，內蒙古大學教學技巧大賽二等獎；

2012~2015，內蒙古大學，優秀工會活動積極分子；

2011~2012，內蒙古大學，優秀工會活動積極分子；

2015，內蒙古大學計算機學院，年度考核優秀；

2012，內蒙古大學計算機學院，年度考核優秀；

2009，內蒙古大學計算機學院，年度考核優秀；

2008，內蒙古大學，本科生軍訓優秀連隊指導員；

2011，內蒙古大學，本科生軍訓優秀連隊指導員。