안전 매뉴얼

주요 도구 사용 절차 및 안전 관련 정보

CT는 안전 관련 소프트웨어 테스트에 사용될 수 있습니다. 따라서 CT의 핵심 워크플로우와 CT 제품의 출시 및 테스트 프로세스는 ISO 26262, IEC 61508, EN 50128, IEC 62279, IEC 60880 및 IEC 62304에 따라 인증되었습니다. 인증은 TÜV SÜD에서 수행되었습니다.
당사의 품질 관리 시스템을 통해 CT의 모든 개발 프로세스를 적절하게 처리하고 품질 및 안전과 관련된 모든 절차를 지속적으로 개선합니다.

위 그림은 자동화되고 도구 검증이 적용된 CT의 핵심 작업 흐름을 보여줍니다. CT의 핵심 작업 흐름은 위에서 언급된 ISO 26262와 같은 표준에 따라 인증되었습니다. 이 작업 흐름은 테스트 설계를 위한 데이터 편집, 테스트 환경에 따른 테스트 실행 설정과 같은 세부 기능들을 포함합니다. 또한, 인증 안전 절차에 따라 커버리지 측정 기능이 검증되었습니다.

출시된 CT 버전에서 발생하는 안전 관련 문제는 보고된 이후 필요하다면 CT 개발 부서에서 분석 및 수정됩니다. 수정된 내용은 다음 버전 출시 시 도구 및 도구 내 트러블슈팅 문서에 반영됩니다. 안전 관련 항목의 수정은 고객들에게 중요하게 다뤄질 수 있기 때문에 지원실에서 메일 혹은 유선 전화로 해당 내용을 전달하고 있습니다. 고객은 아래 이메일 정보를 통해 사용 중인 도구의 문제에 대한 논의하거나 지원하는 안전 정보를 요청할 수 있습니다.

• help@suresofttech.com
  

CT 검증 및 인증

CT는 ISO 26262 및 IEC 61508에 따라 안전 관련 소프트웨어 개발에 사용하는 테스트 도구로서 TÜV SÜD 에서 인증을 받았습니다. CT는 제어기 소프트웨어의 소스 코드(C, C++)에서 자동으로 테스트 요소를 추출하여 테스트 케이스를 생성하고 테스트를 실행합니다. CT의 테스트 수행 결과는 검증 결과에 영향을 미치기 때문에 안전과 관련이 있습니다. 그렇기 때문에 ISO 26262-8에 따라 신뢰성 등급 TI2로 할당됩니다. 또, 참조할 수 있는 예상 결과가 없으면 올바른 결과임을 확인할 수 없습니다. 따라서 ISDO 26262에 따라 도구의 오류 검출 능력이 TD3 등급으로 할당됩니다.

CT는 IEC 62304(의료 기술) 및 EN 50128(철도 기술)에 대해서도 평가되었습니다. EN 50128은 IEC 61508에서 파생된 응용 표준입니다. CT는 실행 중에 안전 관련 시스템에 직접 영향을 미칠 수 없으므로 IEC 61508-4에 따른 오프라인 도구입니다. CT는 잠재적인 결함으로 이어질 수 있는 C/C++ 실행 코드의 소프트웨어 모듈 및 통합 테스트를 지원합니다. 따라서 EN 50128에 따라 T2 오프라인 도구로 분류되었습니다.

동작의 제한

CT는 C/C++ 소스 코드의 함수를 위한 단위 테스트 도구로 고안되었습니다. CT에는 다음 제한 사항 및 전제 조건이 있습니다.

• 테스트 대상 소스 코드는 대상 컴파일러에 의해 오류 및 경고 없이 컴파일 가능해야 합니다. CT는 소스 코드 내에 구문 오류가 있는 경우 소스 코드 분석에 실패할 수 있습니다.
• CT 매뉴얼에 명시된 지원 대상 컴파일러를 제외한 미지원 컴파일러에서만 동작하는 형상의 소스 코드는 분석에 실패할 수 있습니다.
• 대상 시스템에서 테스트를 실행하는 것은 장치의 올바른 구성, CT 환경 내의 올바른 컴파일러/링커 설정 및 CT의 테스트 대상 장치별 설정에 크게 의존합니다. 지원되는 장치에 대한 CT의 사전 정의된 설정을 사용하려면 사용자가 환경을 확인하여 단위 테스트 실행이 제대로 작동하는지 확인해야 합니다.
• CT는 테스트 함수의 런타임 동작 또는 타이밍 제약 조건을 확인하지 않습니다. 런타임 에러로 테스트가 정상 종료되지 않은 경우 사용자는 CT에서 제공하는 테스트 오류 정보를 활용할 수 있습니다.
• 자동화된 테스트는 응용 프로그램 코드의 견고성을 테스트하는 데 적합하나, 높은 수준의 코드 커버리지를 달성하더라도 정확성 테스트에는 적합하지 않습니다. 정확성을 테스트하기 위해서는 구현이 아닌 요구사항을 기반으로 테스트가 수행되어야 합니다.