misra checker

Milan Kovar mkovarhw na seznam.cz
Úterý Únor 5 11:50:40 CET 2013


To je ověření nástroje pro použití k ověření softwaru do letadel.
http://www.programmingresearch.com/solutions/military-aerospace/

Milan

Dne 5.2.2013 11:12, Josef Štengl napsal(a):
> K registrované verzi již nemám přístup. Pracoval jsem s plnou verzí, kromě MISRA pravidel to kontrolovalo i jiné 
> parametry. Je to použitelný nástroj, pokud se sním naučíte zacházet a ze začátku se vám naprosto neznechutí počtem 
> chybových hlášek (pokud jste dříve nepsal MISRA validní kód). Ale vzhledem k ceně odpovídající malému vozu, je to tak 
> pro velké korporace, čemuž odpovídá i licenční humus.
>
> Co ten kit má dělat?
>
> ced
>
>
> 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
> _______________________________________________
> 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