南京航空航天大学软件工程学科是学校"三航特色"信息学科体系中面向高安全关键软件与国防软件工程的战略核心，也是全国首批获批软件工程一级学科博士学位授权点的顶尖学科之一。软件工程（083500）依托计算机科学与技术学院/软件学院建设，学院办学历史可追溯至1958年设立的"解算装置"专业，是全国最早设立计算机相关专业的高校之一。2020年学校正式成立软件学院，与计算机科学与技术学院合署办公，实现学科协同发展。学院先后获批全国首批计算机应用硕士点、计算机科学与技术一级学科博士点、全国首批软件工程一级学科博士点，形成了"安全可靠、智驭空天"的学科品格，深度融入学校"航空、航天、民航"特色优势，面向高安全关键软件开发与验证、军用软件工程、智能化软件测试、形式化方法与可信计算、软件体系结构与中间件、DevOps与智能运维等国家重大战略需求。学院现有计算机科学与技术、软件工程、网络空间安全3个一级学科博士点，设有3个博士后流动站。"软件工程"为江苏高校优势学科、工信部重点学科和江苏省重点学科，"军用软件"为国防特色学科。在教育部最新一轮学科评估中，软件工程学科获评A-，位列全国高校前列，综合实力跻身国内软件工程学科第一方阵。计算机学科进入ESI全球排名前1‰。学院设有计算机科学与技术、信息安全、软件工程、物联网工程4个本科专业，均为国家一流本科专业建设点，建有国家级计算机实验教学示范中心。软件工程学科下设软件工程理论、软件工程技术、软件工程管理、软件服务工程四个二级学科方向，构建了从基础理论到工程实践的完整人才培养体系。

学院科研平台能级突出，建有"高安全系统的软件开发与验证技术"工信部重点实验室、"模式分析与机器智能"工信部重点实验室、"软件新技术与工业化"工信部重点实验室、"脑机智能技术"教育部重点实验室等省部级以上科研基地。汇聚了以黄志球教授（校务委员会副主任，国家级高层次人才，长期从事形式化方法、软件可靠性、模型检测与可信软件研究）、陈振宇教授（长期从事软件测试、软件质量保障、智能化软件工程研究，研究成果在华为、百度、阿里等一线企业中得到转化应用）、皮德常教授（群体智能与无人机协同控制）、刘伟光教授、张莉教授、王立军教授等为代表的一批学术领军人才。在高安全嵌入式软件形式化验证与测试、面向航空航天关键系统的软件可靠性建模与故障预测、军用软件质量保证与适航验证、基于AI的智能化软件测试与缺陷定位、微服务架构与云原生软件体系结构、软件供应链安全与漏洞挖掘、面向DevOps的持续集成与自动化测试、领域驱动设计与低代码开发平台、航空航天软件适航审定与合规性验证、大模型驱动的代码生成与程序修复等方向处于国内领先乃至国际先进水平，研究成果广泛应用于航空航天机载软件、国防装备嵌入式系统、国产基础软件生态等领域。学院与中国电科集团、中国航天科技集团、中国航空工业集团、华为、中兴、百度、阿里巴巴等单位建立深度合作与联合培养机制，硕士毕业生大量进入世界500强企业与国防科技工业领域。对于有志于在军工科研院所从事机载/星载高安全软件验证与测试、在基础软件企业从事编译器与操作系统内核研发、在互联网企业从事测试平台与质量工程建设、在高校从事软件工程教学研究的学子，保研至该校是兼具工程严谨性与国防安全使命的顶级选择。

一、保研情况介绍

软件工程保研选拔注重计算机科学基础功底、软件工程方法论素养、系统设计与工程实现能力、科研创新潜质。学业上通常要求绩点排名专业前10%-15%，无挂科；高等数学、线性代数、概率论与数理统计、离散数学、数据结构与算法、操作系统、计算机网络、编译原理、软件工程导论、软件需求工程、软件体系结构、软件测试与质量保证、软件项目管理、设计模式、面向对象分析与设计、数据库系统原理、C/C++/Java/Python编程等核心课成绩关键。具备扎实的软件建模与抽象能力、独立的系统设计与工程验证意识、实验分析与学术写作能力者更具竞争力。

英语需过CET-6（≥480）或同等托福雅思成绩；卓越英语能力是阅读IEEE Transactions on Software Engineering、ACM Transactions on Software Engineering and Methodology、Empirical Software Engineering、Software & Systems Modeling、IEEE Software、Journal of Systems and Software、《软件学报》《计算机学报》《计算机研究与发展》《计算机科学与探索》等顶刊及发表SCI/EI论文的基础。

