一、方向概况
该方向依托北京理工大学软件学院、计算机学院、"可信软件与形式化方法"工信部重点实验室、"智能软件工程"北京市重点实验室、"工业软件与数字孪生"北京市工程研究中心及"软件供应链安全与质量保障"科技创新团队，以软件工程（全国A-）、计算机科学与技术（全国A）、网络空间安全（全国A-）、数学（全国B+）、管理科学与工程（全国B+）一级学科为核心支撑，深度联接人工智能、信息与通信工程、系统科学等学科。软件工程作为国家级一流本科专业建设点与"双一流"重点支撑方向，紧密对接国家"信创产业""工业软件自主可控""数字中国""网络安全""新一代人工智能"等战略部署，形成了涵盖软件需求工程与建模（需求获取/形式化规约/领域建模）、软件设计与体系结构（微服务/事件驱动/领域驱动设计/软件产品线）、智能软件工程（AI4SE/SE4AI/代码生成/缺陷预测/自动化测试/程序修复）、形式化方法与可信软件（模型检测/定理证明/运行时验证/安全协议验证）、软件质量与测试工程（模糊测试/符号执行/变异测试/性能测试/回归测试）、软件供应链安全（依赖分析/漏洞检测/恶意代码识别/开源治理）、工业软件与数字孪生（CAD/CAE/EDA/PLM/数字孪生建模与仿真）、大数据与云计算软件工程（云原生架构/DevOps/MLOps/数据工程）、人机协同与低代码开发（可视化编程/自然语言编程/智能IDE）、软件演化与维护（技术债务/代码重构/知识图谱/程序理解）等面向产业核心需求的完整研究链条。汇聚牛振东教授（软件质量与可信计算）、陈英教授（编译系统与程序分析工程化）、李冬妮教授（工业软件与数字孪生平台）、黄河燕教授（智能软件工程与自然语言处理）、刘驰教授（物联网软件系统与边缘计算）、张磊教授（AI驱动的软件分析与隐私保护）、薛静锋教授（软件供应链安全与漏洞挖掘）、王国仁教授（数据密集型软件系统）、贾云得教授（嵌入式软件与智能终端）、宋丹丹教授（大模型辅助编程与代码理解）、王树良教授（时空数据软件平台）、付梦印教授（智能系统软件架构）等骨干导师。实验室承担国家重点研发计划"基础软件""工业软件""网络空间安全"重点专项、工信部信创适配与国产替代工程、国家自然科学基金重大/重点项目、军委装备发展部/战略支援部队安全关键软件/密码软件/指控软件预研及多项国产操作系统（麒麟/统信）软件质量保障、国产数据库（达梦/人大金仓）内核测试、国产EDA工具链开发、航天/航空/兵器嵌入式安全关键软件验证、政务云平台DevOps体系建设等重大任务，成果服务于信创产业全栈软件质量保障、航天型号嵌入式软件可靠性验证（神舟/北斗/嫦娥配套）、国产EDA工具链（华大九天/概伦电子技术支撑）、国防密码软件安全评估、国有大行核心交易系统国产化替代、"东数西算"调度平台软件架构等国家重大工程需求，获国家科技进步二等奖4项、国家技术发明二等奖2项、国防科技进步特等奖1项、CCF科学技术一等奖3项、中国软件行业协会"优秀软件产品"奖多项荣誉。选拔要求绩点前8%–10%，核心课程涵盖数据结构与算法、操作系统、计算机网络、数据库系统、软件工程导论、软件需求工程、软件体系结构、编译原理、离散数学、线性代数、概率论与数理统计、C++/Java/Python编程、软件测试与质量保证等；英语六级480分以上，推免拟招25–35人。
二、知点保研核心优势
近十年深耕本方向辅导，精准把握"需求分析—架构设计—详细设计—编码实现—测试验证—部署交付—运维演化—退役重构"全生命周期工程逻辑；深谙从瀑布模型向敏捷/DevOps/持续交付演进、从单体架构向微服务/云原生/Serverless变革、从人工编码向AI辅助编程/自动化生成跃迁、从集中式部署向云边端协同分布式演进、从经验驱动向数据驱动/智能化软件工程转型的范式变革。一对一匹配智能代码生成与大模型辅助编程（Code LLM/RLHF/代码补全/自动修复）、基于深度学习的软件缺陷预测与漏洞检测、形式化验证与模型检测（SPIN/NuSMV/Coq/Isabelle）、模糊测试与符号执行（AFL/LibFuzzer/KLEE/angr）、云原生架构设计与Kubernetes服务治理、DevOps/MLOps流水线构建与AIOps智能运维、工业软件求解器开发与数字孪生建模、软件供应链安全分析（SBOM/依赖图谱/恶意包检测）、低代码/可视化开发平台构建、程序理解与代码知识图谱等子方向导师；提供GPU集群（NVIDIA A100/H100×64+）、信创适配实验室（鲲鹏/飞腾/龙芯+麒麟/统信）、形式化验证平台、模糊测试集群、云原生实验环境（Kubernetes集群×3）、工业软件联合实验室（华大九天/中望/安世亚太）深度参与；对接华为/百度/阿里/腾讯/字节跳动/中科院软件所/中国电子/华大九天/统信软件/航天科工二院/中航工业等头部企业与科研院所工程课题跟研；提供ICSE、FSE、ASE、ISSTA、FM、CAiSE、IEEE TSE、ACM TOSEM、软件学报、计算机学报、自动化学报等顶会顶刊投稿指导及ACM-ICPC/CCF CSP/CCSP/全国大学生计算机系统能力大赛/"互联网+"大赛/中国研究生数学建模竞赛闭环服务。
三、辅导体系
绩点提升：强化数据结构与算法（红黑树/AVL树/图算法/动态规划/贪心）、操作系统（进程/线程/内存/文件系统/虚拟化）、计算机网络（TCP/IP/HTTP/SDN）、数据库系统（关系代数/SQL优化/事务/索引）、软件工程导论（生命周期模型/需求工程/UML/设计模式）、编译原理（词法/语法/语义分析/中间表示/优化/代码生成）、离散数学（图论/组合/逻辑）、线性代数、概率统计等核心课程；掌握Java/C++/Python系统编程、Spring Boot/Cloud微服务开发、Docker/Kubernetes容器化、Jenkins/GitLab CI-CD流水线、JMeter/Gatling性能测试、Selenium/Appium自动化测试、SonarQube代码质量分析、Git版本控制与团队协作等实操技能。
论文辅导：引导选择大模型驱动的代码生成与自动修复、基于图神经网络的缺陷预测与漏洞检测、形式化方法在安全关键软件中的验证、模糊测试覆盖率引导与种子生成优化、云原生系统故障注入与弹性恢复、DevOps流水线智能化与AIOps根因分析、工业软件多物理场耦合求解器、软件供应链SBOM构建与风险量化、低代码平台DSL设计与代码合成、程序知识图谱与智能代码搜索等兼具理论深度与产业落地价值的议题。
面试突破：针对"软件生命周期各阶段核心活动与质量保障""敏捷开发与瀑布模型适用场景对比""微服务拆分原则与分布式事务处理""设计模式在工程中的实际应用（单例/工厂/观察者/策略）""形式化验证与测试的互补关系""大模型对软件工程范式的影响（AI4SE vs SE4AI）""'卡脖子'背景下国产工业软件/EDA/OS突破路径与个人参与""个人工程实践能力/代码质量意识/团队协作经验与实验室匹配度"等高频追问开展专项模拟。
四、结语
软件工程以"质量为本、可信为基、智能为翼、工程为要、创新为魂、国为重"为使命，正从人工编码向AI辅助/自动化生成跃迁，从经验驱动向数据驱动/智能化全面转型，在信创全栈国产化、航天型号安全关键软件、国产工业软件/EDA自主可控、智慧城市软件平台等国家重大工程需求中彰显核心价值。知点保研愿助力有志学子稳步前行。咨询报名可致电4000003363，或添加微信13671344286获取个性化评估与规划建议。
