Resultados de la búsqueda
Apariencia
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) - 14:35 14 oct 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 (1561 palabras) - 20:28 22 ago 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:51 8 jun 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
- 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
- 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
- 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
- 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
- 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) - 13:17 4 may 2024
- 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
- 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
- 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