최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기국가/구분 | 한국(KR)/등록특허 | |
---|---|---|
국제특허분류(IPC9판) |
|
|
출원번호 | 10-2012-0044216 (2012-04-26) | |
등록번호 | 10-1291817-0000 (2013-07-25) | |
DOI | http://doi.org/10.8080/1020120044216 | |
발명자 / 주소 |
|
|
출원인 / 주소 |
|
|
심사청구여부 | 있음 (2012-04-26) | |
심사진행상태 | 등록결정(일반) | |
법적상태 | 등록 |
본 발명은 임베디드 소프트웨어의 요구사항을 정형적으로 기술한 정형 요구사항 모델로부터 테스트 케이스를 표준화된 방법으로 생성하기 위한 자동 테스트 케이스 생성 기술에 관한 것으로, 본 발명은 사용자가 선택한 커버리지 기준에 따라 요구사항 모델로부터 커버리지 목표를 생성하고, 테스트 케이스 생성 과정에서 커버리지 목표 달성 여부를 확인하는 커버리지 목표 관리부; 요구사항 모델의 내부 상태 변수 및 내부 상태 값을 이용하여 상태를 정의하되, 요구사항 모델의 초기 상태로부터 입력값을 인가함에 따라 요구사항 모델의 상태를 하나의 노드로 정
사용자가 선택한 커버리지 기준에 따라 요구사항 모델로부터 커버리지 목표를 생성하고, 테스트 케이스 생성 과정에서 커버리지 목표 달성 여부를 확인하는 커버리지 목표 관리부;요구사항 모델의 내부 상태 변수 및 내부 상태 값을 이용하여 상태를 정의하되, 요구사항 모델의 초기 상태로부터 입력 값을 인가함에 따라 요구사항 모델의 상태를 하나의 노드로 정의하고, 생성된 노드들을 트리로 관리하는 모델 상태 트리 관리부;테스트 케이스 생성 알고리즘에서 커버리지 목표를 찾아가려고 할 때 필요한 요구사항 모델의 말단 포트별로 인가해야 하는 값을 생성
※ AI-Helper는 부적절한 답변을 할 수 있습니다.