Vector_MISRA_C3.pdfvector 的 MISRA C标准，汽车电子类开发人员可以

文件名称: Vector_MISRA_C3.pdf

所属分类: C

开发工具:

文件大小: 635kb

下载次数: 0

上传时间: 2019-07-14

提供者: hit****

下载 (635kb)

不能下载？报告错误

详细说明：vector 的 MISRA C标准，汽车电子类开发人员可以参考MISRA-C: 2012 CONTRACT ACTIVITIES ystem Heq Jiterren's DESING EN3: NE:BING. ACTIVITIES Phaedrus Safely Fram Conception to Completion MISRA-C: 2012 Won t save your project. Phaedrus ems Safely Fram conce ption to completion 3of:43 MISRA-C 2012 教DE4NNAG上活:NI ef Regie ments A aceptance esis 5计mg Integration fes's ConstRUct。n UnItary rests Phaedrus www.nhaersys.cnm MISRA-C: 2012 For C: 61508 and derived standards require Style guid Coding standard Static analy For non critical systems it is COST EFECTIVE!! More reliable Sw with fewer bug Phaedrus Safely Fram Conception to Completion MISRA-C: 2012 Style quide Coding standard Static Analysis Phaedrus ems Safely Fram conce ption to completion of:45 MISRA-C: 2012 tea R ru c E cO Sana Rtf Phaedrus 12of:4 AISRA-C: 2012 Won t save your project ThEothErTeAmReguArDsOrUcEcODeLa yotaSaNa StOrM theot ertea mregu ards rucec codel ayota sanar tform XXXXX Phaedrus Safely Fram Conception to Completion 13 of MISRA-C: 2012 Might save your project. Style guide Coding standard Static Analysis Phaedrus ems Safely Fram conce ption to completion 14of:45 MISRA-C 2012 ight save yo To encourage people to pay more attention to the offcial language rules, to detect legal but suspicious constructs, and to help find intcrface mismatches undetectable with simple mechanisms for separate compilation, Steve Johnson adapted his Pcc compiler to prcduce lint" Dennis Ritche ACM journal 1993 Phaedrus Syste n5 15of:4 www.nhaersys.cnm AISRA-C: 2012 on t save your project Static analysis al for all c Compiler is a TRANSlator It is not a static analyser It will compile legal code Phaedrus Safely Fram Conception to Completion MISRA-C: 2012 Process Write lays ample Phaedrus ems Safely Fram conce ption to completion 17 of 43 MISRA-C: 2012 WRITE CODE NAYISIS Phaedrus MISRA-C: 2012 MISRA C only works as part of static analysis Static analysis finds many problems MISRA C is an additional set of checks on top of static analysis Static Analysis can enforce local coding Phaedrus Safely Fram Conception to Completion 19 of MISRA-C: 2012 Style quide Coding standard Static Analysis Phaedrus ems Safely Fram conce ption to completion 20of:45 MISRA-C 2012 MISRA-C 1998 CI auto motive 2004 C2 Critical Systems(generic 2008 C3 Critical Systems(generic) Phaedrus MISRA-C: 2012 ● MISRA-C(98 and 04) have in common with the Karma Sutra Phaedrus Safely Fram Conception to Completion 22 of MISRA C: 2012 What's new in C3? New structure Directives and rule Mandatory, Required and advisory More supp pporting material More explanation and examples Addition of information on ntial types Underlying types Phaedrus ems Safely Fram conce ption to completion 23of:45 MISRA-C: 2012 ● Rules and directives 16 Directives 143 rules Compliance matrix Deviation Guidance Claiming compliance Phaedrus Syste n5 www.nhaersys.cnm 8 MISRAC: 2012 Rules New rule structure Rule(headline) Category(mandatory, required, advisory) Analysis(un/decidable, file/system) Applies to(C90, C99, Auto-code Amplification (optional) Rational Exception(optional) M -Example Phaedrus Safely Fram Conception to Completion 25 of MISRA-C: 2012 More education and explanation Why as much as what Keep code simple Debugging is twice as hard as writing the code in the first place therefore if you write the code as cleverly as possible, you are by definition, not smart enough to debug it -Brian Kernighan Phaedrus ems Safely Fram conce ption to completion 26of:45 MISRAC: 2012 Important rules ·10 Mandatory rules No MISRA C compliance without them Started with 30(ish )mandatory Phaedrus Syste n5 27of:4 www.nhaersys.cnm MISRA C 2012 MISRA-C Engineering Guidance Not a Bloody religion Phaedrus Safely Fram Conception to Completion 28 of MISRAC 2012 Ultimate rule Directive 3. 1(required) All code shall be traceable to documented requirements Required rule that can be deviated · Interesting reading: Deviation: why I did not need documented requirements Phaedrus ems MISRA C: 2012 Compliance matrⅸx List the rules and show where you Phaedrus 10

(系统自动生成,下载前可以参看下载内容)