CASO DE ESTUDIO
Reglas personalizables junto con una explicación escrita profesionalmente de cada regla.
Creó un código sólido al equilibrar el tiempo dedicado a mejorar la calidad del código y agregar nuevas funciones.
Comentarios sobre infracciones de codificación, por qué falló y cómo solucionarlo con un solo clic.
Tiempo de lectura: 5 minutos.
University of Hull en el Reino Unido es un lugar para desarrollarse personal, social y académicamente. La Universidad tiene más de 16,000 estudiantes y alrededor de 2,500 empleados que incluyen a más de 1,000 miembros del personal académico. La investigación en ciencias de la computación ocupó el quinto lugar en el Reino Unido por su impacto en la última evaluación nacional. Las áreas especializadas incluyen ciencia computacional, gamificación por computadora, sistemas inteligentes confiables, robótica e inteligencia artificial, y simulación y visualización.
En la Universidad de Hull, el departamento de Ciencias de la Computación tiene la reputación de producir desarrolladores de software graduados que pueden cruzar rápidamente la brecha entre la academia y el lugar de trabajo. Realizan aportaciones inmediatas y efectivas, lo que no ocurre por casualidad.
Saltar a la sección
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.
Los estudiantes de la Universidad de Hull que usan la prueba Parasoft C / C ++ incluyen:
Hay tres temas de desarrollo de software o ramas de la educación en la Universidad de Hull:
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 ++.
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.
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.
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.
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.
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.
Reciba las últimas noticias y recursos sobre pruebas de software en su bandeja de entrada.
