3、可测试性
��可测试性表明论证程序正确性的容易程度。程序越简单，证明其正确性就越容易。而且设计合用的测试用例，取决于对程序的全面理解。因此，一个可测试的程序应当是可理解的，可靠的，简单的。
��