Catálogo de publicaciones - libros

Compartir en
redes sociales


Software Verification and Validation: An Engineering and Scientific Approach

Marcus S. Fisher

Resumen/Descripción – provisto por la editorial

No disponible.

Palabras clave – provistas por la editorial

Software Engineering/Programming and Operating Systems; Programming Techniques; Performance and Reliability; Artificial Intelligence (incl. Robotics); Software Engineering

Disponibilidad
Institución detectada Año de publicación Navegá Descargá Solicitá
No detectada 2007 SpringerLink

Información

Tipo de recurso:

libros

ISBN impreso

978-0-387-32725-9

ISBN electrónico

978-0-387-47939-2

Editor responsable

Springer Nature

País de edición

Reino Unido

Fecha de publicación

Información sobre derechos de publicación

© Springer Science+Business Media, LLC 2007

Tabla de contenidos

Introduction

Marcus S. Fisher

Professor Van Lickman desperately calculated his options, he contem-plated what could have gone wrong, how could he fix it and how long was it going to take? He knew that he didn’t have much time; the launch pack-age was about to cut away the helium balloon that was to carry it to an alti-tude of 100,000 feet. This was the triggering mechanism for igniting the engines of the model rocket on board the launch package. The rocket was the second stage for this mission that was to prove that off the shelf tech-nology could be used to achieve a low Earth orbit (LEO). Once in orbit, the rocket would autonomously assemble various pieces of hardware that were launched using the same approach. Final assembly would yield a fully assembled spacecraft in LEO that would conduct atmospheric studies of the Earth. The approach had never been tried; recent studies had re-vealed that fluctuations in Earth’s gravity could allow for common tech-nologies to escape the pull of the Earth. That was not on the professor’s mind right now, he needed to understand why the vehicle was about to prematurely cut away the helium balloon prior to achieving 100,000 feet. What could have gone wrong?

Pp. 1-6

Managing Verification and Validation

Marcus S. Fisher

Even though this book is focused on conveying information to engineers and scientists, I have to include a chapter on management. I have learned from my experiences that the project can not experience success unless management and subject matter experts (SMEs) work together. Numerous times I have fielded questions from the engineers in the trenches like “Why in the world does management want to know that?” It would be much simpler if management only communicated better. It would be just as simple if the engineers in the field fully understood and appreciated ex-actly what it took to lead a project in its entirety. The data that manage-ment uses to develop plans and control the project comes from the SMEs, as such they should fully understand or at least have an idea as to how that data is going to be used. That is why I have included a chapter on man-agement.

Pp. 7-83

The Verification and Validation Life Cycle

Marcus S. Fisher

The Verification and Validation (V&V) life-cycle is easily understood if you are familiar with a traditional software engineering life cycle. A ge-neric model of the V&V life-cycle is depicted in Figure 3.1. The intent of the figure is to put the V&V life-cycle in perspective with a traditional software engineering life-cycle.

Pp. 85-154

Systems V&V

Marcus S. Fisher

Without a systems approach to performing verification and validation (V&V) all you can do is draw general conclusions about particular stages of a system’s life. Not only are you constrained to individual phases of the life-cycle you can only verify that the software is an adequate representa-tion of the documented behavior. There is another dimension that needs to be considered and that is validation. Is the right behavior evident in the system? This focal point looks beyond the software as well as the docu-mented behavior and is often absent during development. The source code may be built adequately but if it doesn’t operate as the user needs it to then what’s the point in building the system? I am suggesting two things. First I believe that there is a correlation between each set of results that V&V produces during the different phases of the life-cycle. Second, to deter-mine whether the software will meet the needs of the user and its intended application then V&V needs to take into consideration everything that can affect the software.

Pp. 155-162