| Número de páginas: |
XIII, 108 p. 30 ilustraciones, 12 ilustraciones en color. |
| Resumen: |
Este libro se centra en los procesos de detección y corrección de fallas de software, presenta cinco modelos emparejados diferentes introducidos durante la última década y analiza sus aplicaciones, en particular para determinar el tiempo de lanzamiento del software. El primer trabajo incorpora la función de esfuerzo de prueba y el proceso de introducción de fallas en los modelos emparejados de detección y corrección de fallas. El segundo trabajo incorpora la dependencia de fallas, mientras que el tercero adopta un enfoque de Markov para estudiar los procesos de detección y corrección de fallas. El cuarto trabajo considera la propiedad de múltiples versiones de varios software y modela los procesos de detección y corrección de fallas. El último trabajo clasifica las fallas en cuatro tipos y modela los procesos de detección y corrección de fallas. Al permitir a los lectores familiarizarse con cómo se puede modelar la confiabilidad del software cuando es necesario considerar diferentes factores y cómo se pueden usar los enfoques para analizar otros sistemas, el libro es una guÃa de referencia importante para los investigadores en el campo de la ingenierÃa de confiabilidad del software y los profesionales que trabajan en proyectos de software. Para aprovechar al máximo el libro, los lectores deben tener una comprensión firme de los fundamentos del proceso estocástico. |
Software Fault Detection and Correction: Modeling and Applications
