MISRA，关于哲学家就餐问题的ChandyMisra解法的疑问

本文目录一览

1，关于哲学家就餐问题的ChandyMisra解法的疑问
2，misra c 怎样检查传递给库函数的数值的有效性
3，怎样使用misrac编写程序
4，静态测试的编码规范
5，关于单片机及就业问题
6，Android有静态分析工具吗

1，关于哲学家就餐问题的ChandyMisra解法的疑问

你的意思是A交给B，同时B交给A是吧？那么请求时，显然要得到AB同时没在吃，而同时都想吃。那么，根据2，则擦干净交换餐叉。然后AB都可以吃了啊。然后吃完餐叉就脏了。最后，你怎么觉得是死锁了？

你好！不会，有两个人会持有一个资源以后再取拿5号资源如有疑问，请追问。

关于哲学家就餐问题的ChandyMisra解法的疑问

2，misra c 怎样检查传递给库函数的数值的有效性

最好的方法是有一个针对安全性的C语言编程规范，告诉程序员该如何做。MISRA C因此应运而生。 MISRA C 规范的发展 MISRA于1998年发布了第一个针对汽车工业软件安全性的C语言编程规范——《汽车专用软件的C语言编程指南》，共有127条规则，称为MISRA C:1998。目前MISRA C:2004版已有141条规则(其中20条推荐规则)，21个类别，每一条规则对应一程准则。如今MISRA C已经被越来越多的企业接受，成为用于嵌入式系统的C语言标准，特别是对安全性要求极高的嵌入式系统，软件应符合MISRA标准。在未来，MISRA C也趋向于成为国际性的嵌入式C语言开发标准规范。未来全部的嵌入式产品可能必须符合MISRA C标准

搜一下：misra c 怎样检查传递给库函数的数值的有效性

misra c 怎样检查传递给库函数的数值的有效性

3，怎样使用misrac编写程序

不明白啊 = =！

首先我们先去网上找到这个软件的安装包，然后安装到自己电脑上，在安装的过程中，W7系统可能会说软件与系统不兼容，这个没事的，继续安装就是安装好后双击这个软件在桌面上的图标，打开软件后，我们需要建立c语言编写文件，点击文件新建一个C++source file，然后开始编写程序！编写程序的过程中，要理清思路，先把头文件写上，该注释的地方还是要注释，这样以后看程序的时候不至于不懂！把程序写好后，一定要保存，其实我们在写程序的时候就应该写一句保存一次，这是因为这个软件有时候运行不稳定！万一出现程序闪退，我们写的程序就没有了，这让人很抓狂的！保存好程序后，我们可以开始编译执行链接程序了，如果一切无误的话，会生成一个exe文件，我们就可以实现编写的功能了，如果程序报错，那么我们需要找到错误的地方进行改正！说了这么多，是时候自己动手验证了，这个软件使用起来很方便，功能也很强大，多练习几次就一定会使用的！

怎样使用misrac编写程序

4，静态测试的编码规范

一个项目或者一个企业，如果要下决心实施软件质量，实施软件工程，第一步要做的就是软件编码规范。编码规范是程序编写过程中必须遵循的规则，一般会详细规定代码的语法规则、语法格式等。企业实施怎样的编码规范，取决于很多个因素：l编程采用的语言，例如C、C++、JAVA、ADA等。项目的规范化程度。目前现成的C/C++编码规范有很多，例如前几年网络上比较流行的《华为公司编程规范》、《摩托罗拉C+编程规范》等。但项目不能完全照搬，应该根据自己所处的阶段，定制属于自己的规范，否则的话，会让程序员无所适从，严重打击程序员的积极性。不同的行业对软件的可靠性有不同的要求，例如航空/航天的嵌入式软件对代码的要求很高，而传统的windows平台应用软件则相对要宽松。在嵌入式软件中，尤其是汽车行业，国际上目前流行的C语言编程规则为MISRA-C:2004，其中包括包括141条规则，其中121条是强制（Required）遵守的，20条是建议（Advisory）遵守的。有了统一的规范后，测试工程师或者程序员自身，就可以实施编码规范检查了。要真正把编码规范贯彻下去，单单靠测试员程序员的热情，很难坚持下去，所以笔者建议借助于一些专业的工具来实施。在C/C++语言的编程规则检查方面，比较专业的工具有Coverity，C++Test、LINT工具、KlocWork（Insight）/QAC/QAC++等，这些工具通常可以和比较流行的开发工具集成在一起，程序员在编码过程中，在编译代码的同时即同时完成了编程规则的检查。

nmjklmn再看看别人怎么说的。

5，关于单片机及就业问题

