보유장비현황
- 보유장비현황
- 코드기반 표준SW 개발/검증/지원도구
- Code based standard software solutions for development, verification, and support
- i-Tube No. 1506-E-0168
- NTIS No
- 설치기관 재단법인경북아이티융합산업기술원
- 주소 경북 경산시 진량읍 신제리 557번지
- 담당자 정상훈 (T. )
- 매뉴얼
-
예약가능여부(장비 예약은 Zeus 시스템에서 회원가입후 예약가능)
장비정보
-
제작사
phaedrus systems
-
모델 명
QAC, CodeSonar, VectorCAST
내용연수5년
-
구분
주장비
용도시험
-
표준 분류
데이터 처리장비 > 장비소프트웨어 > 연구장비기반소프트웨어
-
취득일
2015.06.25.
취득금액₩200,900,000
- 인증정보
- 기능
- 장비 상세설명
장비 사용법
-
사용형태
직접사용
설치형태이동형
-
사용료 형태
시간별
장비 사용료₩139,000
장비설명
◦ QAC/C++
- ISO26262에서 요구하는 SW V&V 프로세스 확립
- SW 실행 시 발생할 수 있는 오동작 및 SW 코딩 규칙 검출
- QAC: MISRA Coding Rule 과 같은 국제표준에서 요구하는 Coding Compliance 분석 및 SW Metrics 분석을 통해 SW의 잠재적인 결함 제거
- 코딩 규칙 위반으로 발생할 수 있는 문제점을 조기에 해결함으로써 개발 기간을 단축
◦ CodeSonar
- ISO26262에서 요구하는 Semantic, Data Flow, Control Flow 분석
- SW 실행 시 발생 할 수 있는 오동작 및 SW Run- Time Error 검출
- 차량용 SW의 결함을 빠른 시간 내에 효율적으로 검출하고 SW의 안정성 향상시킴
- 코드커버리지 확보에서 발생할 수 있는 문제점을 조기에 해결
◦ VectorCAST
- Semantic Analysis를 통한 SW 잠재 결함 검출
- ISO26262에서 요구하는 Unit/Integration/Structural Coverage Analysis 자동화
- S/W Unit/Integration Testing에 요구사항 검증에 대한 일관성/추적성 확인
- SW 단위/통합 시험 환경 구축 및 ASIL에 요구되는 커버리지 분석(ISO 26262 Part 6에서 필수 수행 항목)
장비 구성 및 성능
◦ QAC/C++
- C 약 1,700개, C++ 약 1,500개의 코딩규칙 분석지원
- 코드 작성 표준 Rule과 사용자 정의 Rule을 이용하여 Bug 검출
- S/W 품질 Metrics: 33가지의 함수 분석 방법과 32가지의 파일 분석 방법 제공
- 데이터 오류로 인한 문제점 검출
- 함수간 Relationship 분석
- 함수간 Call 관계 분석
- 컴파일러와 동시에 테스트 진행 가능
- 소프트웨어 품질메트릭 측정
◦ CodeSonar
- SW 실행시 발생 할 수 있는 결함, 코드 파일간의 Link 관계, Extern 영역에서 발생 가능한 결함 검출
- Software Architecture 시각화 및 검출된 결함에 대한 함수 호출 경로 시각화
- 결함유형, 결함 심각도 및 결함 상태를 기준으로 분류·검색하고 변경이력을 관리
◦ VectorCAST
- 함수/파일별 단위시험 및 CLI (Command Line Interface) 기능
- Test Driver 및 Test Case 개발을 위해 별도의 Script 작성 없이 자동 생성
- Basis Path 분석 제공 및 분석을 통한 Test case 생성
- 함수/파일별 Stub 기능
- Statement, Branch, MC/DC 커버리지 분석
- Function, Call Coverage 분석
- Test Case 입력을 위한 GUI 입력 기능
- CSV, TAB형식의 Test Case 파일 입력 기능
- 시험결과 및 커버리지분석에 대한 리포트 자동 생성 (HTML, TXT)
- Management, Matric, Aggregate, Testcase Report 등 6종의 리포트 형식 지원
- 선정된 특정 타겟 보드와의 Integration 시험 환경 제공
- C & C++ 언어 지원
◦ VectorCAST/RSP
- Tasking Tricore계열 타겟 MCU에 대한 연동 인터페이스 기능
- VectorCAST/C++의 기능을 Tasking 컴파일러를 사용하여 Test Harness 빌드
- Tasking-Tricore MCU를 시뮬레이터 or 타겟보드를 통해 시험 실행
- Target/Simulator에서 실행된 Test Result를 VectorCAST/C++로 전달 후 결과 리포팅