公开(公告)号：KR102013582B1

公开(公告)日：2019-08-23

申请号：KR1020120099609

申请日：2012-09-07

Applicant: 삼성전자주식회사

Inventor： 심희준 ,  안민욱 ,  정진세 ,  한연조

IPC: G06F11/36 ,  G06F11/28

公开(公告)号：KR1020140126194A

公开(公告)日：2014-10-30

申请号：KR1020130044434

申请日：2013-04-22

Applicant: 삼성전자주식회사

Inventor： 정성훈 ,  정무경 ,  조영철 ,  심희준 ,  정진세 ,  한연조

IPC: G06F9/44 ,  G06F11/36

CPC classification number: G06F17/5081 ,  G06F11/3684 ,  G06F17/5009 ,  G06F9/44 ,  G06F11/36

Abstract: 프로세서의 검증을 위하여 중복 없는 테스트 케이스를 생성하는 장치에 관한 것으로, 일 실시예에 따르면, 전체 검증 공간(total verification space)에서 복수의 제약 검증 공간(constrained verification space)을 정의하고, 복수의 제약 검증 공간 각각에 대하여 제약 조건 기술(constrined description)을 생성하는 제약조건생성부 및 제약 조건 기술을 이용하여 테스트 케이스를 생성하는 테스트케이스생성부를 포함할 수 있다.

Abstract translation: 本发明涉及一种创建不重叠以验证处理器的测试用例的设备。 根据实施例，设备可以包括：约束条件生成单元，其在总验证空间中定义多个约束验证空间，并且为每个约束验证空间生成约束条件描述; 以及使用约束条件描述生成测试用例的测试用例生成单元。