This approach generates certified binaries from software specifications in an automated manner.

• 在自动方式下，这种方法是从软件技术规格书中生成的二进制认证。