CNCC 智能时代的IDE:大模型如何赋能软件开发环境和开发方法?

CNCC2023将于10月26日至28日在沈阳举行,会议期间将举办129场技术论坛,涵盖人工智能、安全、计算+、软件工程、教育、网络、芯片、云计算等30余个方向。本文特别介绍【智能时代的IDE:大模型如何赋能软件开发环境和开发方法?】技术论坛。

本论坛探讨人工智能与大模型对软件开发环境的影响,梳理大模型在软件开发环境领域的关键应用和主要进展,研讨软件开发环境智能化所面临的关键技术挑战以及智能软件的开发与维护对软件开发环境的特殊需求及其潜在解决方案。

报名及了解更多技术论坛信息请识别下图二维码进入CNCC2023官网。目前早鸟票限时优惠报名正在进行,抓住机会立享大幅优惠!

人工智能技术(尤其是最近的大模型技术)取得了长足的进步,对软件开发环境的设计和开发也产生了深远的影响。一方面,人工智能技术(包括大模型)已经广泛应用于软件开发环境,提供了高效准确的代码补全、代码轨迹、代码优化、程序修复等一系列智能化的软件开发方法和开发工具,提高了软件开发环境的智能程度。另一方面,智能软件与传统软件很大的区别,其开发与维护亟需专门的软件开发方法和开发工具的支持。

为了提高软件开发的效率和效果,亟需系统深入地探讨如何利用以大模型为代表的人工智能技术赋能软件开发环境,明确其中的关键挑战与潜在解题思路,构建完整路线图。

本论坛集中研讨人工智能与大模型对软件开发环境的影响,梳理大模型在软件开发环境领域的关键应用和主要进展。研讨软件开发环境智能化所面临的关键技术挑战,以及智能软件的开发与维护对软件开发环境的特殊需求及其潜在解决方案。

论坛安排

顺序

主题

主讲嘉宾

单位

1

基于大模型的软件开发自动化

李戈

北京大学

2

智能时代的软件测试:机遇与挑战

陈振宇

南京大学

3

基于群智化方法的AI软件构建

孙海龙

北京航空航天大学

4

智能化桌面与XOps软件生产线实践

文永新

华为

Panel嘉宾

论坛主席

张莉

CCF教育专委候任主任

北京航空航天大学计算机学院教授、软件工程研究所所长

CCF软件工程专委常委,教育部软件工程专业教学指导委员会委员,全国高等学校计算机教育研究会副理事长。中国工程教育计算机类专业认证委员会委员。国家级一流本科课程负责人,软件工程国家级一流专业建设点负责人,教育部编译课程虚拟教研室负责人,101计划编译原理课程负责人,北京市教学名师。从事软件工程、模型驱动方法、需求工程等研究。多次获得国家教学成果、北京市教学成果奖、国防科技进步奖等奖励。入选2019年CCF优秀教师奖励计划。

共同主席

刘辉

CCF软件工程专委会候任秘书长

北京理工大学教授/博导、智能软件与软件工程研究所副所长

CCF杰出会员,长期从事软件开发环境方面的研究工作,在ICSE、ESEC/FSE、ASE、ISSTA、IEEETSE、ACMTOSEM等发表了三十余篇学术论文,部分成果被Eclipse等主流IDE采纳集成。获得ICSE2022杰出论文奖、RE2021最佳论文奖、IETPremiumAward(2016)、北京市技术发明二等奖(2021年度)。

论坛讲者

CCF软件工程专委会秘书长

北京大学计算机学院长聘教授/博导

教育部长江学者。研究方向:程序生成、程序理解、深度学习,是国际上“基于深度学习的程序处理”方面的先驱性研究者,多项成果被国际学者认为是“首创性成果”并被广泛引用。多年来,所带领的研究团队在多项研究任务中一直保持着国际领先结果,是该领域国际知名的研究团队。曾获CCF科技发明一等奖。

最近以GPT-4为代表的大模型技术的推出对软件开发技术产生了深刻影响。大模型的程序生成能力到底如何?在程序分析与生成方面存在哪些问题?未来的软件开发图景将会发生哪些变化?北京大学程序理解与生成研究团队,是基于深度学习的程序理解与生成领域的早期开拓和持续贡献团队。讲者以自身研究经历为背景,对基于大模型的程序理解与生成方法的研究历程和发展状态进行简要阐述,并着重对当前基于大模型的软件开发自动化中存在的问题进行探讨。

南京大学软件学院教授/博导

主要从事智能软件工程的研究,长期致力于产教研融合和科研成果转化落地。南京大学智能软件工程实验室(iselab.cn)负责人、慕测科技创始人、IEEE国际软件测试大赛发起人,江苏省计算机学会产业工委执行主任。中国计算机学会杰出讲者,国家一流本科课程《软件测试》负责人。曾主持国家重点研发计划课题1项和国家自然科学基金重点项目1项。研究成果已经在中船重工、航天科工、中国电科、国家电网、百度、阿里、腾讯、华为等知名企业转化,研究成果获2012年度江苏省科学技术奖一等奖、2015年湖北省科技进步奖一等奖、2017年CCFNASAC-东软青年软件创新奖、2021年中国电子学会科技进步奖一等奖、2021年江苏省教学成果奖特等奖和2022年国家教学成果奖特等奖。

