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

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

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

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

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

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

（4）軟件過程改進(jìn)模型及方法。以我國中小型軟件企業(yè)為應(yīng)用目標(biāo)，以CMM及CMMI為標(biāo)準(zhǔn)，研究低成本、可操作性強(qiáng)的軟件過程改進(jìn)模型及方法。

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

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

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

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

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

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