上海師范大學研究生專業介紹：計算機軟件與理論

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

計算機軟件與理論碩士點自2000年開始招收碩士學位研究生，目前本學科主要研究方向有：軟件工程設計理論與方法、信息系統與數據庫、遺傳算法、虛擬現實。

軟件工程設計理論與方法方向主要研究內容：

（1）軟件測試技術�；�于狀態轉換圖、有限狀態機理論及對象動態測試模型研究類測試技術；針對面向對象軟件測試技術的特點，利用層次劃分、邊控制域等概念進行測試用例設計，將遺傳算法、馬爾可夫鏈模型等應用于測試用例的自動生成，改善軟件測試的效果和效率。

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

（3）軟件估算及度量�；�于UML模型，建立軟件規模估算、開發進度度量及設計質量度量模型，為軟件過程改進提供量化依據。

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

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

信息系統與數據庫方向的主要研究內容：

數據挖掘技術、數據庫建模技術、數據庫中間件技術、數據庫建模新技術。

虛擬現實方向的主要研究內容：環境建模技術，即虛擬環境的建立，目的是獲取實際三維環境的三維數據，并根據應用的需要，利用獲取的三維數據建立相應的虛擬環境模型；人機交互技術；系統集成技術，虛擬現實系統中包括大量的感知信息和模型，系統集成技術包括信息同步技術、模型標定技術、數據轉換技術、識別和合成技術。

本學科自成立以來主持科研項目多項，其中包括國家自然科學基金“軟件參數配對覆蓋測試集生成的若干問題研究”、教育部高等學校骨干教師資助計劃項目“軟件容錯的智能控制方法研究”、上海市自然科學基金項目“基于組件的軟件系統的可靠性計算方法研究”、上海市曙光計劃項目“應用軟件的可靠性設計和實現策略”，以及企事業單位委托的開發項目等。

學科建立了一套比較完整的課程體系和嚴格的考核方法。所有的碩士生均順利按時畢業，畢業論文均達到碩士學位的學術水平要求。畢業生主要在教育部門、政府機構和其他企事業單位從事計算機教學或計算機應用與管理工作。