La investigación en verificación formal - un estado del arte

Edgar Serna, David Morales

Resumen


Para hacer frente a la creciente complejidad de los sistemas actuales, la investigación en Verificación Formal de hardware y software ha logrado últimamente importantes progresos en el desarrollo de metodologías y herramientas. La función explícita de esta Verificación es encontrar errores y mejorar la confianza en el diseño de los sistemas, lo que supone un reto para la Ingeniería de Software de este siglo. El objetivo de esta investigación es realizar una revisión sistemática a la literatura para determinar el estado del arte de la investigación en Verificación Formal e identificar los enfoques, métodos, técnicas y metodologías empleadas, lo mismo que la intensidad de la misma. En el proceso se encontró que la investigación en esta área se duplicó a partir del año 2005, que hasta el momento mantiene un número promedio de investigaciones año tras año y que predomina la aplicación en sistemas de control e interacción. Además, que el estudio de caso es el método más utilizado y que la investigación empírica es la más aplicada.

Palabras clave


Verificación Formal, métodos formales, Ingeniería del Software, técnicas de ingeniería, enfoques de investigación.

Texto completo:

PDF

Enlaces refback

  • No hay ningún enlace refback.




_________________________________________________________________________________________________________

La Universidad de las Ciencias Informáticas (UCI), a través del sello editorial Ediciones Futuro, publica los contenidos de la Revista Cubana de Ciencias Informáticas (RCCI) bajo licencia Creative Commons de tipo Atribución 4.0 Internacional (CC BY 4.0). Esta licencia permite a otros distribuir, mezclar, ajustar y construir a partir de su obra, incluso con fines comerciales, siempre que le sea reconocida la autoría de la creación original. Saber más
_________________________________________________________________________________________________________

 INDEXACIÓN