Also known as software analysis, computer program analysis, analysis of programs, analysis of computer programs, analysis of software
process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety, or liveness
via Wikidata · CC0
En ciencias de la computación, análisis de software es el proceso automatizado de analizar el sistema para el comportamiento del software. Existen dos tipos principales de análisis, el análisis estático de software y el análisis dinámico de software. Estas técnicas de análisis intentan encontrar y mejorar en un software cuestiones de correctitud, optimización y seguridad. Algunas de las técnicas usadas para llevar a cabo estos análisis son: * Análisis de control del flujo y * * * Verificación de tipos y efectos * Rebanamiento estático * Model checking Otros campos similares son el profiling y la verificación formal de software.
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).