返回首页
基于软件重构的软件质量保障理论与方法
CCF科技成果奖
项目名称：基于软件重构的软件质量保障理论与方法
完成单位：北京理工大学、北京大学
主要完成人：刘辉、计卫星、张路、江贺、姜艳杰、张宇霞
本项目发现了重构之间的冲突、协同、迁移、警示等内在联系，揭示了代码本语义与程序语义的关联性、一致性和互补性，发现了软件重构活动与其他软件开发活动深度混合的现象，提出了一系列新方法、新概念、新技术和新平台，构筑了新型的软件质量保障理论和方法，在兵器工业 、运载火箭、飞机制造等领域开展应用验证，具有良好的理论研究意义和实际应用价值。
<<< 上一篇
数字金融安全风险感知理论与方法
<<< 下一篇 可证明鲁棒的深度神经⽹络训练与验证技术
读完这篇文章后，您心情如何？
推荐内容
More >>>- · AI时代产学研合作如何创造新价值 CCF UIC论坛
- · 构建可信AI：企业级Agent架构与应用实践 | TF
- · 以数据为中心的AI智能体落地实践 | TF技术前
- · 大模型的知识与记忆 | TF技术前线184期回顾
- · 复杂智能体系统的开发与驾驭——对话宋继强、
- · 共绘BioAI无限未来 ——CCF TF第186期在京成
- · CNCC2026颁奖典礼隆重颁发四大奖项 ——CCF王
- · 2026年CCF大学生启航计划发布典礼在蓉举行
- · 第二届CCF数字孪生创新发展推进会和CCF沈阳联
- · CCCF 2026年10月刊发布
- · 2026 CCF CCSP竞赛手册发布，10月21~22日成都
所有评论仅代表网友意见