Ada Control(에이다컨트롤)
AdaControl | |
| 개발자 | 아달로그 |
|---|---|
| 기입처 | ASIS를 사용하는 Ada |
| 운영 체제 | Microsoft Windows, Linux, Mac OS X |
| 이용가능기간: | 영어 |
| 유형 | 정적 코드 분석 |
| 면허증. | GMGPL |
| 웹 사이트 | www |
AdaControl은 Ada 프로그램에서 다양한 종류의 구성을 사용하는 것을 감지하는 무료(GMGPL) 도구입니다.첫 번째 목표는 스타일 또는 프로그래밍 규칙의 적절한 사용을 제어하는 것이지만, 다양한 형식의 프로그래밍 스타일 또는 디자인 패턴의 사용(또는 사용하지 않음)을 검색하기 위한 강력한 도구로도 사용할 수 있습니다.검색된 요소는 특정 엔티티, 선언 또는 스테이트먼트의 발생과 같은 매우 단순한 것부터 특정 프로그래밍 패턴이 준수되고 있는지 확인하는 것과 같은 매우 정교한 것까지 다양합니다.
역사
Adalog에 의한 AdaControl의 개발은 유럽 상공의 항공 교통을 관리하기 위한 100만 행 이상의 코드 프로그램(에이다)을 개발한 Eurocontrol의 계약에 따라 2004년에 시작되었습니다.자동화된 도구만이 해당 규모의 프로그램이 프로그래밍 표준에 부합하는지 검증할 수 있었습니다.
유로컨트롤은 소프트웨어 상용화에 관심이 없었기 때문에 에이다컨트롤을 무료 소프트웨어로 출시하기로 결정했다.이것은 에이다 커뮤니티 전체에 도움이 되는 메리트를 가져, 동시에 유로컨트롤이 커뮤니티에 의한 한층 더 개선을 향유할 수 있도록 했다.이후 다른 기업들이 추가 개발을 후원하면서 가상 컨소시엄 [1]효과를 창출했습니다.
특징들
AdaControl은 일련의 컨트롤을 일련의 Ada 장치에 적용합니다.컨트롤은 적절한 파라미터를 가진 규칙(및 경우에 따라서는 서브룰)에 의해 정의됩니다.컨트롤(프로그램 동작을 조정하는 데 사용되는 다양한 명령뿐 아니라)은 명령줄, 파일 또는 대화식으로 제공됩니다.
광범위한 제어가 가능합니다.현재 버전(1.22r16c)에서는 AdaControl에서 실행할 수 있는 테스트는 591개입니다.이 수는 새로운 [2]릴리스마다 증가합니다.
또한 AdaControl은 여러 위반에 대한 수정 제안도 제공합니다.AdaControl을 GPS 환경에서 실행하면 컴파일러 메시지와 마찬가지로 아이콘을 클릭하여 수정할 수 있습니다.부속 툴은 제안된 모든 수정 사항을 자동으로 적용할 수도 있습니다.
Adacontrol은 구문 및 의미 분석을 위해 ASIS를 사용하여 Ada로 작성됩니다.이를 통해 기본 컴파일러와 동일한 수준의 언어 정확도가 제공됩니다.
사용자가 [3]도구를 쉽게 확장할 수 있도록 세심한 주의를 기울여 왔습니다.
레퍼런스
2021년 12월 8일 현재, 이 문서는 전체 또는 일부를 Adalog에서 인용하였다. 저작권자는 CC BY-SA 3.0 및 GFDL에 따라 재사용할 수 있는 방법으로 콘텐츠의 라이센스를 취득했습니다.모든 관련 조건을 따라야 합니다. 원본 텍스트는 "AdaControl"에 있습니다.
