Seminario web destacado: Presentación de la prueba CT de Parasoft C/C++ para pruebas continuas y excelencia en el cumplimiento | Vea ahora

Tiempo de lectura: 5 minutos.

Descripción

En la Escuela de Ingeniería de la Universidad de Pforzheim, el programa de estudios de Ingeniería Informática explica los principios básicos de las matemáticas, la física y la ingeniería eléctrica. Posibilita una sólida formación en informática y tecnología digital, ya que un conocimiento exhaustivo del software y el hardware es fundamental para el desarrollo de los sistemas informáticos modernos.

El programa de estudios tiene una duración total de siete semestres. En la agenda del tercer semestre, el diseño avanza hacia la construcción e integración del software. La implementación tiene lugar en el lenguaje C++.

El plan de estudios incluye los conceptos y actividades esenciales del desarrollo de software moderno, especialmente las pruebas.

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.

Comience con el análisis estático para incorporar calidad a su proceso de desarrollo de software desde el comienzo del SDLC.

  • Industria: Educación
  • Ubicación: Pforzheim, Alemania
  • Solución: Prueba C / C ++