软件测试与分析研究室
软件测试与分析研究室隶属中国科学院软件研究所，有包含国家杰青在内的强大教职工团队，在培学生和已培养学生数量过百人。研究室长期致力于程序分析、软件测试、约束求解等领域的基础与应用研究，理论创新与工具落地并重，研究成果大量发表于 ICSE, FSE, ASE, ISSTA (软件工程顶会) 及 NeurIPS, AAAI , ICML(人工智能顶会) 等高水平会议和期刊上，承担多项国家级、省部级重大科研项目。现有职工 9 人，其中研究员 2 人，副研究员 2 人，高级工程师 1 人，博后 2 人。
研究方向
1、智能程序分析
研究 C/C++ 、Java等编程语言的程序静态分析、自动推理和约束求解技术，提供高精度的静态分析解决方案
2、软件智能测试
面向并发软件、移动应用、操作系统等应用场景，研究动态测试技术，提供全自动的一体化流程测试解决方案。
3、人工智能系统分析与测试
研究多智能体系统、自动驾驶系统、代码大模型、LLM Agent等应用的分析与测试，结合AI与传统软件工程，探索AI4SE与SE4AI两个方向。
团队概述
团队汇聚了包括国家杰青在内的9名高水平科研人员。目前在培硕博学生30余人，拥有完善的培养体系；已培养毕业生60余人，多数入职华为、字节、腾讯、大院大所、国央企等企事业单位，多名同学曾获得国家奖学金、北京市优秀毕业生等荣誉称号。
成果概述
团队在软件工程、形式化方法、人工智能等领域的国际顶级会议和期刊上发表高水平论文数百篇。先后承接了国家重点研发计划、国家自然科学基金重点项目、中国科学院A类先导等国家级或省部级重大科研任务。同时，与国内外知名高校（如清北南大、UCLA、NUS等）以及华为、字节、阿里巴巴等业内领军企业持续开展深度广泛的合作。