科研与实践方面，"挑战杯"全国大学生课外学术科技作品竞赛、全国大学生软件测试大赛、中国大学生服务外包创新创业大赛、ACM-ICPC国际大学生程序设计竞赛、全国大学生计算机设计大赛、中国研究生数学建模竞赛、美国大学生数学建模竞赛、CCF CSP认证、省级以上大创项目结题优秀、核心期刊论文（尤其一作或导师一作本人二作）、发明专利授权可获显著加分。具备在中科院软件所、华为/百度/阿里/腾讯研发部门、航天院所、中国航空工业集团软件中心、中国电科集团等研发部门实习经历，或参与导师国家自然科学基金、国家重点研发计划、国防预研、适航审定专项等省部级以上课题、拥有高质量研究成果（学术论文、专利、软件测试工具、形式化验证框架）者优势明显。该方向推免名额充裕（软件工程学硕083500含软件工程理论、软件工程技术、软件工程管理、软件服务工程四个方向，电子信息专硕085400含软件工程方向），但黄志球、陈振宇等顶尖导师团队竞争极为激烈，建议提前联系意向导师明确研究课题。

二、知点保研主要优势

面对高标准选拔，知点保研凭借近10年深耕提供全流程辅导：一是经验丰富，建立标准化精细化辅导体系；二是专注南航保研，积累专属师资与信息资源，精准拆解招录标准；三是一对一定制，摒弃模板化教学，针对性打磨文书与面试逻辑；四是线上线下结合，灵活适配需求；五是严格督学与及时答疑，全程跟进备考申报复试；六是全方位规划，覆盖学术规划、绩点提升、科研孵化、文书优化、预推免申报、复试特训、导师套磁全周期；七是同步提供考研考博辅导，构建一体化升学体系。

三、辅导体系

针对考核特点，知点保研构建多维专项辅导：绩点提升聚焦软件工程导论、软件需求工程、软件体系结构、软件测试与质量保证、编译原理、操作系统、计算机网络、数据库系统原理、设计模式、面向对象分析与设计等高难核心课；英语辅导强化CET-6高分及学术写作与英文文献精读；论文辅导协助完成研究问题凝练、实验方案设计、工具实现与数据分析，聚焦面向航空航天嵌入式软件的模型检测与抽象精化验证技术、基于大语言模型的智能化软件测试用例自动生成与缺陷定位、面向微服务架构的分布式系统故障注入与混沌工程方法、军用软件适航审定中的形式化需求规约与合规性验证、基于程序分析的软件供应链漏洞自动挖掘与修复、面向DevOps的持续测试与质量门禁自动化框架、基于程序合成的自动化代码生成与正确性保证、面向国产操作系统的微内核形式化验证与可信度量、软件体系结构演化与重构的自动化决策支持、面向航空航天领域的领域驱动设计与低代码开发平台等前沿议题；专业课一对一梳理软件工程导论（软件生命周期、过程模型、需求分析、概要/详细设计、编码、测试、维护）、软件需求工程（需求获取、建模、验证、管理、UML/用例/场景）、软件体系结构（架构风格、设计模式、质量属性、架构评估、微服务/事件驱动）、软件测试与质量保证（单元测试、集成测试、系统测试、回归测试、模糊测试、符号执行、变异测试、覆盖率准则）、编译原理（词法/语法/语义分析、中间表示、优化、代码生成）、操作系统（进程管理、内存管理、文件系统、并发控制）、计算机网络（TCP/IP、HTTP、SDN、网络安全）、数据库系统原理（关系模型、SQL、事务、并发控制、分布式数据库）、设计模式（创建型/结构型/行为型模式、SOLID原则）、面向对象分析与设计（类图、序列图、状态机、重构技术）等核心脉络与技术要点；笔试辅导进行考点梳理与真题演练（初试科目为829计算机专业基础或877数据结构与算法设计）；面试辅导开展全真模拟（综合面试满分150分），训练软件设计问题分析与方案论证、测试策略制定、工程项目经验陈述能力及科技自立自强、国产操作系统与基础软件替代、软件供应链安全与自主可控、人工智能赋能软件工程、信创产业与数字化转型、低空经济与航空软件适航、新质生产力与数字经济等热点问答；文书深挖软件开发与测试项目经历、形式化验证与模型检测项目参与细节、竞赛获奖过程、大创项目成果、专利申请经历、学术会议参与经历，突出工程实践能力与质量保障意识，杜绝同质化；竞赛辅导助力冲刺"挑战杯"、全国大学生软件测试大赛、中国大学生服务外包创新创业大赛、ACM-ICPC、全国大学生计算机设计大赛、中国研究生数学建模竞赛、美赛等高含金量赛事。

保研是对学业、科研与信息获取能力的综合考察。如需了解更多南京航空航天大学高端保研直博辅导详情或定制专属备考方案，欢迎咨询报名：4000003363，也可以添加微信13671344286，专业老师将为您提供一对一解答。