• 2026考研英語全程班 6班
• 26考研全科上岸規(guī)劃營「擇校▪規(guī)劃▪備考」
• 上海師范大學2026考研專業(yè)課復習資料「真題▪筆記▪講義▪題庫」

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

軟件工程設計理論與方法方向主要研究內(nèi)容：

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

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

（3）軟件估算及度量。基于UML模型，建立軟件規(guī)模估算、開發(fā)進度度量及設計質(zhì)量度量模型，為軟件過程改進提供量化依據(jù)。

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

（5）模型驅(qū)動架構(gòu)（MDA）的實現(xiàn)技術。在MDA框架下，研究軟件模型的建立、擴展和變換等方面的技術。

信息系統(tǒng)與數(shù)據(jù)庫方向的主要研究內(nèi)容：

數(shù)據(jù)挖掘技術、數(shù)據(jù)庫建模技術、數(shù)據(jù)庫中間件技術、數(shù)據(jù)庫建模新技術。

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

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

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