Articulo de referencia

Proyecto Bauhaus (informática)

El proyecto Bauhaus es un proyecto de investigación de software en colaboración entre la Universidad de Stuttgart , la Universidad de Bremen y una empresa derivada comercial Axi...

El proyecto Bauhaus es un proyecto de investigación de software en colaboración entre la Universidad de Stuttgart , la Universidad de Bremen y una empresa derivada comercial Axivion, [ 1 ] también conocida como Bauhaus Software Technologies .

El proyecto Bauhaus se centra en los campos del mantenimiento de software y la reingeniería de software .

Creado en respuesta al problema de la degradación del software , [ 2 ] el proyecto tiene como objetivo analizar y recuperar los medios y métodos desarrollados para el software heredado mediante la comprensión de su arquitectura . [ 3 ] Como parte de su investigación, el proyecto desarrolla herramientas de software (como el Bauhaus Toolkit ) para la arquitectura, el mantenimiento y la reingeniería del software, así como para la comprensión de programas. [ 4 ]

El proyecto toma su nombre de la antigua escuela de arte Bauhaus . [ 5 ]

Historia

El proyecto Bauhaus fue iniciado por los profesores Erhard Ploedereder [ 6 ] y Rainer Koschke [ 7 ] en la Universidad de Stuttgart [ 8 ] en 1996. Originalmente fue una colaboración entre el Instituto de Ciencias de la Computación (ICS) de la Universidad de Stuttgart y el Instituto Fraunhofer de Ingeniería de Software Experimental IESE , [ 4 ] [ 9 ] que ya no participa.

El proyecto Bauhaus fue financiado por el estado federado de Baden-Württemberg , la Deutschen Forschungsgemeinschaft , el Bundesministerium für Bildung und Forschung , T-Nova Deutsche Telekom Innovationsgesellschaft Ltd. y Xerox Research. [ 10 ]

Las primeras versiones de la Bauhaus integraron y utilizaron Rigi para la visualización. [ 11 ] : 143–145

La empresa derivada comercial Axivion GmbH, con sede en Stuttgart, se creó en 2005. [ 9 ] La investigación se llevó a cabo en Axivion, el Instituto de Tecnología de Software, el Departamento de Lenguajes de Programación de la Universidad de Stuttgart, así como en el Grupo de Ingeniería de Software de la Facultad 03 de la Universidad de Bremen.

Anteriormente, se ofrecía la versión académica [ 5 ] de la "Bauhaus" [ 12 ] . Actualmente, el software se comercializa como Axivion Suite . Esta última incluye comprobaciones MISRA C, entre otros servicios de verificación.

El 11 de agosto de 2022, el Grupo Qt adquirió Axivion GmbH. Desde entonces, la unidad de negocio de Garantía de Calidad del Grupo Qt ha continuado desarrollando y distribuyendo la Suite Axivion. [ 13 ]

Bauhaus Toolkit ahora es Axivion Suite

El Bauhaus Toolkit (o simplemente la "herramienta Bauhaus") incluye una herramienta de análisis de código estático para C, C++, C#, Java y Ada. Comprende diversos análisis, como la verificación de la arquitectura, el análisis de interfaces y la detección de clones. Bauhaus se derivó originalmente del antiguo entorno de ingeniería inversa Rigi, [ 14 ] que fue ampliado por Bauhaus debido a las limitaciones de Rigi. [ 15 ] Se considera una de las herramientas de visualización más destacadas en el campo. [ 16 ]

El conjunto de herramientas Bauhaus facilita el análisis del código fuente mediante la creación de abstracciones (representaciones) del código en un lenguaje intermedio , así como a través de un grafo de flujo de recursos (RFG). [ 17 ] El RFG es un grafo jerárquico con nodos y aristas tipificados, estructurados en diversas vistas.

Si bien la suite Axivion tiene su origen en el proyecto Bauhaus, ahora se considera un producto diferente con una gama más amplia de servicios, como análisis de código estático, como la comprobación MISRA , la verificación de arquitectura, el análisis de inclusiones, la detección de defectos y la gestión de clones.

Recepción

El conjunto de herramientas Bauhaus se ha utilizado con éxito en proyectos de investigación y comerciales. [ 17 ] Se ha señalado que Bauhaus es "quizás [la] personalización más extensa" del conocido entorno Rigi, [ 15 ]

Los miembros del proyecto fueron galardonados repetidamente con el premio al mejor artículo y fueron invitados varias veces a presentar artículos para revistas especializadas.

En 2003, el proyecto Bauhaus recibió el premio de software "do it" de la Fundación MFG de Baden-Württemberg. [ 10 ]

Notas a pie de página

  • ^a En cuanto a la fundación del proyecto, los años 1996 y 1997 parecen aparecer con la misma frecuencia entre las diversas fuentes.

