El análisis de código fuente o código objeto sin ejecutar el programa. Esto puede realizarse mediante herramientas automatizadas o mediante análisis humanos.
Al explicar la diferencia entre la rigurosidad de los lenguajes y los paradigmas a un colega mío, terminé afirmando que: Los lenguajes tolerantes, como los lenguajes dinámicos e interpretados, se utilizan mejor para prototipos y proyectos pequeños o aplicaciones web de tamaño mediano. Al elegir...
Usamos SonarQube para analizar nuestro código Java y tiene esta regla (establecida en crítica): Los métodos públicos deberían arrojar como máximo una excepción marcada El uso de excepciones marcadas obliga a las personas que llaman al método a tratar los errores, ya sea propagándolos o...
Acabo de leer algunos de los libros blancos y ejemplos de Microsoft "Roslyn" y el concepto parece muy interesante. Por lo que puedo decir, abre el cuadro negro que es el compilador y proporciona una interfaz que podemos usar para obtener información y métricas sobre el código escrito en Visual...
Tenemos aquí una gran base de código heredado con código incorrecto que no puede imaginar. Definimos ahora algunos estándares de calidad y queremos cumplirlos en una base de código completamente nueva, pero también si toca el código heredado. Y aplicamos aquellos con Sonar (herramienta de...
Escuché sobre el análisis de código de Visual Studio pero nunca usé uno. He leído MSDN , pero aún no entiendo el uso real del análisis de código. ¿No es lo mismo que StyleCop? En algún lugar, también se mencionó FxCop. ¿Cuál es la diferencia con el análisis de código? ¿Debo usar el análisis de...
Me parece lógico que uno pueda definir un contexto para el análisis de código fuente estático que incluye reglas para producir un valor relativo de complejidad. Sé que no es así en el sentido físico porque el código fuente no tiene "Energía", pero apuesto a que ha habido esfuerzos, al menos...
Se pueden usar herramientas como pc-lint o QAC para realizar análisis de código estático en una base de código. En mi experiencia, el análisis estático a menudo produce una gran cantidad de ruido, es decir, advertencias sobre cosas que no son errores reales pero que de alguna manera violan una de...
He estado estudiando la complejidad ciclomática (McCabe) y la accesibilidad del software en la universidad recientemente. Hoy mi profesor dijo que no hay correlación entre las dos métricas, pero ¿es este realmente el caso? Creo que definitivamente habría alguna correlación, ya que los programas...
La escritura estática en un lenguaje de programación puede ser útil para hacer cumplir ciertas garantías en el momento de la compilación, pero ¿son los tipos la única herramienta para este trabajo? ¿Hay otras formas de especificar invariantes? Por ejemplo, un lenguaje o entorno podría ayudar a...
Estoy trabajando en una empresa que obtendría un puntaje de 11 en Joel Test, al menos en papel. En la práctica, sin embargo, nada funciona tan bien como se esperaba, y el proyecto ha estado en DEFCON 1 durante medio año. Ahora, la mayoría de mis compañeros están felices si pueden volver a casa a...
Estoy acostumbrado a buscar la notación de Landau (Big O, Theta ...) de mis algoritmos a mano para asegurarme de que estén tan optimizados como sea posible, pero cuando las funciones se vuelven realmente grandes y complejas, está tomando forma demasiado tiempo para hacerlo a mano. También es...
La primera respuesta a una pregunta antigua, recientemente activa , vinculada a un video que habla sobre cómo se realiza el repositorio de Google. Una cosa interesante que se mencionó es el hecho de que todo está construido desde la fuente, sin depender de binarios. Esto ayuda a evitar problemas...
Heredé un código Java que sospecho que alberga algunos errores de concurrencia al sincronizar entre un hilo que consulta datos y un evento IO que actualiza los mismos datos. Estoy probando una herramienta de análisis estático llamada ThreadSafe que detecta varios problemas de concurrencia (es...
Empecé a trabajar en varios proyectos de C que están construyendo usando gcc. Creo que esta elección se hizo por varias razones: Tuve que hacer una compilación cruzada para el brazo desde el principio (creo). El rendimiento es la primera y más importante especificación. gcc fue y sigue siendo la...