La Universidad de Pforzheim confía en una solución de prueba de software automatizada para el programa de ingeniería informática

Blindado para el futuro con la prueba de Parasoft C/C++

Desde una reunión en persona en la feria comercial Embedded World en 2014, HS Pforzheim ha estado utilizando el Herramienta de prueba de software Parasoft C/C++test. La instalación inicial del servidor con licencias para 20 estudiantes no tuvo ningún problema, gracias al soporte dedicado de Parasoft.

Las características de la herramienta de prueba incluyen:

• La generación del informe
• Pruebas preconfiguradas
• Generación de prueba
• Integración en cadena de herramientas (Eclipse)

Con esta solución de prueba de desarrollo de software, los estudiantes pueden probar exhaustivamente sus aplicaciones C y C++ con los principales estándares de la industria, incluidos MISRA, AUTOSAR y CERT.

Muchas industrias verticales como la automotriz, aeroespacial, ferroviaria, médica, industrial, entre otras, utilizan las reglas y pautas de programación definidas por estos estándares para ayudar a producir un código robusto que debe funcionar de manera segura y confiable.

Lo que lo hace especial es esto: los estudiantes trabajan con herramientas reales que se utilizan en la industria, aprendiendo así las mejores prácticas de desarrollo de software. Incluso si no se pueden aprovechar muchas oportunidades debido al tiempo limitado disponible, este estrecho vínculo entre la teoría y la práctica crea efectos de sinergia positivos para el ingreso posterior a la carrera, una de las ventajas de la Universidad de Pforzheim.

El Procedimiento Práctico

Los estudiantes reciben la instalación de una máquina virtual que integra las herramientas de Parasoft. La primera etapa de aprendizaje introduce a los estudiantes a la herramienta de prueba C/C++. Ellos pueden realizar pruebas estáticas y hacer mejoras en el código. Pruebas de regresión sigue para asegurarse de que no queden infracciones de código estático.

Luego, los estudiantes diseñan, implementan y llevan a cabo pruebas unitarias simples que incluyen partición de clases de equivalencia y pruebas de valores límite. Luego, examinan varios aspectos de la implementación del código. Un aspecto es la complejidad del código y otro es la estimación del esfuerzo.

Más tarde, los estudiantes revisan las pruebas desde el punto de vista de la capacidad de prueba del código, entre otras cosas, y las pruebas se adaptan en consecuencia.

Evaluación

Actualmente, Parasoft C/C++test es la solución de prueba de desarrollo de software más completa de la industria para probar código crítico para la seguridad en lenguaje C/C++. Al exigir a las organizaciones que utilicen una única herramienta para las mejores prácticas de prueba de desarrollo, cumplimiento de seguridad y protección, y documentación e informes de conformidad, reduce en gran medida la carga de trabajo manual para el cumplimiento de los estándares de programación. El uso de inteligencia artificial y aprendizaje automático reduce la carga de los equipos y garantiza que los problemas de diseño graves se solucionen primero, cuando es más rentable hacerlo.

Los estudiantes pueden usar Parasoft C/C++test para obtener una crítica personalizada automatizada de su código cuando y con la frecuencia que lo requieran. Si su código falla en una prueba, pueden acceder y ver una explicación detallada de por qué falló y cómo solucionarlo, todo con un solo clic.

También es importante para la capacitación que los errores no se solucionen automáticamente, por lo que los estudiantes se ven obligados a comprender las razones de cada error de programación. Así es como aprenden a codificar sin errores para el mundo laboral real.

Misión cumplida

Con el programa de estudio de Ingeniería de software, la Universidad de Pforzheim sienta las bases para que los graduados hagan una contribución efectiva e inmediata a su futuro lugar de trabajo como desarrolladores de software calificados.

Con este fin, educa a los estudiantes sobre la corrección del código y los familiariza con herramientas profesionales como Parasoft C/C++test, que se usa ampliamente en la industria.