CCF协同计算专委副秘书长

北京航空航天大学教授、北航杭研院副院长

随着人工智能技术的广泛应用,AI模型逐渐成为软件系统的重要组成。以深度神经网络为代表的AI模型是典型的复杂软件系统,提高此类软件的构建效率和质量是一个难题。针对该问题,我们受经典软件复用方法的启发,提出了“分而治之,集成汇聚”的群智化方法,其核心是基于模块化分解和按需组合的模型复用。报告聚焦深度神经网络模型的高效复用问题,介绍模型复用的研究动机和意义,并分析模型复用所面临的挑战,进而介绍基于群智化方法的研究进展。

华为云研发工具专家

华为云研发工具高级专家,PaaS工具首席规划,产品与软件工具CTO。23年华为软件产品与工具研发经验,先后负责多个公司级研发能力与工具重点项目。在敏捷与DevOps工程方法、流水线工具链、大规模构建、7x24小时自动化测试工厂、研发工具解决方案、软件开发生产线、计算云研发基础设施建设等方面,有丰富的实践经验。

介绍大模型时代下,以代码生成为主的智能化全码IDE桌面,低码桌面,和基于DataOps、MLOps、DevOps协同的软件开发生产线,在工具架构与软件研发上的实践。包括代码和研发交互基础大模型能力的建设,IDE上智能化的代码开发、代码检查、单元测试的应用,低代码编排,以及数据治理、模型开发、软件应用开发三大流水线工具集成方案,研发作业协同方面的探索。

今年恰逢CNCC创办20周年。二十年来,CNCC已逐渐发展到涵盖数十个方向129场技术论坛,700余位国内外讲者积极参与,超过13000人注册的计算领域年度盛会。二十载不断超越,作为国内计算领域参会人员众多,规模大,水平高的年度盛会,CCF将精心筹划,为参会者带来一场前沿碰撞、展望未来的技术盛宴,让每位参会者都能在CNCC这个超大体量专业平台上提升自身的专业价值,获得前行的动能!等你来,马上行动,欢迎参会报名!

