English : Japanese : Contact : Sitemap
고객게시판  
제품 문의  
공지사항  
보도자료  
공지사항

[신제품] MBD기반 C/C++ White-box Path Testing 자동화 도구 출시
작성자 : 운영자 등록/수정일 : 2023-07-05 10:32:28 추천수 : 0 조회수 : 191
임베디드 소프트웨어 개발에 있어 모델기반 설계(Model-Based Design, MBD)의 중요성이 점점 높아지고 있습니다. 
특정 알고리즘 코드를 작성하여 코드기반으로 특정 기능을 검증하는 전통적인 블랙박스 테스트(Black-box Test) 방식과 달리, 알고리즘 코드의 논리적 구조인 실행 경로를 화이트박스 테스팅(White-box Testing)하여 MBD의 확장된 제어흐름그래프(Control-flow Graph, CFG) 기반 테스트 실행 전/후의 경로를 검증할 수 있는 화이트박스 경로 테스팅(White-box Path Testing) 자동화 도구를 개발했습니다. 

- 각 실행 경로의 테스트 생성(Test Domain, Input Value) 자동 추출
- 단위 커버리지: Statement, Branch, MC/DC, Path Coverage 
- 통합 커버리지: Function, Call Coverage
- 요구사항 커버리지: Requirement Traceability, Requirement Consistency 
- 무기체계 SW 동적 시험: : Statement, Branch, MC/DC Coverage

브로셔 참조: 다운로드/브로셔/RESORT 정적&동적분석도구-202307.pdf

목록으로 게시물내용 수정하기

본사: 06732 서울시 서초구 서운로1길34 한국산업기술보호협회 3층
Tel 02-553-9464
Copyrightⓒ2016 ㈜Soft4Soft, All rights reserved. Designed by Meettech.