重要的不是哪个型号的单片机，8位单片机和32位单片机是2大阵营，各有应用领域，16位作为鸡肋不被看好，8位用于简单控制，32位多用于带操作系统的复杂控制，各有各的的优势，不过随着技术的升级，32位单片机价格跟8位一样时8位就算淘汰了，所以32位是个趋势。单片机相关就业也看硬件还是软件，但都是触类旁通的，熟悉一下新单片机的资料而已，基本的原理要精通。且要多练习、做实际的项目、积累经验。软件要精通C语言，养成好的编程习惯，遵守MISRA2004编程规范。

51单片机开发，前几年不叫多，价格便宜，成本低，电子单片机开发，51基本被淘汰了，还有AVR单片机，目前电子行业主流就是STM32了，AVR单片机，价格和STM32比较高，STM32单片机功能强大，价格便宜，我们公司从去年转用STM32。这个东西没有什么好讨论的，如果你STM32单片机用灵活应用的话，那你毕业工资不会少于6000，还有嵌入式开发。

建议你到如鹏网去看一看，那里可让你大开眼界，增长见识，满意地解答你的疑惑。

51单片机开发，前几年比较多，价格便宜，成本低，电子产品单片机开发，51基本被淘汰了，但是一些小的作品、产品没有要求，还一直在用51单片机，还有avr单片机，目前电子行业主流就是stm32了，avr单片机，价格和stm32差不多，stm32单片机功能强大，价格便宜，我们公司从去年转用stm32。这个东西没有什么好讨论的，如果你stm32单片机能灵活应用的话，那你毕业工资不会少于6000，还有嵌入式开发。

6，Android有静态分析工具吗

目前主流的静态分析工具有klocwork，coverity, testbad...因为他们的出发点不同，所以各有特点，在国内的发展情况也不一样。klocwork注重代码质量与安全漏洞，在尽可能多的发现严重缺陷与准确的发现缺陷（工具都会有误报）之间找平衡。能够发现的安卓方面的问题包括:未经验证的片段类名，未验证的外部数据；空对象解引用 - 在 android 应用中；媒体播放器在退出前未释放；媒体录制器在退出前未释放；sql 连接在退出前未关闭；sql 对象在退出前未关闭；使用已回收的 bitmap；使用已释放的 camera；使用已释放的媒体播放器；使用已释放的媒体录制器；...能够发现的java语言的缺陷包括：struts 问题信息泄露冗余代码出错处理不当可能的运行时故障复制缺陷弱加密弱封装影响可维护性的问题影响质量安全的编码实践忽略返回值性能问题拒绝服务数据注入未经验证的用户输入特定规则相等与哈希码问题线程与同步问题资源泄漏跨站点脚本攻击 (xss)进程与路径注入释放后使用...除了上面缺陷类型，它还支持分析c/c++、java、c#语言。klocwork支持年付与永久授权，在民口， bat、华为、中兴 ...都在使用；在军口，使用的单位更多。coverity也是一款比较优秀的软件，但是前面已经提过，它追求的不一样，是尽可能的减少误报。不支持永久授权。testbad也是一款优秀的软件,相对于前面两种软件来说，更加注重于编码规范，软件编程标准。如misra.

目前主流的静态分析工具有Klocwork，Coverity, TestBad...因为他们的出发点不同，所以各有特点，在国内的发展情况也不一样。klocwork注重代码质量与安全漏洞，在尽可能多的发现严重缺陷与准确的发现缺陷（工具都会有误报）之间找平衡。能够发现的安卓方面的问题包括:未经验证的片段类名，未验证的外部数据；空对象解引用 - 在 Android 应用中；媒体播放器在退出前未释放；媒体录制器在退出前未释放；Sql 连接在退出前未关闭；Sql 对象在退出前未关闭；使用已回收的 bitmap；使用已释放的 camera；使用已释放的媒体播放器；使用已释放的媒体录制器；...能够发现的java语言的缺陷包括：Struts 问题信息泄露冗余代码出错处理不当可能的运行...目前主流的静态分析工具有Klocwork，Coverity, TestBad...因为他们的出发点不同，所以各有特点，在国内的发展情况也不一样。klocwork注重代码质量与安全漏洞，在尽可能多的发现严重缺陷与准确的发现缺陷（工具都会有误报）之间找平衡。能够发现的安卓方面的问题包括:未经验证的片段类名，未验证的外部数据；空对象解引用 - 在 Android 应用中；媒体播放器在退出前未释放；媒体录制器在退出前未释放；Sql 连接在退出前未关闭；Sql 对象在退出前未关闭；使用已回收的 bitmap；使用已释放的 camera；使用已释放的媒体播放器；使用已释放的媒体录制器；...能够发现的java语言的缺陷包括：Struts 问题信息泄露冗余代码出错处理不当可能的运行时故障复制缺陷弱加密弱封装影响可维护性的问题影响质量安全的编码实践忽略返回值性能问题拒绝服务数据注入未经验证的用户输入特定规则相等与哈希码问题线程与同步问题资源泄漏跨站点脚本攻击 (XSS)进程与路径注入