如果程序中涉及流程,如何检验它的有效性
如题，如果程序是某一流程图的代码实现，我们可以用什么工具或者方法来检测它的有效性？
这里有效性可以指程序体现的流程符合实际需要，也可以指程序体现的流程与某一具体的流程图符合，有什么方法可以检验它吗？
另外，软件工程中流程图除了表示作用以后，还有其他用途吗？
我不知道学画流程图有无必要，因为大多数情况下都是自己在草稿上画一画就完事了。除开文档重要性之外，流程图还有其他更具体的助益吗？
[解决办法]
开发不写文档么？写文档不画流程图么？
俺一般用Visio
[解决办法]
验证代码表示的“流程”的正确性，
这个就相当于验证你程序开发的需求是否正确。
[解决办法]
