Calidad de
Software

• Escribir software libre de defectos, es sumamente difícil.
• La especificación del comportamiento es  igualmente desafiante.
• No existen métodos formales que se puedan aplicar  a software real para demostrar que no existen  defectos.