THE END
1.10种软件开发模型整理软件开发模型(SoftwareDevelopment Model)是指软件开发全部过程、活动和任务的结构框架。软件开发包括需求、设计、编码和测试等阶段,有时也包括维护阶段。 软件开发模型能清晰、直观地表达软件开发全过程,明确规定了要完成的主要活动和任务,用来作为软件项目工作的基础。对于不同的软件系统,可以采用不同的开发方法、使用不https://blog.csdn.net/Python_cocola/article/details/139201333
2.软件开发的演变:从瀑布模型到敏捷开发再到DevOps以及更进一步在充满活力的技术世界中,我们用来创建软件的方法和过程发生了重大变革。软件开发方法论的演变证明了我们不断追求效率、质量和适应性的执着。早期的软件开发是一个线性而严格的过程,常常被比喻为建筑物的构造过程。这种被称为瀑布模型的方法是第一种结构化的软件开发方法论。然而,随着软件项目的复杂性和规模的增长,https://baijiahao.baidu.com/s?id=1772626118339722000&wfr=spider&for=pc
3.结构化软件开发方法12篇(全文)结构化软件开发方法 第1篇 随着计算机技术的普及和推广, 各类型软件广泛受到各行业人员的青睐, 人们对软件产生了极大的依赖, 随着这一趋势的不断发展, 人们对软件的质量要求越来越高, 如何保证软件的质量已成为软件工程领域的一项重要任务。软件质量决定了软件的寿命, 软件质量关系到软件的使用与维护。任何软件在投入https://www.99xueshu.com/w/ikeyiz6c3hxc.html
4.“项目经理”都会的软件开发七大过程模型腾讯云开发者社区六、Rational统一模型 七、微软过程模型 Hello,你好呀!我是灰小猿,一个超会写bug的程序猿! 今天来和大家分享一下在进行系统的软件开发的过程中常用的七大软件过程模型,熟悉软件开发常用的几种模型方法。助力每一个程序员小伙伴都可以尽早成为项目经理哟! https://cloud.tencent.com/developer/article/1992167
5.12软件工程形式化方法模型:建立在严格数学基础上的一种软件开发方法,主要活动是生成计算机软件形式化的数学规格说明。 信息系统开发方法 结构化方法 结构是指系统内各个组成要素之间的相互联系、相互作用的框架。 结构化方法也称为生命周期法,是一种传统的信息系统开发方法,由结构化分析(Structured Analysis.SA)、结构化设计(Structhttps://www.jianshu.com/p/7bc53361b193
6.测试开发工程师笔试题4、关于软件测试模型,描述正确的是( C ) A、V模型测试的对象就是程序本身,测试与开发可以同一阶段进行 B、W模型测试的对象是程序,需求、设计等,可以支持迭代的开发模型 C、H模型软件测试过程活动完全独立,贯穿产品整个生命周期,与其他流程并发地进行。 https://www.yjbys.com/qiuzhizhinan/show-433971.html
7.专刊征文“面向知识图谱和大模型的工业软件的开发新方法为此,《武汉大学学报(理学版)》与中国软件大会(ChinaSoft2024)合作征稿,出版“面向知识图谱和大模型的工业软件的开发新方法”专题,旨在探讨知识图谱和大模型在工业领域软件开发相关基础理论、关键技术、支撑平台等问题,以及相关成果在产业界的应用。《武汉大学学报(理学版)》是国内知名期刊,也是北大核心期刊和CSCD-C收录https://issi.xidian.edu.cn/info/1019/1442.htm
8.第3章软件开发过程管理解析.ppt第3章软件开发过程管理解析.ppt,3.2.5 螺旋模型 螺旋模型总结 基于风险驱动的开发模型, 使用原型法或其它方法来尽量降低风险。 适用于需求不明确的大规模软件项目 本章内容提要 CMM和ISO9000 传统软件开发生命周期模型 扩展软件开发生命周期模型 3.1 质量计划 3.4 案例分析 https://max.book118.com/html/2017/0118/84874806.shtm
9.UML技术等五种实现面向对象的软件开发方法解析在软件开发过程中经常会用到UML技术,这里就向大家简单介绍一下几种面向对象软件开发方法的主要思想,欢迎大家一起来学习,相信本文的介绍一下会让你受益。 上节我们介绍了UML技术的一些基础知识,本节向大家介绍一下几种常用的面向对象的软件开发方法,主要从五个方面来介绍,相信通过本节的学习大家对UML技术有深一步的https://www.51cto.com/article/204376.html
10.高正贤:寻找产品开发中的“达芬奇密码”新闻频道其实,在台上展示的任何一个产品功能点,都是台下无数工程师、设计师,经过无数产品的软件和硬件的巨量设计,开发,测试、和各专项准备工作,一起共同努力的最终成果。一个产品解构下来商业成功,都是客户,企业,和行业共同进步,凝结成的结晶。 今天主要跟大家分享六个部分内容:https://news.hexun.com/2020-04-28/201175728.html
11.CMMI5项目经理角色访谈学习笔记CMMI认证项目特有环境,例如:开发服务器。 3、关键过程举例说明 ⑴、项目过程定义(过程剪裁) 在项目过程定义中,在项目级QA的协助下,参考《组织过程裁剪指南》和《软件生命周期》裁剪定制适合于项目的生命周期模型,制定《项目定义过程》。例如:接口设计过程,在项目定义中剪裁到详细设计文档中体现。 https://www.cmmirz.com/cmmi5-project-manager-interview-note/
12.软件开发模型有哪些?各有什么特点软考软件开发模型(Software Development Model)是指软件开发全部过程、活动和任务的结构框架。那么软件开发模型有哪些?各有什么特点? 1、原型模型 典型的原型开发方法模型。适用于需求不明确的场景,可以帮助用户明确需求。 2、瀑布模型 瀑布模型是将软件生存周期中的各个活动规定为依线性顺序连接的若干阶段的模型,包括需求分析https://www.educity.cn/rk/5024807.html
13.软件设计师一篇文章让你读懂什么是软件工程与系统开发原型是预期系统的一个可执行版本,反应了系统性质的一个选定子集。一个原型不必满足目标软件的所有约束,其目的是为了能快速,低成本构建原型。能够采用原型方法是因为开发工具的快速发展,使得能过迅速地开发出一个能被用户看得见的系统。 开发原型系统首先确定用户需求,开发初始模型,然后征求用户对初始模型的改进意见,然后https://developer.aliyun.com/article/1515202
14.软件系统开发中常用的建模方法有哪几类(2)平台无关模型(PIM)(3)平台相关模型(PSM),又称平台特定模型从1到3,从抽象到具体 2、基于模型的软件开发生命周期业务建模:计算无关模型,CIM需求:需求分析:平台无关模型,PIM设计:平台有关模型,PSM编码:代码 3、软件建模方法: 结构化方法 (Structured Method)面向对象方法(Object Oriented Method)基于构件的开发https://zhuanlan.zhihu.com/p/88324971
15.软件工程案例教程:软件项目开发实践第4版——韩万江姜立新br />2.2.9 模型驱动开发方法422.2.10 无代码开发模式432.3 软件工程方法对比442.4 软件逆向工程442.5 基于容器技术的软件工程化管理442.6 MSHD项目案例说明452.7 小结462.8 练习题46第3章 软件项目的需求分析483.1 软件项目需求概述483.1.1 需求定义493.1.2 需求类型493.1.3 需求的重要性503.2 传统需求工程http://m.cmpedu.com/books/book/5606545.htm
16.汽车软件开发V模型V模型是一个软件开发生命周期模型,其中的流程执行是以V形顺序进行。它也称为Verification和Validation模型。 这里先介绍一下:Verification和Validation都有“验证”的意思,区别请看下表。 V模型是瀑布模型的扩展,它最大的特点就是每个开发阶段都对应一个测试阶段。这是一个高度严格的模型,下一阶段必须在上一阶段完成后https://www.yoojia.com/ask/17-11761094752671053585.html