随着软件技术的不断发展，开发者和用户对于软件质量提出了更高的要求。为此，软件开发者试图从技术、管理等各层面控制软件开发过程，提高软件产品的针对性和可靠性，保证软件对于用户的使用价值。在众多软件质量保证技术中，软件测试作为一种传统的、直接的、行之有效的方法在软件质量保证中起到了决定性的作用。其具体技术已被融入各种软件开发过程和方法中。 本文试图在现有技术条件下，在分析面向对象技术和UML技术在测试中的特点的基础上，把具有面向对象特征的形式化方法RAISE应用到面向对象软件测试中，针对使用UML技术开发的面向对象软件构造更加严格的测试方法和流程。使用形式化方法提取面向对象类的操作的前置条件、后置条件和相关性条件等操作语义，并以此为基础构造了应用于UML静态模型测试用例辅助生成方法；利用面向对象的消息传递机制构造基于消息序列的测试用例生成技术应用于UML动态模型的软件测试用例辅助生成，以提高面向对象软件测试用例的针对性和覆盖率。 本文还讨论了形式化的软件测试技术与传统软件之间的关系，把形式化的软件测试技术融入传统软件测试流程中，构造了适应面向对象特点并且结合形式化方法优点的软件测试流程，使得形式化的软件测试方法能够确实应用到面向对象软件测试过程中。 最后本文通过对于电梯问题的分析，体现了文中测试用例辅助生成方法和测试流程在具体问题中的实际运用。