알림
뒤로

시험/검사

시험/검사

소프트웨어 시험

소프트웨어 시험 결과의 신뢰성 향상과 성적서 공신력 부여를 위해 KOLAS 시험성적서 발급을 지향합니다.

 소프트웨어 분야 시험성적서 발급(소재지:경남지원)

  • ISO/IEC 25023, ISO/IEC 25051에 따라 시험 의뢰자가 제시한 기준에 따른 시험 진행 가능
  • 사업계획서 및 기술개발 요구사항에 대하여 국제 표준을 적용한 시험항목 도출 컨설팅
  • 정부과제 기술개발목표에 따른 성적서 제출시 소프트웨어 시험기관 성적서를 요구하고 있음 
  • 국가시험기관으로 인정 받은 KCL 경남지원과 협업하여 시험성적서 발급이 가능
  • KS X ISO/IEC 25051, ISO/IEC 25051 : 패키지 소프트웨어 제품 품질 요구사항 및 테스팅에 대한 지시사항
  • ISO/IEC 25023 : 소프트웨어 제품 품질 평가

 소프트웨어 V&V

  • 소프트웨어 V&V(Verification & Validation)는 안전과 생명을 다루는 기계류 안전, 원자력 발전, 의료, 철도, 플랜트산업 분야 등을 대상으로 신뢰성을 객관적으로 확인하기 위한 시험 
  • 소프트웨어 V&V는 ‘특정 요구사항이 충족되었음을 객관적인 증거의 제공을 통하여 확인’하는 Verification과 ‘사용자의 요구 및 사용 목적에 일치함을 객관적으로 입증’하는 Validation을 말한다. 

 소프트웨어 코딩룰검증(CodeSonar)

  • KCL 경남지원은 소스 코드 전체의 데이터 흐름을 파악하고, 다양하게 사용되는 라이브러리 함수들 또한 의미를 파악하여 SW에 전체적인 관점으로 접근하여 통합 분석을 수행함 
  • 런타임 오류 및 취약점 점검(CWE Compatible)
  • 방위사업청 SW 신뢰성 평가(실행시간 오류 분석) 완벽 지원
  • 행정안전부 시큐어 코딩 룰 지원
  • 코딩 룰 점검(MISRA-C:2004, MISRA-C++:2008, MISRA-C:2012, PCI-DSS 등)
  • 소스코드 복잡도 분석 (HIS metrics, 소스코드 메트릭 등)

 소프트웨어 동적시험(VectorCAST)

  • KCL 경남지원은 소프트웨어의 안전성과 신뢰성이 요구되는 자동차, 국방/항공, 철도, 의료 등을 위주로 국제표준에서 요구되는 지침에 따라 소프트웨어의 검증을 수행함
  • 시스템 시험을 통한 코드커버리지 분석 
  • Statement, Branch, MC/DC, Function, Call, Basis Path 측정 지원
  • 시험결과(Test Case 이력, Pass/Fail정보, 커버리지 등) Report 생성

 시험업무 처리 절차