본문바로가기

TOOL

TOOL

소프트웨어 검증 자동화 솔루션

소스 코드 검증 솔루션 CODESCROLL

  • 코딩 규칙 검사 도구
    • 도메인 별 코딩 규칙 자동 검사
    • 관리자/실무자 관점의 프로젝트 오버뷰 제공
  • 실행시간 오류 검증 도구
    • 실행시간 오류 검출
    • 필터를 활용하여 쉽게 결함 추적 및 관리
  • 단위/통합 테스트 도구
    • 제어하기 어려운 원본 함수를 스텁으로 대체
    • 제어 흐름 그래프 (Control Flow Graph) 제공
    • MC/DC 목표 달성을 위한 가이드 제공
    • 통합 테스트 (Integration Test) 기능
    • COVER 제품과 커버리지 공유
  • 정적 분석 도구
    • 도메인 별 코딩 규칙 자동 검사
    • 실행시간 오류 검출
    • 분산 컴퓨팅을 활용한 빠른 분석
    • 관리자/실무자 관점의 프로젝트 오버뷰 제공
    • 필터를 활용하여 쉽게 결함 추적 및 관리

모델 개발 검증 솔루션 MODELSCROLL

  • 모델 정적 검증 도구
    • 모델링 규칙 자동 검사
    • 484개의 업계 표준 모델링 규칙 지원
    • 위배 가이드 및 탐색
    • 원클릭으로 모델 자동 수정
    • 21종의 모델 품질 지표 제공
    • 사용자 규칙, 품질 지표 생성 및 추가
  • 모델 동적 검증 도구
    • 테스트 케이스 자동 생성
    • 엑셀 형태의 편집기로 쉽게 테스트 케이스 편집
    • MIL, SIL, Back-to-back 테스트 자동 수행
    • Decision, Condition, MC/DC, Lookup Table 등 총 13종 커버리지 측정
    • 테스트 케이스 재활용
    • 요구사항에 따른 테스트 케이스 그룹

소프트웨어 품질 검증 솔루션 QUALITYSCROLL

  • 테스트 커버리지 측정 도구
    • 소스 기준으로 테스트 수행 여부 관리
    • 프로젝트 관리 측면의 업무별 테스트 진척도 제공
    • 커버리지 측정 과정 자동화
    • 형상 추적을 통한 커버리지 관리
    • CONTROLLER TESTER 제품과 커버리지 공유
    • Embedded Target에 대한 오버헤드 제어
  • 검증 프로세스 리포팅 도구
    • 회차 기준으로 시험 결과 모니터링 기능
    • 신뢰성 시험 결과 산출물 자동 생성
    • 시험 상세 결과 및 예외처리 제공
    • 3종(STATIC, CONTROLLER TESTER, COVER)의 자사 도구와 연동
    • 정적 시험, 동적 시험, 소스코드 메트릭 가이드 제공
  • 빌드 및 시험 자동화 도구
    • 지속적이고 반복적인 통합 빌드 및 시험 자동화 제공
    • 개발 프로세스 지원
    • 시험 도구, 형상 관리, 이슈 관리 등 도구 연동

인터페이스 검증 솔루션 INTERSCROLL

  • 커넥티비티 시험 도구
    • 사용자 입력/결과 판정 자동화 테스트
    • 제어기 시뮬레이터를 통한 인터페이스 사양 테스트
    • 커넥티비티 테스트 자동화
    • 다차종/다국어 관리로 테스트 케이스 재사용성 극대화
  • 메시지 상호 운용성 테스트 도구
    • 단위 · 시나리오 · 대량 테스트 및 반복 시험에 대한 자동화
    • 테스트 데이터 편집 및 조합 기능
    • 전문 변경 시 테스트 케이스 자동 생성
    • 테스트 케이스 관리 및 수행 이력 조회

소프트웨어 안전성 검증 솔루션 SECURESCROLL

  • 결함 주입 시험 도구
    • 12가지 유형의 결함 자동 주입 테스트 케이스 생성
    • 태스크 모니터링을 통한 결함 검출/복구 시험 지원
    • 실시간 변수 값 측정을 통한 제어기 상태 모니터링
    • 테스트 결과 보고서 자동 생성
  • CPU 메모리 부하율 측정 도구
    • 리소스 동적 사용량 프로파일링
    • Heap 메모리 모니터링 및 오류 검출
    • 프로세스간 통신 모니터링 및 오류 검출