期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到10篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
MISRA C++:2008讲座(3) 类的封装与继承 被引量：1
1
作者 林轶 邵贝贝 《单片机与嵌入式系统应用》 2009年第11期78-81,共4页
面向对象的程序设计语言,如C++,引入了"类"的概念。相似的对象通过归入某一"类"而联系起来。"类"使数据与程序的封装成为可能,让代码更加安全。由此引发的继承等概念,更是大大提高了语言的灵活性。然而... 面向对象的程序设计语言,如C++,引入了"类"的概念。相似的对象通过归入某一"类"而联系起来。"类"使数据与程序的封装成为可能,让代码更加安全。由此引发的继承等概念,更是大大提高了语言的灵活性。然而使用类的时候,需要十分小心,以免带来潜在的安全隐患。MISRA C++指出了避免这些陷阱的方法。 展开更多
关键词 类 封装 继承 misra C++
在线阅读 下载PDF
借鉴MISRA规范减少C语言程序隐患 被引量：1
2
作者 陈文刚 《单片机与嵌入式系统应用》 2004年第3期69-71,共3页
关键词 misra C语言 编程规范 程序隐患
在线阅读 下载PDF
浅谈如何借鉴MISRA规范减少DSP程序设计的隐患 被引量：2
3
作者 顾颖 《信息化研究》 2009年第10期18-20,24,共4页
实时性强、算法复杂的数字信号处理技术已大规模采用DSP(数字信号处理器)编程实现,为兼顾汇编语言和C语言两者的优点,往往采用混合编程的方式。在安全性要求和长时间可靠工作要求高的系统中,DSP程序的健壮性是很关键的。本文从MISRA(汽... 实时性强、算法复杂的数字信号处理技术已大规模采用DSP(数字信号处理器)编程实现,为兼顾汇编语言和C语言两者的优点,往往采用混合编程的方式。在安全性要求和长时间可靠工作要求高的系统中,DSP程序的健壮性是很关键的。本文从MISRA(汽车工业软件可靠性联合会)-C规范对安全性的理解出发,结合具体的DSP芯片开发,介绍了因代码开发的不规范、程序员的失误、程序员对编译器和语言本身的误解而埋下隐患,导致程序执行结果错误和程序崩溃等问题。另一方面,MISRA-C规范因为注重安全性而放弃了C语言中高效、占用资源少的"联合体",对此,本文提出在明确联合体各个实现细节的前提下,仍可谨慎使用联合体。 展开更多
关键词 misra-C 程序隐患 嵌入式开发 DSP
在线阅读 下载PDF
MISRA C++新规范改善高安全性要求控制系统
4
《单片机与嵌入式系统应用》 2008年第12期46-46,共1页
关键词 安全性要求 misra C 控制系统
在线阅读 下载PDF
基于LDRA Testbed的软件静态测试研究与实现 被引量：7
5
作者 胡丹瑞 《计算机安全》 2012年第6期69-71,共3页
介绍了软件静态测试的基本概念与方法,以及如何利用测试工具LDRA Testbed进行软件静态测试,并对LDRA Testbed的静态测试原理进行了研究。最后结合实例实现了使用LDRA Testbed对C代码进行静态测试,并得到了静态测试质量报告、度量报告。
关键词 静态测试 LDRA TESTBED 编码规则 misra-C
在线阅读 下载PDF
基于亚线性MG替换策略-网络流的动态车流量检测方式
6
作者 沈智勇 苏翀 +2 位作者 沈智威 孙厚权 周扬 《计算机应用与软件》 北大核心 2018年第9期32-37,共6页
由于道路复杂、检测器数量基数大,往往采用随机化方法来估算道路车辆动态流量。基于图像处理的方式对静态车辆有很好的监测效果,对动态车流量检测效果一般;纯红外的方式很难对数据进行利用且在数据量大的情况下有很大的限制。基于红外... 由于道路复杂、检测器数量基数大,往往采用随机化方法来估算道路车辆动态流量。基于图像处理的方式对静态车辆有很好的监测效果,对动态车流量检测效果一般;纯红外的方式很难对数据进行利用且在数据量大的情况下有很大的限制。基于红外收集点数据,采用基数桶-块状链表结构存放数据以限制存储空间;采用改进的Misra Gries(MG)替换算法逐步修正偏差量;利用大数定理计算各段路径所需费用并构建网络图,从而求出该图中的最大流量并判断道路交通情况。用该方法对红外数据进行分析处理,对于高速的动态车辆具有很好的效果,数据有效性大于90%。实验结果表明,基数桶结构能很好地适应Misra Gries替换算法,对于纯红外检测的算法能提高近百倍的计算量。 展开更多
关键词 随机化 基数桶 misra Gries算法 网络流 车流量检测
在线阅读 下载PDF
代码规则检查工具评析
7
作者 赵伟 《计算机技术与发展》 2015年第7期193-197,共5页
软件测试是保障软件质量最有效的手段，而代码规则检查能够透过征兆直接看到问题本质，快速找到缺陷，发现30％～70％的逻辑设计和编码缺陷，是所有测试手段中最高效的。由于此方法要求测试人员熟悉软件编程，因此对测试人员有较高要求... 软件测试是保障软件质量最有效的手段，而代码规则检查能够透过征兆直接看到问题本质，快速找到缺陷，发现30％～70％的逻辑设计和编码缺陷，是所有测试手段中最高效的。由于此方法要求测试人员熟悉软件编程，因此对测试人员有较高要求。且读懂对方代码，也是一项耗时、费力的工作，严重影响测试效率。代码规则检查工具实现了对代码是否符合国军标相关标准的规则检查，能按照代码规则自动、快速验证代码与相关标准的复合性，同时检查代码的可读性、代码与设计的一致性、代码逻辑表达的正确性及代码结构的合理性等。通过对几种主流的代码规则检查工具的对比分析，探讨了各个工具的优缺点及选择的诸多因素，对于软件测试人员如何选择合适的该类测试工具，具有实际参考价值。 展开更多
关键词 软件测试 代码规则检查 misra 缺陷
在线阅读 下载PDF
智能电能表软件可信保障技术白盒静态测试模型与编码规范探索 被引量：1
8
作者 赵山 黄友朋 +2 位作者 宋锡强 汪萍萍 胡珊妹 《电测与仪表》 北大核心 2015年第S1期221-225,共5页
智能电能表软件质量越来越成为影响产品质量的关键因素,其目前黑盒测试技术在测试广度与深度方面度都存在客观的技术局限性,本文探索了软件可信保障白盒测试技术,提出一种智能电能表软件白盒静态测试模型。重点详细分析了电能表软件白... 智能电能表软件质量越来越成为影响产品质量的关键因素,其目前黑盒测试技术在测试广度与深度方面度都存在客观的技术局限性,本文探索了软件可信保障白盒测试技术,提出一种智能电能表软件白盒静态测试模型。重点详细分析了电能表软件白盒静态测试的编码规范应用,采用著名的汽车工业软件MISRA-C编码规范,利用嵌入式软件白盒测试工具LDRA Testbed进行了电能表软件编码规范测试的有效性的分析。该内容的推广可为表计企业软件人员提高软件编写质量提供参考,为行业内制定智能电能表软件规范,提高软件可信性提供方法的借鉴。 展开更多
关键词 智能电能表 软件可信性 白盒测试 编码规范misra-C TESTBED
在线阅读 下载PDF
基于ISO 26262的嵌入式软件测试研究 被引量：3
9
作者 吴玲玉 张宗哲 马凯 《软件导刊》 2020年第4期152-158,共7页
当前,嵌入式系统已发展成为汽车电子行业的焦点,鉴于其自身设计特性,为保证软件质量可靠性,软件测试必不可少。在介绍软件测试基本概念的基础上,针对ISO 26262功能安全标准,从静态测试和动态测试解决方案上介绍了相关嵌入式软件测试工具... 当前,嵌入式系统已发展成为汽车电子行业的焦点,鉴于其自身设计特性,为保证软件质量可靠性,软件测试必不可少。在介绍软件测试基本概念的基础上,针对ISO 26262功能安全标准,从静态测试和动态测试解决方案上介绍了相关嵌入式软件测试工具,并根据测试结果分析工具的有效性。结果表明,软件测试工具可以将代码质量进行量化,直观得到修改意见,极大提高软件开发效率,同时减少产品开发后期问题出现率。 展开更多
关键词 嵌入式系统 ISO 26262 misra 软件测试
在线阅读 下载PDF
断裂·扩展·互动:新中国政治的解读──兼评米斯拉的《从后毛主义到后马克思主义》 被引量：1
10
作者 冯旺舟 《常熟理工学院学报》 2011年第5期6-12,共7页
随着新中国的成立,以马克思主义为一元指导的意识形态也被确立。面对国内外局势的变化,中国共产党在进行社会主义建设中也面临着政治合法性的危机。卡尔帕娜·米斯拉在《从后毛主义到后马克思主义》中深入地探讨了后毛泽东时代官方... 随着新中国的成立,以马克思主义为一元指导的意识形态也被确立。面对国内外局势的变化,中国共产党在进行社会主义建设中也面临着政治合法性的危机。卡尔帕娜·米斯拉在《从后毛主义到后马克思主义》中深入地探讨了后毛泽东时代官方意识形态与中国政治合法性的关系、后现代语境下中国的官方理论的转变、中国知识分子与党和国家政权的关系等许多政治文化议题。该书对我们理解当前中国特色社会主义建设具有重大的理论启示意义。 展开更多
关键词 米斯拉 政治合法性 后毛主义 后马克思主义
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部