Vea cómo la plataforma de calidad continua de Parasoft ayuda a controlar y administrar los entornos de prueba para ofrecer software de alta calidad con confianza. Regístrese para la demostración >>

TESTIMONIOS

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

Tiempo de leer: 2 minutos

Descargar PDF "

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

REDUCIR

ESFUERZO MANUAL PARA EL CUMPLIMIENTO DE ESTÁNDARES

REDUCIR

COSTO DE CORRECCIÓN DE ERRORES

MEJORAR

CALIDAD DEL CÓDIGO

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 PARASOFT C/C++TEST

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.

IMPACTO

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.

DAR EL SIGUIENTE PASO

Incorpore calidad a su proceso de desarrollo de software desde el principio. Descargar el Introducción al análisis estático papel blanco.