201207032114+刘伟.docVIP

黑盒测试 1.功能图示法： 一个程序的功能通常由静态说明和动态说明组成，动态说明描述了输入数据的次序或者转移的次序；静态说明描述了输入条件和输出条件之间的对应关系。对于比较复杂的程序，由于大量的组合情况存在，如果仅仅使用静态说明来组织测试往往是不够的，必须有动态说明来补充。功能图法就是因此而产生的一种测试用例设计方法。 功能图法就是会用功能图形式化的表示程序的功能说明，并机械地生成功能图的测试用例。功能模型由状态迁移图和逻辑功能模型组成。其中 （1）状态迁移图用于输入条件和输出条件之间的对应关系。数据序列以及相应的输出数据，由输入和当前的状态决定输出数据和后续状态； （2）逻辑功能模型用于表示状态输入条件和输出条件之间的对应关系。逻辑功能模型只适合于描述静态说明，输出数据仅仅由输入数据决定 2.等价类： 把程序的输入域划分成若干部分，然后从每个部分中选取少数代表性数据作为测试用例将程序可能的输入数据分成若干个子集，从每个子集选取一个代表性的数据作为测试用例，等价类是某个输入域的子集，在该子集中每个输入数据的作用是等效的每一类的代表性数据在测试中的作用等价于这一类中的其他值，也就是说，如果某一类中的一个例子发现了错误，这一等价类中的其他例子也能发现同样的错误；反之，如果某一类中的一个例子没有发现错误，则这一类中的其他例子也不会查出错误.在输入条件规定了取值范围或值的个数的情况下，