江蘇大學專業介紹：計算機軟件與理論

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

計算機軟件與理論碩士點學科簡介

計算機軟件與理論碩士點學科現有教授5人、副教授3人，主要圍繞分布式計算系統、軟件系統構架、軟件測試與質量評估、軟件形式化方法等方向從事理論與技術的研究開發工作，已完成國家“863”計劃、國家自然科學基金等國家級項目4項，省部級科技支撐計劃和自然科學基金課題6項。取得了一批有特色和創新的研究成果，所完成的項目1個獲得部級科技進步二等獎、2個項目獲省級科技進步三等獎和多個市廳級科技進步獎，相關理論與技術所開發的系統得到了成功實施和推廣應用，取得了較好的經濟效益和社會效益。

研究生指導老師：詹永照、鞠時光、宋順林、楊鶴標、晏立、劉一松、陳偉鶴、周從華

研究方向簡介：
分布式計算系統：主要研究分布式環境中協同計算理論與技術，研究企業信息集成及業務協作服務支持平臺，研究分布式計算系統的安全訪問控制方法，研究無線自組織網絡拓撲控制、路由協議和系統安全。該方向目前正承擔著多項國家自然科學基金、江蘇省科技支撐計劃、鎮江市科技支撐計劃和企事業橫向合作課題。

軟件系統構架：主要研究面向模型的動態架構體系結構和框架的分層方法，研究分層框架的層間交互原則，研究構建基于模型的動態架構的醫療保險業務平臺、面向服裝業ERP系統、醫療保險違規欺詐挖掘平臺，研究企業服務總線(ESB)，研究基于模型的實時系統設計方法。該方向目前正承擔著多項江蘇省科技支撐計劃、鎮江市科技支撐計劃和企事業橫向合作課題。

軟件測試與質量評估：主要研究軟件錯誤注入測試技術，研究構件安全性測試理論與技術，研究構件安全等級評估方法，研究基于模型檢測的軟件可靠性驗證技術，研究基于時態邏輯的軟件行為規約方法，研究高可信嵌入式軟件系統設計開發與分析技術。該方向目前正承擔著多項江蘇省高校自然科學基金、校高級人才啟動基金和企事業橫向合作課題。

軟件形式化方法：主要研究軟件體系結構的形式化描述方法，研究數據模型的形式化描述方法，研究智能主體行為推理的形式描述方法，研究隱通道的形式化描述方法。該方向目前正承擔著多項國家自然科學基金、教育部博士點基金和鎮江市科技支撐計劃課題。