拐角模型是一种证明软件安全性的方法，它通过检验软件每个输入是否正常响应从而验证软件的正确性。

具体步骤包括确定程序的所有路径，选择测试用例输入程序，并进行测试。

在测试过程中，需要记录测试用例的输入和输出以及该路径是否被访问。最后，根据记录的信息和代码覆盖率来分析程序是否存在安全漏洞。如果所有的路径都被访问，且没有发现任何漏洞，那么可以认为软件已经通过了拐角模型的验证，具备一定的安全性。