Ada 적합성 평가 테스트 제품군
Ada Conformity Assessment Test Suite에이다 적합성 평가 테스트 제품군(ACATS)은 에이다 프로세서 적합성 테스트에 사용되는 테스트 제품군이다.
시험보고서 서문에는 다음과 같은 내용이 포함되어 있다.
- 적합성 평가는 프로세서가 본 보고서에 문서화된 것 이외의 다른 비적합성을 보장하지 않는다. 컴파일러 공급업체는 시험한 프로세서가 Ada 표준에 대한 의도적인 편차를 포함하지 않는다고 선언한다. 본 적합성 선언서의 사본은 인증서의 바로 뒤에 제시된다.
현재 ACAA 절차의 배경의 두 번째 단락은 다음과 같다.
- 적합성 평가의 범위와 의도를 주목하는 것이 중요하다. 적합성 평가의 목적은 에이다 프로세서가 에이다 표준([TC1]에 의해 수정된 Ada95)을 높은 수준으로 준수할 수 있도록 하는 것이다. 특정 적용에 대한 성능 및 적합성과 같은 특성은 표준에 의해 명시되지 않으므로, 에이다 적합성 평가의 범위를 벗어난다. 더욱이, ACATS는 정확한 구현을 위해 광범위하게 점검하기 위한 일련의 시험 프로그램이다. 적합성을 위해 철저히 시험하는 것은 불가능하다. 따라서 적합성은 이러한 시험의 범위까지만 점검된다. 적합성 인증을 받은 프로세서는 특정한 상황에서 각각 고유한 방법으로 표준을 준수하지 못할 수 있다.
ACATS는 30MB의 저장 공간을 차지하는 255,838줄의 코드를 가진 1821 테스트로 구성된다. 테스트 스위트는 예를 들어, 에이다 컴파일러 GNAT도 포함하는 GNU 컴파일러 컬렉션의 소스 분포의 일부로 공개적으로 사용할 수 있다.
참고 항목
참조
외부 링크
