G3 logra los objetivos de calidad del software con una solución de análisis de código estático

El Desafío

Los estándares de calidad de software excepcionalmente altos de G3 requieren un herramienta de analizador de código estático capaz de analizar el código de manera exhaustiva y eficiente. Con un equipo de desarrollo en expansión y bases de código en crecimiento (una base de código que supera los 11 millones de líneas de código), G3 requería una herramienta de análisis estático automatizada y escalable capaz de ayudarlos a encontrar y corregir defectos en la etapa más temprana posible.

El análisis estático es una parte importante de la política de calidad del software de G3 porque permite a la empresa detectar defectos lo antes posible en el ciclo de vida del desarrollo y evitar los costos posteriores asociados con la detección de errores en la etapa tardía. El análisis estático alivia la carga de los evaluadores porque permite a los desarrolladores encontrar y corregir defectos antes de que lleguen al control de calidad. Más importante aún, una herramienta de análisis estático de alto calibre evita que los errores entren en la tubería de producción. Esto ayuda a G3 a evitar costosas versiones de parches, que pueden dañar la reputación de la empresa y cargar a los equipos de desarrollo y prueba con el trabajo adicional de verificar el parche.

El enfoque

G3 buscaba una nueva solución de análisis estático. Su anterior proveedor de análisis estático parecía estar más interesado en reducir su enfoque lejos de la calidad general del software y hacia un hiperenfoque en la ciberseguridad. G3 quería un socio de análisis estático abierto a trabajar con ellos en la implementación de mejoras para ayudar a G3 a lograr sus objetivos de calidad de software, y el socio anterior parecía reacio a trabajar con G3 para mejorar los aspectos de calidad de su herramienta. Después de evaluar varios proveedores comerciales de análisis estático, G3 eligió a Parasoft.

Los resultados

Un alto estándar de calidad en G3

Los estándares de calidad de software excepcionalmente altos de G3 requieren una herramienta de análisis estático capaz de analizar el código de manera exhaustiva y eficiente. Con un equipo de desarrollo en expansión y bases de código en crecimiento (una base de código que excede los 11 millones de líneas de código), G3 necesitaba una herramienta de análisis estático escalable y automatizada capaz de ayudarlos a encontrar y corregir defectos en la etapa más temprana posible. El enfoque proactivo de G3 para detectar tantos errores como sea posible desde el principio permite a la empresa entregar rápidamente el software de alta calidad que sus clientes esperan.

Debido a que G3 escribe gran parte de su software en C++, encontrar una herramienta de análisis estático que pudiera analizar adecuadamente su código fue aún más desalentador. C++ permite a los desarrolladores alcanzar los niveles más altos de rendimiento en comparación con otros lenguajes de alto nivel. Sin embargo, la compensación es que se necesita un análisis de código más riguroso y una atención meticulosa al diseño para evitar errores relacionados con la estabilidad y la seguridad.

Prueba C / C ++ de Parasoft se destacó por su capacidad para analizar su complejo código C ++. Después de implementar herramientas de análisis estático de Parasoft, G3 notó de inmediato un aumento en la estabilidad del software de varias de sus aplicaciones de software. La cantidad de fallas de software durante la fase de desarrollo, por ejemplo, se redujo en gran medida, lo que indica que Parasoft estaba ayudando a G3 a eliminar los largos esfuerzos de depuración. Como resultado, G3 pudo continuar entregando software de alta calidad mientras cumplía con sus horarios.

En los primeros 6 meses de la implementación de las herramientas de análisis estático de Parasoft, G3 abordó aproximadamente 50,000 violaciones, algunas de las cuales fueron errores críticos como problemas de conversión de tipos, variables no utilizadas y desreferencias de puntero nulo.

Andrew Park, vicepresidente de ingeniería de G3, comprendió que los costos asociados con los defectos de disponibilidad que se introducen en la producción podrían ser extremadamente perjudiciales para la reputación de la empresa de entregar versiones de software casi libres de errores. En palabras de Park,

“Desarrollar, probar e implementar parches en los sistemas operativos generalmente implica costos mucho más altos que hacerlo bien la primera vez ... Parasoft es uno de nuestros socios clave para garantizar que lo hagamos bien la primera vez. Estamos empleando 1083 reglas de Parasoft dentro de nuestros procesos de integración continua y no permitimos que el software llegue a los sistemas de producción hasta que se aborden todos los defectos de Parasoft ".

Personalización de reglas de análisis estático

G3 también necesitaba la capacidad de personalizar las reglas de análisis estático para satisfacer sus necesidades específicas. En lugar de seguir un único estándar de codificación listo para usar, G3 utiliza una variedad de estándares y verificadores personalizados para implementar su política de codificación. Muchas de las soluciones en el mercado se centran en aspectos específicos del código, como la ciberseguridad, pero G3 buscaba una solución de análisis estático con la capacidad de centrarse en la seguridad y la calidad general del software. Parasoft permitió a G3 mapear fácilmente las reglas de análisis estático con sus estándares de codificación internos, lo que resultó en una solución de análisis estático muy completa y específica para el código de G3.

Un socio tecnológico colaborativo

Finalmente, G3 buscaba algo más que un proveedor: buscaban un socio que pudiera trabajar con G3 en el futuro previsible. Su proveedor anterior no era receptivo a trabajar con G3 para mejorar su solución de análisis estático. Pero G3 reconoce que colaborar con un proveedor de herramientas de análisis estático en las mejoras no solo ayuda a G3 a analizar el código de manera más eficaz, sino que también garantiza que el proveedor esté disponible para ayudar a G3 a entregar productos de alta calidad en el futuro.

Una cultura colaborativa y un compromiso para ayudar a G3 a lograr sus objetivos de calidad de software era uno de sus requisitos imprescindibles, y G3 encontró ambas características con Parasoft. Una chispa,
explicó:

“Aunque Parasoft es claramente de primer nivel, su personal mostró un deseo genuino de escuchar de nosotros cómo podrían mejorar su producto. La cultura de su empresa era exactamente lo que buscaba en un socio ".

Mientras tanto, la exhaustiva documentación de Parasoft aumenta la perspicacia general del equipo de desarrollo de G3. Su capacidad para ver las violaciones del análisis estático dentro de una sola vista ha ayudado a mejorar las capacidades de codificación incluso del personal experimentado.

Con Parasoft, G3 puede encontrar y corregir defectos difíciles de encontrar en las primeras etapas del ciclo de vida del desarrollo, reducir el número de fallas en la producción a cero y mejorar el estilo general de codificación de su equipo de desarrollo.