바우하우스 프로젝트(컴퓨팅)

Bauhaus Project (computing)
그 외의 용도는 Bauhaus(동음이의)를 참조해 주세요.

바우하우스 프로젝트는 슈투트가르트 대학, 브레멘 대학, 그리고 이전에 바우하우스 소프트웨어 테크놀로지라고 불리던 상업용 분사 기업 Axivion 간의 소프트웨어 연구 프로젝트입니다.Bauhaus 프로젝트는 소프트웨어 유지보수 및 소프트웨어 리엔지니어링 분야에 기여합니다.

소프트웨어 [2]부패 문제에 대응하여 만들어진 이 프로젝트는 소프트웨어의 [3]아키텍처를 이해함으로써 레거시 소프트웨어용으로 개발된 수단과 방법을 분석하고 복구하는 것을 목적으로 합니다.이 프로젝트의 일환으로 소프트웨어 아키텍처, 소프트웨어 유지보수, 리엔지니어링 및 프로그램 [4]이해를 위한 소프트웨어 도구(Bauhaus Toolkit 등)를 개발하고 있습니다.

그 프로젝트의 이름은 옛 바우하우스 예술 [5]학교에서 유래되었다.

역사

바우하우스 프로젝트는 1996년 a슈투트가르트 대학의[7] 에르하르트 플로이더더 [6]박사와 레이너 코슈케 박사에 의해 시작되었습니다.이것은 원래 슈투트가르트 대학의 컴퓨터 과학 연구소(ICS)와 더 이상 관여하지 않는 Fraunhofer-Institut für Experimentelles 소프트웨어 엔지니어링(IESE)[4][8] 간의 협업이었습니다.

바우하우스의 초기 버전은 시각화를 [9]: 143–145 위해 Rigi를 통합하고 사용했습니다.

상업적인 분사 Axivion은 [8]2005년에 시작되었다.그 후, 슈투트가르트 대학 프로그래밍 언어학과인 Axivion 소프트웨어 테크놀로지 연구소 및 브레멘 대학 03 교수진의 소프트웨어 엔지니어링 그룹에서 조사가 실시되었습니다.

현재 Bauhaus 프로젝트의 학술[5] 버전과 상업적으로 판매되고 있는 Axivion[1] Suite는 다른 제품입니다.Axivion은 2010년 이후 새로운 인프라스트럭처를 기반으로 개발되어 MISRA [10]체크 등의 새로운 애플리케이션을 추가할 수 있게 되었습니다.

바우하우스 툴킷

Bauhaus Toolkit(또는 단순히 "Bauhaus 도구")에는 C, C++, C#, Java 및 Ada 코드용 정적 코드 분석 도구가 포함되어 있습니다.아키텍처 체크, 인터페이스 분석, 클론 검출 등 다양한 분석으로 구성됩니다.바우하우스는 원래 리기족의 [12]한계로 바우하우스가 확장한 오래된 리기 역공학 [11]환경에서 파생되었다.이는 [13]이 분야에서 가장 주목할 만한 시각화 도구 중 하나입니다.

Bauhaus 툴 스위트는 중간 언어로 코드의 추상화(표현)를 작성하고 자원 흐름 그래프(RFG)[14]를 통해 소스 코드 분석을 지원합니다.RFG는 다양한 뷰로 구성된 유형화된 노드와 에지가 있는 계층형 그래프입니다.

이 툴킷은 학회용으로 무료로 라이선스됩니다(단, Axivion Suite와는 다른 제품입니다).

Axivion과 Axivion 스위트

상업적으로 사용하기 위해 이 프로젝트는 Axivion이라는 [1]분사 회사를 만들었다.Axivion은 독일 슈투트가르트에 본사를 두고 있으며 Axivion Suite의 라이센스와 지원을 제공하고 있습니다.Axivion Suite는 Bauhaus 프로젝트에서 유래한 제품이지만 현재는 MISRA 체크, 아키텍처 검증, 분석, 결함 검출, 클론 관리 [15]등 다양한 정적 코드 분석 기능을 갖추고 있습니다.또한 Eclipse 및 Microsoft Visual Studio에 대한 IDE 통합도 제공합니다.

프로젝트 자금 지원

