南京郵電大學專業介紹：計算機軟件與理論

• 2026考研英語全程班 6班
• 26考研全科上岸規劃營「擇校▪規劃▪備考」
• 南京郵電大學2026考研專業課復習資料「真題▪筆記▪講義▪題庫」

081202計算機軟件與理論專業

1、《基于網絡的計算機軟件應用技術》研究在網絡環境中計算機軟件的各種應用技術，包括網絡安全、電子商務、信息管理系統、網絡遠程管理、網絡協議驗證、圖形圖像處理、網絡應用軟件、數據倉庫、知識庫系統等。

2、《軟件工程的理論與方法》研究軟件開發過程的基礎理論、技術、方法和工具，包括需求分析技術與形式化方法、軟件建模、模型檢驗、面向服務的體系結構、模型驅動的體系結構、逆向工程和再工程、項目管理、軟件開發工具與環境等。

3、《軟件分析與測試》研究軟件分析與測試的最新理論、技術、方法和工具，包括靜態與動態軟件分析、軟件演化、軟件測試、軟件缺陷分析與修復、軟件度量技術、軟件分析與測試工具與環境等。

4、《分布計算與互聯網技術》研究分布計算與互聯網環境中計算機軟件理論與方法，包括面向云計算、對等計算、普適計算等分布計算系統的軟件體系結構與構建技術，面向互聯網的軟件開發模型、軟件體系結構以及電信軟件系統的設計、實現、測試和重用技術等。

5、《可信軟件技術》研究可信軟件理論與方法，包括高可信軟件平臺及其體系結構與機理，軟件可信性的度量與保障技術，可信軟件模型與形式化方法，面向電信業務和移動通信的各種可信軟件設計和開發技術。