我的理解是航空業的軟件的代碼原則上每行都要經過嚴格檢查。如果是自動生成的代碼，那麽

生成的代碼的軟件工具必須經過嚴格測試。如果一個軟件工具通過了嚴格測試，以後它生成的代碼就不需要象手寫代碼那樣每行都要經過嚴格檢查。

用軟件工具自動生成代碼相對於手寫代碼的優越性，是顯而易見的。