【摘 要】
：
代码审查是航天嵌入式软件开发中的重要环节.近年来,随着嵌入式软件开发需求的增多,传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力
【机 构】
：
西安电子科技大学计算机科学与技术学院
【基金项目】
：
西安市科技计划资助项目(201809170CX11JC12).
论文部分内容阅读
代码审查是航天嵌入式软件开发中的重要环节.近年来,随着嵌入式软件开发需求的增多,传统以人工为主的代码审查方法逐渐不能满足快节奏的软件开发流程.为了减轻审查人员的压力,提升审查效率,研究者们逐渐将目光转向以深度学习技术为首人工智能领域,尝试寻求技术上得突破,以开发更智能的审查系统.本文对近年来人工智能技术在代码审查及程序理解中应用的相关工作进行了归纳总结.首先简要介绍了嵌入式代码审查工作目前面临的困境及解决方案.然后引出了代码审查中的一项重要活动,即程序理解.并详细阐述了目前基于人工智能的程序理解在代码审查
其他文献
在紧束缚近似下，计及最近邻的矩阵元，并忽略自洽势的畸变，用格林函数方法的简立方的纳米晶体颗粒的电子态结构和电子态密度，计算结果表明，虽然各态的电子态密度随格点位置变化而变
本文中硬齿面滚齿和插齿是指利用硬质合金刀具加工热处理后硬度为HRC48以上齿轮的加工技术。随着国产硬质合金刀具以及机床技术的发展,这种低成本、高效率的齿轮加工技术逐渐
在1983年，美国经济学家Rosenberg倡导打开创新这个像经济增长一样神秘的黑箱（Rosenberg 1983）。1988年，欧洲经济学家Dosi（1988）对创新的经济学研究进行了系统深入的总结。他们当时
“素质教育，德育为先”。加强对学生的思想品德教育，是体育课的重要任务，在体育教学中有意识地融入德育教育，将德育教育本身的目标与体育学科教材所含的德育因素有效结合起来，使德