C++规范,使程序安全、可靠、可测试,航空标准