中国科学院软件研究所 · 基础软件测试与分析研究室
2027年推荐免试研究生
用严谨代码，测试智能时代的软件
聚焦软件测试、程序分析与人工智能系统可靠性的前沿研究团队，诚邀推免生加入
研究室隶属中国科学院软件研究所，长期致力于程序分析、软件测试、约束求解等领域的基础与应用研究，理论创新与工具落地并重。研究成果发表于 ICSE、FSE、ASE、ISSTA 等软件工程顶级会议，以及 NeurIPS、AAAI、ICML 等人工智能顶级会议，并承担多项国家重点研发计划、国家自然科学基金重点项目、中科院A类先导专项等国家级重大科研任务。
研究方向
RESEARCH DIRECTIONS方向一
智能程序分析
研究 C/C++、Java 等编程语言的程序静态分析、自动推理与约束求解技术，提供高精度的静态分析解决方案。
静态分析自动推理约束求解
方向二
软件智能测试
面向并发软件、移动应用、操作系统等场景，研究动态测试技术，提供全自动一体化流程测试解决方案。
并发测试移动应用测试符号执行
方向三 · 重点
人工智能系统分析与测试
研究多智能体系统、自动驾驶系统、代码大模型、LLM Agent 等的分析与测试，融合 AI 与传统软件工程，探索 AI4SE 与 SE4AI 双向路径。
大模型可靠性多智能体系统大模型+自动驾驶
累计产出一览
数据说话
100+篇
CCF A 类论文
30+
在读硕博学生
50+
已培养学生
大模型+测试分析
大模型+软件安全
大模型+自动驾驶
大模型可靠性
多智能体系统
并发测试
符号执行
荣誉奖项
AWARDS & HONORS科研成果奖项
- CCF科学技术奖自然科学一等奖
- 最佳论文奖（ISSTA，APSEC、QRS等）
- 中国科学院青年创新促进会优秀会员
人才培养荣誉
- 中科院院长奖、北京市优秀毕业生
- 中科院优秀博士论文
- CCF博士学位论文激励计划提名
毕业去向
CAREER OUTCOMES
🎓 美国博士后
🎓 英国博士后
🎓 法国博士后
🎓 英国博士研究生
💼 华为
💼 阿里巴巴
💼 百度
💼 字节跳动
💼 大院大所 / 国央企
27
2027年推免生招募中
软件工程 · 系统软件 · 人工智能系统安全方向
研究室今年（2027年）开放多个博士、硕士推免名额。如果你积极主动、自驱力强、编程功底扎实，并对软件工程、软件安全、程序分析与软件测试、智能系统分析与测试、形式化方法抱有热情，我们期待你的加入。
- 扎实的编程基础与逻辑思维能力
- 对科研有真正的好奇心和钻研精神
- 欢迎有余力承担科研工作的本科生实习加入