Zusammenfassung der Ressource
Ingenieria de sala limpia
- Enfoques
- Cajas
- Especificacion fundamental
- Transparente
- De estado
- Negra
- Estrategia
- Planificacion de incrementos
- Recoleccion de requisitos
- Especificacion de la estructura de caja
- Diseño formal
- Verificacion de correcion
- Generacion de codigo. Inspeccion y verificacion
- Planificacion de la comprob. de la estadistica
- Comprobacion estadistica de utilizacion
- Certificacion
- Definicion
- Historia
- Refinamiento y verificac. del diseño
- Ventajas
- Se reduce la verificacion de un proceso finito
- Permiten que los equipos verifiquen todas las
lineas de diseño y codigo
- Defectos casi nulos
- Es escalable
- Produce codigo mejor que la
comprobacion unitaria
- Comprobacion
- Certificacion
- Comprobacion de estadisticas
de Caso Practico