4 ms·
You'd better spend your time, by regulating things that generate code and validating/regulating that output.
by wickedlogic 10y ago
You'd better spend your time, by regulating things that generate code and validating/regulating that output.
- nickpsecurity 10y agoLook up DO-178B market. They regulate the software lifecycle itself requiring evidence each part is handled. After source is analyzed and tested, they also do source-to-object code verification. Tools that generate code have to be similarly qualified as you said. An example done by a top company in the domain is below: http://www.eecs.northwestern.edu/~clk800/rand-test-study/_eruoctdsetiacf/uoctdsetiacf-2009-10-8-12-02-00.pdf http://www.eecs.northwestern.edu/~clk800/rand-test-study/_er...