바우하우스 프로젝트는 바덴뷔르템베르크주(州), 독일 연방정부(州), 독일 연방정부(州), 독일 연방정부(Fur Bildung und Forschung), T-Nova Deutsche Telekom Innovationsgesellschaft) 및 제록스 리서치([16]XResearch)의 자금 지원을 받았다.

접수처

바우하우스 도구 모음은 연구 [14]및 상업 프로젝트에서 성공적으로 사용되어 왔습니다.바우하우스는 유명한 Rigi 환경의 "[12]가장 광범위한" 커스터마이즈라고 알려져 있습니다.

프로젝트의 멤버들은 여러 번 최우수 논문상을 수상했고 여러 번 저널 논문을 제출하도록 초대받았다.

2003년 Bauhaus 프로젝트는 MFG [16]Stiftung Baden-Wurttemberg로부터 Do it 소프트웨어 상을 받았습니다.

각주

  • ^a 프로젝트의 설립에 관해서는, 1996년과 1997년은, 다양한 소스간에 동등하게 나타나는 것 같습니다.

레퍼런스

  1. ^ a b c 액시비온사 홈페이지
  2. ^ 홀거 브룬스."Rolle rückwärts: der Softwarentwicklung auf의 'Reverse Engineering' 데크 슈바흐스텔렌"Deutschlandfunk (독일 라디오)08.07.2006.
  3. ^ 툴리오 바르다네가신뢰성 높은 소프트웨어 테크놀로지 - Ada-Europe 2005: 제10회 신뢰성 높은 소프트웨어 테크놀로지에 관한 Ada-Europe International Conference on Reliable Software Technologies, York, 2005년 6월 20일부터 24일까지 진행.컴퓨터 공학 강의 노트 3555권Springer, 2005. ISBN3-540-26286-5, ISBN978-3-540-26286-2
  4. ^ a b Quigley, Aaron J. 대규모 관계 정보 시각화, 클러스터링 및 추상화 2011년 7월 17일 Wayback Machine에 보관, 페이지 155-159.박사 학위 논문.2001년 8월, 뉴캐슬 대학 컴퓨터 공학 및 소프트웨어 공학부.
  5. ^ a b "The Bauhaus Project". Archived from the original on 2007-01-14. Retrieved 2007-03-05.
  6. ^ 「Biographics」제5회 IFIP 소프트웨어 테크놀로지 서머 스쿨과 ACM/IEEE ICSE 2010 워밍업 워크숍
  7. ^ 기조연설자 - WCRE 2005[permanent dead link] 리버스 엔지니어링 워킹 컨퍼런스
  8. ^ a b 요헨 콴트.동적 객체 프로세스 그래프(비주장) Universitét 브레멘.2009년 1월 30일
  9. ^ Koschke, Rainer (2002). Software Visualization for Reverse Engineering. Lecture Notes in Computer Science. 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.
  10. ^ Axivion Suite를 통한 MISRA 확인
  11. ^ Holger Kienle과 Xiaomin Wu가 Sortie 구조화 도구 데모를 보고합니다.기술 보고서, 빅토리아 대학교, 2001.
  12. ^ a b Holger M. Kienle과 Muller, Hausi A.Rigi Reverse Engineering Engineering Environment.캐나다 빅토리아 대학교2008.
  13. ^ B Cleary, A Le Gear, C Exton, J Buckley "A Combined Software Reconnaission & Static Analysis Eclipse Visualization Plug-in." 제3회 IEEE 국제 이해 및 분석 소프트웨어 시각화 워크숍2005.
  14. ^ a b 카르스텐 소어와 베른하르트 버거."아이디어: 아키텍처 중심의 소프트웨어 보안 분석을 지향합니다.엔지니어링 시큐어 소프트웨어 및 시스템: 제2회 국제 심포지엄, ESSoS 2010, 이탈리아 피사, 2010년 2월 3-4일, 의사진행.컴퓨터 사이언스 LNCS 서브 도서관 강의 노트 5965권.SL 4, 보안 및 암호 보안 및 암호.Springer, 2010년ISBN 3-642-11746-5, ISBN 978-3-642-11746-6
  15. ^ Axivion Suite 적용
  16. ^ a b "Bauhaustechniken – höhere Productivitét Bei Wartungsingenieuren durch " Corporate Memory " 를 실행합니다.소프트웨어 어워드:Ausgeichnete Softwareforschung aus Baden-Wurttemberg 2003–2007년 Wayback Machine에서 아카이브.페이지 42.

외부 링크