Referencias

  1. "Líder tecnológico en análisis estático de código" . Axivion . Consultado el 11 de octubre de 2024 .
  2. Holger Bruns. " Rolle rückwärts: 'Ingeniería inversa' deckt Schwachstellen in der Softwarentwicklung auf ". Deutschlandfunk (Radio Alemania). 08.07.2006.
  3. Tullio Vardanega. Tecnología de software fiable - Ada-Europe 2005: 10.ª Conferencia Internacional Ada-Europe sobre Tecnologías de Software Fiables, York, Reino Unido, 20-24 de junio de 2005, actas . Volumen 3555 de Lecture Notes in Computer Science . Springer, 2005. ISBN 3-540-26286-5, ISBN 978-3-540-26286-2
  4. 1 2 Quigley, Aaron J. Visualización, agrupamiento y abstracción de información relacional a gran escala. Archivado el 17 de julio de 2011 en Wayback Machine , págs. 155-159. Tesis doctoral. Departamento de Ciencias de la Computación e Ingeniería de Software, Universidad de Newcastle, agosto de 2001.
  5. 1 2 "El proyecto Bauhaus" . Archivado del original el 14 de enero de 2007. Recuperado el 5 de marzo de 2007 .
  6. "Prof. Dr. rer. nat. Erhard Plödereder | Facultad 5: Informática, Ingeniería Eléctrica y Tecnologías de la Información | Universidad de Stuttgart" . www.f05.uni-stuttgart.de . Consultado el 11 de octubre de 2024 .
  7. «Bauhaus - Universidad de Bremen» . www.uni-bremen.de (en alemán) . Consultado el 11 de octubre de 2024 .
  8. Ponentes principales - Conferencia de trabajo WCRE 2005 sobre ingeniería inversa
  9. ^ Jochen Quanté. Gráficos de procesos de objetos dinámicos (disertación) Universität Bremen. 30 de enero de 2009
  10. ^ "Bauhaustechniken – höhere Produktivität bei Wartungsingenieuren durch „Corporate Memory“" do it.software-award:Ausgezeichnete Softwareforschung aus Baden-Württemberg 2003–2007 Archivado el 19 de julio de 2011 en Wayback Machine . Página 42.
  11. Koschke, Rainer (2002). «Visualización de software para ingeniería inversa». Visualización de software . Notas de clase en ciencias de la computación. Vol. 2269. pp. 138–150 . CiteSeerX 10.1.1.465.3117 . doi : 10.1007/3-540-45875-1_11 . ISBN    978-3-540-43323-1.
  12. Raza, Aoun; Vogel, Gunther; Plödereder, Erhard (2006), "Bauhaus – Un conjunto de herramientas para el análisis de programas y la ingeniería inversa" , en Pinho, Luís Miguel; González Harbour, Michael (eds.), Tecnologías de software fiables – Ada-Europe 2006 , vol. 4006, Berlín, Heidelberg: Springer Berlin Heidelberg, pp. 71–82 , doi : 10.1007/11767077_6 , ISBN   978-3-540-34663-0, consultado el 11 de octubre de 2024
  13. "Lanzamiento de Axivion Suite 7.8" . www.qt.io. Consultado el 11 de octubre de 2024 .
  14. Holger Kienle y Xiaomin Wu INFORME PARA LA DEMOSTRACIÓN DE LA HERRAMIENTA ESTRUCTURADA SORTIE . Informe técnico, Universidad de Victoria, 2001.
  15. 1 2 Holger M. Kienle y Muller, Hausi A. El entorno de ingeniería inversa de Rigi . Universidad de Victoria, Canadá. 2008.
  16. Cleary, B.; Le Gear, A.; Exton, C.; Buckley, J. (2005). "Un complemento de visualización de Eclipse para reconocimiento de software combinado y análisis estático" . 3er Taller Internacional IEEE sobre Visualización de Software para la Comprensión y el Análisis . Vol. 7. IEEE. pp. 1–2 . doi : 10.1109/vissof.2005.1684319 . ISBN   0-7803-9540-9.
  17. 1 2 Karsten Sohr y Bernhard Berger. «Idea: Hacia un análisis de seguridad de software centrado en la arquitectura». Ingeniería de software y sistemas seguros: Segundo Simposio Internacional, ESSoS 2010, Pisa, Italia, 3-4 de febrero de 2010, Actas . Volumen 5965 de Lecture Notes in Computer Science, subbiblioteca LNCS. SL 4, Seguridad y criptología. Springer, 2010. ISBN 3-642-11746-5, ISBN 978-3-642-11746-6
  • El Proyecto Bauhaus – Antigua página del proyecto en ISTE
  • Universität Bremen > AG Softwaretechnik > Forschung > Projekte > Bauhaus
  • Sitio web oficial (Axivion)