La estrategia y el objetivo
El profesor principal, Warren Viant, se acercó al director de ventas europeo de Parasoft sobre el uso Parasoft C / C ++test en laboratorios de docencia de pregrado y posgrado. El objetivo era garantizar que los estudiantes se graduaran con las mejores prácticas de desarrollo de software utilizadas por las empresas que producen el software actual.
Eso fue hace casi una década. La Universidad de Hull continúa utilizando Parasoft C/C++test en la actualidad. La solución de prueba para el desarrollo de software C/C++ ofrece pruebas unitarias, cobertura de código estructural, y otros prueba de programación mejores prácticas.
En la Universidad de Hull, la prueba Parasoft C / C ++ brinda a los estudiantes la capacidad de probar de manera integral sus aplicaciones C y C ++ con estándares de la industria como Misra, AUTOSAR C ++ 14, CERT, y otros. Las industrias aeroespacial, automotriz, ferroviaria, médica, industrial y muchas otras utilizan las reglas y directivas de codificación definidas por estos estándares para ayudar a producir un código sólido. Eso significa código seguro, seguro y confiable.
El Sr. Warren Viant personalmente valora más la prueba Parasoft C / C ++ por su soporte integrado de todas las reglas definidas en tres de sus libros favoritos:
Los libros cubren las reglas y las mejores prácticas identificadas en la industria del software durante los últimos 20 a 30 años de desarrollo de software C ++, que admite la prueba Parasoft C / C ++.
Todas las reglas y directivas que admite Parasoft son estándares de la industria de vanguardia, que son una acumulación de experiencias de usuario y mejores prácticas de las principales empresas de desarrollo de software, proveedores de componentes, consultorías de ingeniería y academias de todo el mundo durante muchas décadas.
Enfoque
Los estudiantes de la Universidad de Hull que usan la prueba Parasoft C / C ++ incluyen:
- Segundo año cursando una licenciatura en ciencias (BSc) para el desarrollo de software.
- Aquellos que buscan una educación avanzada en ingeniería de software en el programa de Maestría en Ciencias en Ingeniería (MSc / MEng).
Hay tres temas de desarrollo de software o ramas de la educación en la Universidad de Hull:
- Robótica (la rama más nueva)
- Desarrollador de software estándar de la industria
- Desarrollador de juegos
El Sr. Warren Viant enseña la clase general en los tres dominios y usa la prueba Parasoft C / C ++ como parte de la introducción al desarrollo de software en C ++.
Presentamos el valor del análisis de código estático
Una de las razones por las que el plan de estudios incluye la prueba de Parasoft C/C++ es el valor que el análisis de código estático aporta a sus alumnos. La herramienta de análisis de código estático C/C++test ofrece reglas personalizables junto con una explicación escrita profesionalmente de cada regla y ejemplos cruciales de código tanto defectuoso como corregido.
Un conjunto de reglas de codificación cuidadosamente seleccionado se alinea con el plan de estudios y cada estudiante usa la prueba Parasoft C / C ++ durante todo el período de desarrollo para completar sus tareas. La retroalimentación que proporciona la prueba Parasoft C / C ++ es fundamental para los estudiantes que aprenden C ++. Reciben información que explica exactamente por qué el código está mal escrito y ejemplos de cómo corregirlo.
Desde la perspectiva del estudiante, la prueba Parasoft C / C ++ proporciona 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 ver una explicación detallada de por qué falló y cómo solucionarlo con un solo clic. Importante para fines educativos, los errores no se corrigen automáticamente. En cambio, los estudiantes se ven obligados a aprender las razones por las que existe cada error de codificación. Les enseña las mejores prácticas de codificación para que no vuelvan a cometer errores cuando estén en el mundo laboral.
Creando código robusto
Otro aspecto de aprendizaje interesante para los estudiantes que se esfuerzan por crear un código robusto es la habilidad de equilibrar el tiempo dedicado mejorar la calidad del código versus el tiempo dedicado a agregar funcionalidad adicional. Al final del día, el Sr. Warren Viant y la Universidad de Hull están preparando a desarrolladores de software profesionales con la conciencia de que el tiempo es dinero y para utilizar su tiempo de manera eficiente.
El objetivo de la Universidad de Hull es producir graduados que puedan hacer una contribución efectiva e inmediata al lugar de trabajo como desarrolladores de software. Cuanto más pueda educar a los estudiantes sobre la corrección del código y exponerlos a conjuntos de herramientas profesionales, como la prueba Parasoft C / C ++, mejor para los futuros empleadores, empleados y beneficiarios de los vastos productos y sistemas de software implementados en todo el mundo. .
En total, el Sr. Warren Viant califica y recomienda seriamente el uso de la prueba Parasoft C / C ++ y sus capacidades de análisis de código estático como herramienta educativa. Anima a otras universidades de todo el mundo a adoptar la prueba Parasoft C / C ++ y a integrarla en sus módulos de desarrollo. Especialmente si usan la herramienta de prueba de la manera implementada en la Universidad de Hull.
Desafíos Direcciones de prueba de Parasoft C/C++
Antes de COVID 19, el Sr. Warren Viant enseñó de 150 a 200 estudiantes de pregrado en laboratorios divididos en dos bloques con casi 100 estudiantes en cada uno. Además, dos miembros del personal y varios manifestantes de posgrado caminaron alrededor de los laboratorios para brindar asistencia.
Incluso con una cohorte, es imposible ofrecer a casi 100 estudiantes de desarrollo de software una gran cantidad de comentarios individuales cuando su trabajo se marca con violaciones de codificación. En comparación con un compilador, es especialmente útil que la prueba de Parasoft C / C ++ ofrezca sugerencias sobre cómo corregir las violaciones de codificación. Esta capacidad descarga muchas de las preguntas de rutina relacionadas con la corrección del código. Libera tiempo para que el Sr. Warren Viant proporcione orientación sobre áreas más complicadas del plan de estudios.
Resultados
El Sr. Warren Viant agradece a Parasoft por su generosidad y contribución a la academia y la industria del software. Proporcionan una herramienta real en el lugar de trabajo para educar y preparar a nuestros futuros desarrolladores de software para que marquen una diferencia en el mundo.
Los graduados aprovechan oportunidades laborales en todas las industrias donde el código debe ser de alta calidad: juegos, robótica, automotriz, aeroespacial, defensa, médica, ferroviaria y más. El uso de la prueba Parasoft C / C ++ junto con nuestro plan de estudios continúa ayudando al Departamento de Ciencias de la Computación de la Universidad de Hull a mantener la reputación de producir algunos de los mejores y más brillantes desarrolladores de software.
DAR EL SIGUIENTE PASO
Incorpore calidad, confiabilidad y seguridad en su proceso de desarrollo de software desde el principio. Descargar el Introducción al análisis estático papel blanco.
“MISRA”, “MISRA C” y el logotipo del triángulo son marcas comerciales registradas de The MISRA Consortium Limited. © The MISRA Consortium Limited, 2021. Todos los derechos reservados.