软件开发标准,如何提高软件开发的安全性

软件开发标准,如何提高软件开发的安全性

除了逐层证明没有绝对可靠的方法，即使逐层证明也只能避免已知的问题。实际操作只能依靠良好的习惯和经验加上可以接受程度上的证明，这个并没有什么定法。----可以通过在程序里加入验证机制来验证程序运行中的正确性，不过这个往往也得在证明基础之上，因为你得保证你的验证是对的。寻求不需要理解内涵的窍门不是工程师该做的事。