Resultados de la búsqueda
Para más opciones de búsqueda, vea Ayuda:Búsqueda.
- La depuración de programas es el proceso de identificar y corregir errores de programación.[1] Es conocido también por el término inglés «debugging»,…2 kB (220 palabras) - 13:25 4 ene 2024
Las pruebas de software (en inglés software testing) son las investigaciones empíricas y técnicas cuyo objetivo es proporcionar una devolución sobre el…14 kB (1549 palabras) - 09:59 17 abr 2024- Análisis estático de software es un tipo de análisis de software que se realiza sin ejecutar el programa (el análisis realizado sobre los programas en…9 kB (991 palabras) - 15:24 11 ene 2024
- La lógica de Hoare es un sistema formal desarrollado por C.A.R. Hoare — y posteriormente refinado por otros investigadores — que proporciona a una serie…1 kB (152 palabras) - 02:30 24 ene 2024
- Revisión de código es el examen sistemático (como en la revisión por pares) del código fuente de un programa informático. Se realiza con el objetivo de…4 kB (394 palabras) - 09:45 19 abr 2024
- El Análisis dinámico de software es un tipo de análisis de software que supone la ejecución del programa y observar su comportamiento (a diferencia de…2 kB (191 palabras) - 21:27 13 mar 2020
- 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…1 kB (129 palabras) - 21:20 17 sep 2020
El análisis de control de flujo es una técnica de análisis estático de software para determinar las estructuras de control de un programa. El control del…2 kB (275 palabras) - 04:56 2 oct 2023- Las pruebas beta, del inglés beta testing, son las pruebas de software que se realizan cuando el sistema está teóricamente correcto y pasa a ejecutarse…2 kB (247 palabras) - 07:30 1 dic 2023
- La cobertura de código es una medida (porcentual) en las pruebas de software que mide el grado en que el código fuente de un programa ha sido comprobado…4 kB (341 palabras) - 22:02 13 dic 2021
- En teoría de lenguaje de programación, tipificación sensible al flujo es un sistema de tipos donde el tipo de una variable es determinado por el flujo…5 kB (484 palabras) - 01:46 2 ene 2023
- En ciencias de la computación, un grafo de control de flujo (CFG) es una representación, en forma de grafo dirigido, de todos los caminos que pueden ser…5 kB (301 palabras) - 10:34 7 ago 2019
- En informática, un sistema de efectos es un sistema formal que describe los efectos computacionales del software, como los efectos secundarios. Un sistema…4 kB (366 palabras) - 12:16 13 dic 2023
- En el desarrollo de software, el testing es una de las tareas más importantes, pero también es compleja y no siempre adoptada correctamente. Las Prueba…2 kB (268 palabras) - 21:55 7 ago 2019
- La revisión automática de código es un proceso similar a la revisión de código de forma automática mediante herramientas. Estas herramientas comprueban…4 kB (383 palabras) - 09:05 7 dic 2023
- Inspección en la Ingeniería de software, se relaciona con la Revisión por pares de cualquier producto de trabajo por personas capacitadas que buscan defectos…6 kB (834 palabras) - 03:23 1 mar 2021
- Comprensión del programa, entendimiento del programa o comprensión del código fuente es un dominio de la informática que se ocupa de las formas en que…1 kB (122 palabras) - 10:17 7 ago 2019
- Las pruebas alpha, del inglés alpha testing, son pruebas de software realizadas cuando el sistema está en desarrollo y cuyo objetivo es asegurar que lo…1 kB (172 palabras) - 07:56 9 ago 2019
- PC-lint es una herramienta lint comercial desarrollada por Gimpel Software para los lenguajes de programación C/C++. La herramienta realiza un análisis…4 kB (230 palabras) - 22:47 7 dic 2022
- Perl::Critic es un sistema de análisis de código estático para el lenguaje de programación Perl. Perl::Critic está disponible como código fuente en el…2 kB (187 palabras) - 13:12 28 ene 2022
