Serviços Personalizados
Journal
Artigo
Indicadores
- Citado por SciELO
- Acessos
Links relacionados
- Similares em SciELO
Compartilhar
Ingeniería, investigación y tecnología
versão On-line ISSN 2594-0732versão impressa ISSN 1405-7743
Resumo
SERNA-M., Edgar e MORALES-V, David. Estado del arte de la investigación en verificación formal. Ing. invest. y tecnol. [online]. 2014, vol.15, n.4, pp.615-623. ISSN 2594-0732.
En años recientes, la investigación en verificación formal de hardware y software ha logrado importantes progresos en el desarrollo de metodologías y herramientas para hacer frente a la creciente complejidad de los sistemas. La función explícita de la verificación formal es encontrar errores y mejorar la confianza en la exactitud del diseño del sistema, lo que supone un reto para la ingeniería de software de este siglo. El objetivo de esta investigación fue realizar una revisión sistemática a la literatura para determinar el estado del arte de la investigación en verificación formal en los últimos 10 años e identificar los enfoques, métodos, técnicas y metodologías empleadas, lo mismo que la intensidad de esa investigación. 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.
Palavras-chave : verificación formal; métodos formales; ingeniería de software; técnicas de ingeniería; enfoques de investigación.