检查程序逻辑是否具有确定性

不知道这是否是我需要的标题。我需要用相同的输入数据运行程序几次，并确保每次程序都采用完全相同的路径并产生完全相同的输出。我甚至需要确保某些迭代器以相同的顺序处理元素。

也许有一些工具可以达到这个目的？或者可能有一些标准的方法来检查它？我把C#放在标签中，因为我需要专门针对该语言的解决方案（如果有任何帮助的话，我正在VS2012中编码）。

编辑：我的程序的输入由整数列表组成，输出是简单的布尔值。即使我要写测试，计算结果也会有很大的差异。我特别需要检查程序代码每次都采用相同的路径。