Upload
fernanda-canales
View
8
Download
0
Embed Size (px)
Citation preview
Presentacin de PowerPoint
CleanRoomLa tecnologa de dotacin lgica de CleanRoom es un acercamiento al desarrollo del Software lgico, que mejora calidad y reduce costos.El acercamiento toma su nombre de los cuartos limpios usados en la fabricacin de la precisin, donde las tcnicas estadsticas del control de calidad acentan la prevencin del defecto concluido el retiro del defecto.
La ingeniera del Software de CleanRoom es un enfoque formal para el desarrollo del Software, que pueda dar lugar a un Software que posea una calidad notablemente alta. Emplea la especificacin de estructura de cajas (o mtodos formales) para el modelado de anlisis y diseo, y hace hincapi en la verificacin de la correccin, ms que en la comprobacin, como mecanismo fundamental para hallar y eliminar errores.
Tareas de la CleanRoomPLANIFICACIN DE INCREMENTOSRECOLECCIN DE REQUISITOS ESPECIFICACIN DE LA ESTRUCTURA DE CAJAS DISEO FORMALVERIFICACIN DE CORRECCIN GENERACIN DE CDIGO, INSPECCIN Y VERIFICACIN. PLANIFICACIN DE LA COMPROBACIN ESTADSTICA, COMPROBACIN ESTADSTICA DE UTILIZACIN Y CERTIFICACIN.