软件工程前沿技术

课程编码：480150081202D3003 英文名称：Frontier of Software Engineering 课时：40 学分：2.00 课程属性：专业课 主讲教师：魏峻等

软件工程学科是一门迅速发展的新兴学科，它借鉴传统工程的原则和方法，旨在高效开发高质量的软件。软件开发过程中会产生大量的代码制品，包括代码、测试数据、配置方案等，对这些制品进行分析与测试是各种软件工程工具的重要功能。软件分析与测试技术是程序设计语言和软件工程领域开展研究的必备基础知识之一，涉及相关文献内容广，流派多，使得学习相关技术一直是一件比较困难的事。
本课程希望通过讲解软件分析与测试技术，帮助研究生构建较完整的软件分析与测试技术知识体系，了解该领域的前沿知识，在学术上为进一步开展程序设计语言和软件工程领域的学术研究打下基础，在实践上培养开发大型软件工程工具的开发能力。

软件工程、数据结构、算法设计

第一章 软件分析基础方法
第1节 数据流分析 3.0学时
第2节 约束求解 3.0学时
第3节 符号执行 3.0学时
第4节 模型检测 3.0学时
第5节 实证研究 3.0学时
第二章 软件分析典型场景
第1节 模糊测试 3.0学时
第2节 缺陷定位 3.0学时
第3节 依赖冲突分析 3.0学时
第4节 程序自动生成 3.0学时
第三章 典型系统分析
第1节 编译器 3.0学时
第2节 数据库系统 3.0学时
第3节 分布式系统 3.0学时
第4节 智能系统 4.0学时

魏峻，中国科学院软件研究所研究员，博士研究生导师，所学术/学位委员会委员，中国科学院大学岗位教授。兼任中国计算机学会软件工程和服务计算专业委员会委员，《软件学报》责任编委、《计算机科学与探索》执行编委、《计算机集成制造系统》编委。当前研究兴趣：面向韧性软件的智能软件工程、面向智能体架构的软件系统开发运维一体化方法。近年来主要研究软件工程方法与技术在云计算与大数据、人工智能、物联网、区块链等分布式系统中的应用，解决正确性、可靠性、性能、安全等方面的问题，尤其是在新型分布式软件系统架构（如深度学习框架、微服务架构、无服务器架构）的评估与优化、大规模复杂分布式系统可靠性保障方面。在国内外重要学术刊物和国际会议上发表学术论文200余篇，获发明专利授权30多项，获得国家技术发明奖二等奖、国家科学技术进步奖二等奖、湖南省技术发明一等奖、中国电子学会电子信息科学技术一等奖、北京市科学技术一等奖。