Resumen:
UML is accepted as the standard notation for object-oriented (OO) development. UML models have a widespread use in today’s software practices. Any initiative to improve software quality assurance (SQA) should assume that a high percentage of deliverables to be controlled are currently based on the use of UML notation. However, real life projects are strongly influenced by the need of reaching tangible productivity and efficiency goals. SQA techniques should be customized to meet the balance between quality and budget supported by risk analysis. In this chapter, different strategies and techniques devised to follow the above philosophy of efficiency are presented, especially centred in automatic testing generation from specifications. Our proposal is mainly based on a recommended course of action as well as on integrated tool support for Eclipse environments.