MISRA C
MISRA Cje standard pro vývoj softwaru vprogramovacím jazykuC.Standard vyvinulaMISRA(Motor Industry Software Reliability Association). Cílem standardu je napomáhání bezpečnosti kódu, přenositelnosti a spolehlivosti v kontextuvestavěných systémůnaprogramovaných zejména vISO C.Existuje také množina směrnic proMISRA C++.
V současnosti je více uživatelů MISRA mimo automobilový průmysl: "MISRA se vyvinula v široce přijímaný soubor nejlepších praktik vedoucími vývojáři v oblastech aerospace, telekomunikačních, zdravotnických zařízení, obranných, železničních a dalších."[1][2]
První vydání standardu MISRA C, "Guidelines for the use of the C language in vehicle based software", bylo vydáno v roce 1998 a je oficiálně známé jakoMISRA-C:1998.[3]
V roce 2004 bylo zveřejněno druhé vydání "Guidelines for the use of the C language in critical systems" nebo takéMISRA-C:2004.Toto vydání obsahuje podstatné změny směrnic včetně úplného přečíslování všech pravidel.
Nedávno byla zahájena práce na další revizi směrnic, které mají být zaměřeny na použití C99.
Jako většina standardů (napříkladISO,BSI Group, RTCA, Incorporated atd.) nejsou směrnice MISRA C zdarma dostupné uživatelům ani programátorům.[4]
Pravidla
[editovat|editovat zdroj]MISRA C znamená "Motor Industry Software Reliability Association" C standard.
MISRA-C:1998má 127 pravidel, z čehož 93 je povinných a 34 je doporučených; pravidla jsou číslována za sebou od 1 do 127.
MISRA-C:2004obsahuje 141 pravidel, z čehož 121 je povinných a 20 je doporučených; jsou rozdělena do 21 tematických kategorií, od "Environment" až po "Run-time failures".
Nástroje
[editovat|editovat zdroj]I když existuje mnoho softwarových nástrojů, o kterých se tvrdí, že kontrolují kód, zda vyhovuje MISRA, neexistuje žádný oficiální proces pro certifikaci těchto nástrojů.[5]
Na MISRA fóru je dostupný vzorový balík pro MISRA-C:2004. Tento umožňuje uživatelům softwarových nástrojů vyhodnocovat a porovnávat jejich úroveň kontroly s různými MISRA nástroji. Navíc poskytuje tvůrcům nástrojů určitý návod ve smyslu pravidel podle MISRA-C:2004.
Většina směrnic může být prověřena použitím nástrojů, které provádí statickou analýzu kódu. Zbývající směrnice vyžadují použití dynamické analýzy kódu.
- Nástroje, které kontrolují, zda kód vyhovuje stanardům MISRA
- Coverity
- GrammaTech
- Klocwork
- Liverpool_Data_Research_Associates|LDRA
- Parasoft
- PC-Lint
- Polyspace
- QA-C
- Understand_(software)|Understand
- Kompilátory, které podporují MISRA směrnice a pravidla
- Green Hills Software
- IAR Systems
Související články
[editovat|editovat zdroj]Reference
[editovat|editovat zdroj]- ↑Archivovaná kopie.cosmicsoftware[online]. [cit. 2012-06-01].Dostupné v archivupořízeném dne 2012-02-12.
- ↑http:// ldra /misrac.asp
- ↑A brief history of MISRA C.misra-c[online]. [cit. 2012-06-01].Dostupné v archivupořízeném zorigináludne 2017-06-07.
- ↑"Buying MISRA C".misra.org.uk[online]. [cit. 2012-06-01].Dostupné v archivupořízeném zorigináludne 2011-12-30.
- ↑faqs.misra-c[online]. [cit. 2012-06-01].Dostupné v archivupořízeném zorigináludne 2017-07-06.
Externí odkazy
[editovat|editovat zdroj]- http:// misra.org.uk
- Introduction to MISRA C[online]. embedded [cit. 2012-06-01].Dostupné v archivupořízeném dne 2012-05-17.
- MISRA C: Safer Is Better[online]. electronicdesign [cit. 2012-06-01].Dostupné v archivupořízeném dne 2012-05-17.
- MISRA C — Some key rules to make embedded systems safer[online]. iar [cit. 2012-06-01].Dostupné v archivupořízeném dne 2011-07-20.
- Software reliabilityexpertLes Hatton.MISRA C papers[online]. leshatton.org.Dostupné online.
- Commentary on the first edition of the MISRA C guidelines[online]. knosof.co.uk.Dostupné online.
- Automating Compliance to MISRA C/C++ Standards[online]. johndayautomotivelectronics [cit. 2012-06-01].Dostupné v archivupořízeném dne 2012-05-17.