Son herramientas software que escanean el código fuente de un programa y detectan posibles defectos y anomalías. Analizan el código del programa y así se reconocen los tipos de sentencias en el programa. Pueden detectar si las sentencias están bien formadas, hacer inferencias sobre el flujo de control del programa y en muchos casos, calcular el conjunto de todos los posibles valores para los datos del programa. Pruebas de Software Analizadores estáticos. El análisis estático automatizado llama la atención del inspector sobre las anomalías del programa, como variables que se utilizan sin inicialización, variables que no se usan o datos cuyo valor podría estar fuera de alcance. Verdadero Falso. EL desarrollo de Software de sala limpia se centra en técnicas estáticas solo para la verificación de programas. Verdadero Falso. En la integración ascendente primero se desarrolla el esqueleto del sistema en su totalidad, y se le añaden componentes. Verdadero Falso. Las pruebas de estrés son particularmente relevantes para los sistemas distribuidos basados en una red de procesadores. Verdadero Falso. Las pruebas de interfaz intentan descubrir defectos en las interfaces de los compuestos. Los defectos de las interfaces pueden ocurrir debido a errores cometidos en la lectura de la especificación, malentendidos en las especificaciones o errores o suposiciones temporales inválidas Verdadero Falso.
|