análisis de software
Sign in to saveAlso 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
In the Vinony graph
Vinony's link graph records 89 inbound references to análisis de software, and connects out to operational semantics, software development process and formal verification.
It is catalogued under the topic Program analysis.
Vinony links it to 10 Wikipedia language editions.
Wikidata facts
- Subclass of
- analysis
Show 5 more facts
- topic's main category
- Category:Program analysis
- ACM Classification Code (2012)
- 10010143
- Commons category
- Program analysis
- uses
- computer program
- class of object(s) of occurrence
- computer program
via Wikidata · CC0
Article · Español
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