实际工作中怎么判断一个程序或模块是否能够工作

判断一个程序或模块是否能够工作：
1，正确的输入能够得到正确的输出。
2，错误的输入不会导致程序功能失效。（程序异常、崩溃、死循环等）
3，错误的输入不能得到正确的输出。（提示输入错误，或是输出一个特殊的预定义标识）

所以，任何一组测试用例，都要考虑到对以上情况的覆盖。

正规的测试用例，是基于设计书编写，而不是基于程序，因为只验证程序本身对错是没有意义的，需要验证的是程序有没有实现设计功能。用程序”算出来“的测试数据，只是为了提高测试效率的手段而已。

必须要用别的方式把算法演算一遍，并将结果用作与程序运行结果对照。正是因为有些算法非常繁琐复杂，现代软件开发中，才要求尽量模块化，将大的、复杂的算法分拆成多个小的、容易验证的算法，并分别进行测试。

换种说法是：作为程序员，你交付的产品其实不是程序代码，而是算法（设计书）的二进制实现。把对程序的视角提升到设计、实现层面，代码其实是最不重要的。这也是为什么欧美企业喜欢把code工作外包的原因。