我的理解是航空业的软件的代码原则上每行都要经过严格检查。如果是自动生成的代码，那么

生成的代码的软件工具必须经过严格测试。如果一个软件工具通过了严格测试，以后它生成的代码就不需要象手写代码那样每行都要经过严格检查。

用软件工具自动生成代码相对于手写代码的优越性，是显而易见的。