在面向对象的软件技术中，多态是指子类对象可以像父类对象那样使用，同样的消息既可以发送给父类对象也可以发送给子类对象。也就是说，在类等级不同的层次中可以共享一个行为和方法的名字，然而不同层次的每个类却各自按自己的需要来实现这个行为。当对象接收发送给他的消息时，根据该对象所属的类动态选用在该类中定义的实现算法。


可执行的规格说明：这是一种使得要求说明过程自动化的技术，通过可执行的规格说明语言来描述预期的行为“做什么”，人们可以从直接观察中用规格说明语言来规定任何系统行为。

黑盒测试法：该方法把测试对象看成一个黑盒子，测试人员完全不考虑程序的内部结构和处理过程，只在软件接口处进行测试，依照需求规格说明书，检查程序是否满足功能需求。因此，黑盒测试又称为功能测试或者数据驱动测试。

白盒测试法：该方法把测试方法看做一个打开的盒子，测试人员需要了解程序的内部结构和处理过程，以检查处理过程的细节为基础，对程序中尽可能多的逻辑路径进行测试，检查内部控制结构和数据结构是否有错，实际的运行状态与预期是否一致。白盒法也不可能进行穷举测试。