【摘 要】
：
传统方法检测软件设计中的整型符号转换缺陷时，只能检测到缺陷的“征兆”，无法检测到缺陷的根源，无法准确定位整型符号转换缺陷形成的位置。因此，提出基于动态方法的嵌入式软件设
【机 构】
：
南京铁道职业技术学院,南京航空航天大学机电学院
【基金项目】
：
国家自然科学基金青年基金（51405419）
论文部分内容阅读
传统方法检测软件设计中的整型符号转换缺陷时，只能检测到缺陷的“征兆”，无法检测到缺陷的根源，无法准确定位整型符号转换缺陷形成的位置。因此，提出基于动态方法的嵌入式软件设计中缺陷定位技术。其构建在二进制插桩框架Valgrind上，采用种类推导方法检测整型变量的符号种类信息，通过种类推导方法辨识整型变量的符号种类信息，获取内存相关库函数为冲突种类参数的集合，将其作为潜在整型符号变换缺陷候选集。通过动态插桩技术检测候选集，准确检测整型符号转换缺陷代码的位置。实验结果表明，所提方法准确检测出了整型符号转换缺陷，性
其他文献
面对市场经济的发展和消费文化的产生,艺术也随之走向了大众化、市场化和商品化的发展模式。在市场化浪潮中,艺术家与大众的审美标准发生了变化,当代美学思想也随之悄然变迁
网络化虚拟仪器是继虚拟仪器之后仪器仪表领域出现的新的发展方向,提出了将嵌入式系统、网络与虚拟仪器结合的技术路线,将信号的采集、处理、存储分布于不同的网络位置的实施方案。利用ARM嵌入式在现场采集数据,通过网络通信将信号处理和存储工作交给上位机负责,采用S3C44B0X为核心的开发环境,然后进行软件系统的搭建,包括移植μC/OS-Ⅱ嵌入式操作系统,嵌入式图形界面系统μC/GUI,ADC及网卡的驱动程
摘要：在艺术创作中色调的搭配是作为画面表现力关键因素。灰色作为一种中立色彩，在视觉上具有质的表现力，又能够与其他色调之间相互调和，具有优化艺术创作的功能。尤其在油画的创作中，视觉灰色的动态变化过程能够优化油画的色彩，提高油画的艺术表现力。 关键词：油画创作 视觉灰色 技法表现 中图分类号：J213.1 文献标识码：A 文章编号：1008-3359（2017）13-0045-02 在油画绘画中
以往设计出的特定人员检索平台均或多或少地存在一些问题,主要体现在检索准确率和检索效率都不高。面对此现象,设计基于智能视觉的特定人员检索平台。平台中的采集模块负责进行特定人员图像特征的采集工作。特征提取模块根据采集模块给出的特定人员图像特征,使用色彩对比度方法,将检索数据库中与其具有相似特征的候选图像筛选出来,并利用候选图像对智能视觉模块进行训练。训练成功后的智能视觉模块将依据特定人员图像特征,将候
针对当前体育成绩预测模型的精度低、速度慢等缺陷，提出基于萤火虫优化神经网络的体育成绩预测模型。首先收集大量体育成绩数据，并对数据进行预处理，然后采用神经网络对体育成绩
疫情的发生对绝大部分行业产生了较大的影响,尤其是流动型施工企业,在疫情进入常态化的今天,如何保证流动型施工企业的生存与发展,是所有施工企业非常关注的,包括被服务的对
摘要：在开展成人素描训练工作的过程中，教师需要从学生的实际情况出发，积极采用切实有效的教学方式和手段，培养和提升学生的观察力。观察力，对于提升自身的素描能力具有积极意义，对此学生需要有意识的培养和提升自身的观察力，养成良好的审美意识。本文主要从观察力的培养和提高的前提分析入手，针对成人素描训练中观察力的培养和提高策略进行全面细致的分析和说明。 关键词：成人素描 训练 观察力 培养 提高方式 中
格凸河边走 美景不胜收 大河苗寨耸巨崖 盲谷古道树青幽 变色湖上鱼打滚 燕子穿洞正横舟 游一游啊走一走 如此難得的好天地 怎不叫人一步一回头 格凸河边走 日暖风温柔 攀岩节上来比武 低空跳伞显身手 紫气祥云随风来 歌甜舞美情悠悠 游一游啊走一走 如此奇妙的好仙境 怎不叫人如在梦里头