misra checker

Jaroslav Buchta jaroslav.buchta na hascomp.cz
Úterý Únor 5 11:04:25 CET 2013


O necem takovem slysim poprve, to je neco jako tato pravidla? 
http://www.moasoftware.co.kr/ldrapdf/LDRA_MISRAC_2004_Standard_Compliance_v2.5.5.pdf


Dne 5.2.2013 10:55, Milan Kovar napsal(a):
> Na ten jsem se taky díval. Ten je tak za 12000EUR.
> Máte k němu i RTCA-DO178B kvalifikační kit?
> Momentálně testuji jeho trial verzi, ale odrazuje mě jeho cena.
>
> Milan
>
> Dne 5.2.2013 10:48, Josef Štengl napsal(a):
>> Hezký den,
>>
>> S C++ z odkazu ne. Mám jen s QAC (hodně drahá záležitost). Pokud by 
>> jste měl nějaký pro C (bez ++ :-), co bych mohl (třeba i zkušebně) 
>> spustit a zkontrolovat kód, tak nejsem neochoten pomoci. MISRA hlášky 
>> mi znepříjemňují život přes 4 roky.
>>
>> Dost velký problém checkerů jsou false positive chyby u některých 
>> checkerů (speciálně od TI, začátečníka vyděsí). Člověk pak musí 
>> vědět, co je chyba checkeru a co co kódu. Je to docela otravné.
>>
>> ced
>>
>> Omlouvám se za anglicizmy.
>>
>> Dne 5.2.2013 10:31, Milan Kovar napsal(a):
>>> Přeji pěkný den.
>>>
>>> Potřeboval bych testovat software na plnění pravidel MISRA-C:2004 a
>>> MISRA-C++:2008.
>>> Nemáte někdo zkušenosti s konkrétním checkerem?
>>>
>>> Milan
>>>
>>>
>>>       /
>>>       /
>>> <http://developer.klocwork.com/community/forums/customization/cc-checkers/misra-c-2008-standards-vrel2> 
>>>
>>>
>>>
>>>
>>> _______________________________________________
>>> HW-list mailing list  -  sponsored by www.HW.cz
>>> Hw-list na list.hw.cz
>>> http://list.hw.cz/mailman/listinfo/hw-list
>> _______________________________________________
>> HW-list mailing list  -  sponsored by www.HW.cz
>> Hw-list na list.hw.cz
>> http://list.hw.cz/mailman/listinfo/hw-list
>>
>
>
> _______________________________________________
> HW-list mailing list  -  sponsored by www.HW.cz
> Hw-list na list.hw.cz
> http://list.hw.cz/mailman/listinfo/hw-list



Další informace o konferenci Hw-list