论文部分内容阅读
目前,软件检测主要分为动态检测和静态检测两种形式。有效的软件检测方式有助于提高软件的检测准确度,促进完善的软件缺陷报告发展。基于此,本文针对软件检测,对软件检测中的静态软件分析进行了讨论,从缺陷检测新方法和缺陷检测的新算法和工具的提出,帮助阐述软件测试及其静态软件检测分析方法。
软件测试中的静态缺陷分析的检索方法研究
【摘 要】
：
目前,软件检测主要分为动态检测和静态检测两种形式。有效的软件检测方式有助于提高软件的检测准确度,促进完善的软件缺陷报告发展。基于此,本文针对软件检测,对软件检测中的
【机 构】
：
哈尔滨工程大学计算机科学与技术学院
【出 处】
：
电子测试
【发表日期】
：
2021年8期
其他文献
目的目前关于肠大部分切除术(MBR)后残余肠管的自噬现象仍研究较少。文中旨在探讨自噬在大鼠MBR后残余肠管黏膜损伤形成过程的作用。方法雄性Sprague-Dawley大鼠30只,随机分
目的非酒精性脂肪性肝病(NAFLD)发病机制尚未明确。文章旨在通过检测NAFLD患者的粪便钙卫蛋白(FC)及粪便菌群多样性,探讨NAFLD患者肠道炎症与肠道菌群失调之间的相关性。方法
本文研究了PLC技术的特点优势以及PLC技术的构成,论述在PLC技术优势的基础上,加强电气设备的自动化控制,希望对提高电气设备的自动化控制效果有一定参考价值。
如果把2009年全球经济危机比作是一场百年一遇的正待治愈的经济“大病”;那么,中国政府采取巨大的刺激经济政策,释放大量的流动资金来实现“保八”目标,则取得了率先病愈的机
摘 要：随着教学改革的不断深入，注重过程、关注学生的形成性评价也被越来越广泛地应用于教学实践当中。在中职英语教学中，教师要突破传统的教育理念，明确形成性评价的原则和目的，结合中职学生英语学习的实际需要，确定形成性评价的主体，不断创新评价的实施过程，设计完善形成性评价的环节，促进中职学生英语水平和综合素质的全面发展。 关键词：中职学生；英语学习；形成性评价 在当前英语教学改革大力推进的背景下，很
同样的芯片封装,提供给用户的型号都会因为内部细节上的差异有所不同,这些细微的差异如果用人工识别、分拣,是很难完成的任务。特别是对于日趋小型化的芯片,人工识别和分拣更是费时费力的过程,所以构建自动化的芯片识别系统是芯片封装领域的新趋势。
现阶段,我国的铁路数据通信网络建设已获得一定的成就,当下所使用的铁路数据通信网涵盖铁通划转数据、客专数据等子网络,各系统间的运营呈现出协作性和独立性。在多个系统的
摘 要：建构学为中心课堂已成为我国当今课堂教学转型的基本取向。中职英语的课程目标从过去重视语言知识和语言技能的双基目标转向多元的综合目标，推动以学生发展为本的教育。在学为中心课堂中，教学过程组织要尽可能让学生能动、独立地学习，并占据主要的教学时空。本文结合具体的教学案例探寻包括情境化、问题化、活动化的中职英语教学策略，体现综合性、实践性和关联性的中职英语学习过程。 关键词：学为中心；中职英语；教