返回首页
基于软件重构的软件质量保障理论与方法
CCF科技成果奖
项目名称：基于软件重构的软件质量保障理论与方法
完成单位：北京理工大学、北京大学
主要完成人：刘辉、计卫星、张路、江贺、姜艳杰、张宇霞
本项目发现了重构之间的冲突、协同、迁移、警示等内在联系，揭示了代码本语义与程序语义的关联性、一致性和互补性，发现了软件重构活动与其他软件开发活动深度混合的现象，提出了一系列新方法、新概念、新技术和新平台，构筑了新型的软件质量保障理论和方法，在兵器工业 、运载火箭、飞机制造等领域开展应用验证，具有良好的理论研究意义和实际应用价值。
<<< 上一篇
数字金融安全风险感知理论与方法
<<< 下一篇 可证明鲁棒的深度神经⽹络训练与验证技术
读完这篇文章后，您心情如何？
所有评论仅代表网友意见