misra checker

[Josef Štengl]

Aha, tak ne, pracoval jsem jen s vozy. Ale asi budete mít zajímavější 
hračku :-)


ced


Dne 5.2.2013 11:50, Milan Kovar napsal(a):
> 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
>>
>
>
> _______________________________________________
> HW-list mailing list - sponsored by www.HW.cz
> Hw-list na list.hw.cz
> http://list.hw.cz/mailman/listinfo/hw-list