Re: Using template in safety-critical system (flight critical system)
On Jan 24, 10:36 am, Ian Collins <ian-n...@hotmail.com> wrote:
HongWoo wrote:
Do you have experience developing hard real-time,
safety-critical system with c++ template ?
I'm worrying about testing of code using template and stl.
Why, don't you trust your tests?
Because a test can only prove that the code is wrong; it can
never prove it correct. In safety-critical systems, it is usual
to use some sort of code validation process, in addition to
tests. Complex template meta-programming can definitely make
code validation more difficult. If additional tools are used to
support validation, you have to obey any restrictions introduced
by those tools, and if your validation team does not feel
comfortable with templates, or certain uses of templates, then
you have to take that into account as well. (Personally, I
don't see any problem with simple straight-forward templates,
but I would eschew any complex meta-programming.)
--
James Kanze (GABI Software) email:james.kanze@gmail.com
Conseils en informatique orient=E9e objet/
Beratung in objektorientierter Datenverarbeitung
9 place S=E9mard, 78210 St.-Cyr-l'=C9cole, France, +33 (0)1 30 23 00 34