如果程序中涉及流程,怎么检验它的有效性

如果程序中涉及流程,如何检验它的有效性
如题，如果程序是某一流程图的代码实现，我们可以用什么工具或者方法来检测它的有效性？

这里有效性可以指程序体现的流程符合实际需要，也可以指程序体现的流程与某一具体的流程图符合，有什么方法可以检验它吗？

另外，软件工程中流程图除了表示作用以后，还有其他用途吗？

我不知道学画流程图有无必要，因为大多数情况下都是自己在草稿上画一画就完事了。除开文档重要性之外，流程图还有其他更具体的助益吗？
------解决方案--------------------------------------------------------
开发不写文档么？写文档不画流程图么？
俺一般用Visio
------解决方案--------------------------------------------------------
验证代码表示的“流程”的正确性，

这个就相当于验证你程序开发的需求是否正确。
------解决方案--------------------------------------------------------

引用:

1楼不好意思 我指的是在程序写完以后，有没有办法（方法和工具）验证程序中以代码表示的“流程”是否正确

工具木有，方法就是走下评审流程！