Skip to content

智能时代的软甲开发环境:进展、挑战与机遇

基于大模型的软件自动化——李戈

软件自动化:将从形式的软件功能规格说明到可执行的程序代码这一过程自动化

软件是现实世界的解决方案在计算机系统中的映射。自动化的难点: - 大型软件复杂程度高 - 研制周期长 - 正确性保证难

大模型的能力范围:模型先验知识 + 训练数据

当前的问题与工作: 软件工程领域的数据分布:开源数据+私人数据 问题: - 不充分的数据 - 只有代码数据用于学习 - 不能学习数据背后的逻辑 - 破坏了大模型的原始推理能力 - 训练数据和参数量成正比 - 训练上下文和实际应用上下文不一致 - 代码模型 vs 语言模型

这些问题使得在实际环境中很难将大模型应用到软件开发中

工作: - 要对大模型的使用能力有一个清晰的认知 - 使用大模型的推理能力和IDE的原始能力进行集成 - 促进大模型在软件开发中的应用技术研究

智能时代的软件测试——陈振宇

Alt text

测试数据自动生成

Alt text

Alt text

Alt text

软件工程的大模型代码统计。 Alt text

生成测试代码 Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

基于群智化方法的AI软件构建——孙海龙

构建AI模型面临的挑战

群智化构建的基本思路

DNN模型模块分解与复用

总结与未来工作展望

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Q:模块化的技术体系?找到想要的模块是不是一个挑战?

A:初步探索,软件工程里的方法论用到模型里面,用于机器学习模型的开发和维护,后面把软件工程的方法引入进来。模型的检索靠提取出来的数据特征,这是主要挑战

智能化桌面与XOps软件生产线实践——华为云产品与软件工具CTO 文永新

实践和工业化产业化的内容

Alt text

Alt text

Alt text 有潜在的趋势到以模型为中心

Alt text 模型越大越好?还是领域化的模型

Alt text 全栈式的大模型

Alt text

Alt text 王千祥带队

Alt text

Alt text 采纳率:评估生成的测试代码有没有人用 修改率:大模型生成的代码距离实用有非常大的潜力,代码不修改就能直接用

数据是核心的竞争力。

Alt text

Alt text

Alt text

Alt text

Alt text 后发

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Alt text

Q:代码检查还是主要依赖静态检查工具,华为AI大模型是如何应用在代码检查和CI集成上?

A:利用传统方法和AI大模型结合

Q:大模型会影响IDE的哪些模块?

A: 李戈:代码补全、测试用例生成 文:自然语言作为输入,上下文信息作为提示,通过和IDE配套的提示工程、思维链、step-by-step结合,扩展出其它能力提升开发效率。业务上单元测试生成是比较需要的

Q: 质量工程师和提示工程师职业的未来?

A:大模型带来效率的提升,带来岗位的变化,更好的编程范式。从需求和测试出发,主要是降低成本。 李:新技术带来新的岗位