시뮬레이터를 이용한 임베디드 소프트웨어 자동 채점 시스템 및 방법
· 5 min read
국내특허(10-2373133), 2022-03-07, (출원번호: 10-2020-0048203), 2020-04-21.
서지정보
| 서지정보 | |
|---|---|
| IPC | - G06F 30/33(2020.01.01)- G06Q 50/20(2012.01.01)- G06F 30/398(2020.01.01)- G06F 30/31(2020.01.01)- G06F 8/30(2018.01.01) |
| CPC | - G06F 30/33(2020.01)- G06Q 50/205(2013.01)- G06F 30/398(2020.01)- G06F 30/31(2020.01)- G06F 8/30(2013.01) |
| 출원번호(일자) | 1020200048203 (2020.04.21) |
| 출원인 | 경북대학교 산학협력단 |
| 번역문제출일자 | |
| 등록번호(일자) | 1023731330000 (2022.03.07) |
| 공개번호(일자) | 1020210076811 (2021.06.24)전문다운 |
| 공고번호(일자) | (2022.03.14)전문다운 |
| 국제출원번호(일자) | |
| 국제공개번호(일자) | |
| 우선권정보 | 대한민국(KR) | 1020190167835 | 2019.12.16 |
| 법적상태 | 등록 |
| 심사진행상태 | 등록결정(일반) |
| 심판사항 | |
| 구분 | 국내출원/신규 |
| 원출원번호(일자) | |
| 관련 출원번호 | |
| 심사청구여부(일자) | Y(2020.04.21) |
| 심사청구항수 | 7 |
요약
본 발명은 시뮬레이터를 이용한 임베디드 소프트웨어의 자동 채점을 수행하는 시스템 및 방법에 관한 것이다. 구체적으로, 소프트웨어의 자동 채점 기능과 결합하여 하드웨어 및 소프트웨어 구성을 자동 채점할 수 있는 임베디드 소프트웨어 실습 자동 채점 시스템 및 방법에 관한 것이다. 본 발명에 의하면, 실물로 하드웨어를 구현하지 않고 시뮬레이터를 통해 하드웨어 및 소프트웨어를 구현하고 자동으로 검증할 수 있다.
인명정보
출원인
| 번호 | 이름(번호) | 주소 |
|---|---|---|
| 1 | 경북대학교 산학협력단 (220040016844)- 사업자번호 | 대구광역시 북구... |
발명자
| 번호 | 이름(번호) | 주소 |
|---|---|---|
| 1 | 이우진 | 대구광역시 수성구... |
| 2 | 김덕엽 | 대구광역시 수성구... |
| 3 | 정원웅 | 부산광역시 연제구... |
| 4 | 서강복 | 대구광역시 서구... |
대리인
| 번호 | 이름(번호) | 주소 |
|---|---|---|
| 1 | 김종선 (920030002489) | 서울특별시 강남구 역삼로*길 ** (역삼동) **층(역삼동, 광성빌딩)(케이엘피특허법률사무소) |
| 2 | 이형석 (920030003344) | 서울특별시 강남구 역삼로*길 ** (역 삼동) **층(역삼동, 광성빌딩)(케이엘피특허법률사무소) |
최종권리자
| 번호 | 이름(번호) | 주소 |
|---|---|---|
| 1 | 경북대학교 산학협력단 | 대구광역시 북구... |
등록 이후 발명자 정보
| 번호 | 이름(번호) | 주소 |
|---|---|---|
| 1 | 이우진 | 대구광역시 수성구... |
| 2 | 김덕엽 | 대구광역시 수성구... |
| 3 | 정원웅 | 부산광역시 연제구... |
| 4 | 서강복 | 대구광역시 서구... |
등록 이후 대리인 정보
| 번호 | 이름(번호) | 주소 |
|---|---|---|
| 1 | 김종선 (920030002489) | 서울특별시 강남구 역삼로*길 ** (역삼동) **층(역삼동, 광성빌딩)(케이엘피특허법률사무소) |
| 2 | 이형석 (920030003344) | 서울특별시 강남구 역삼로*길 ** (역삼동) **층(역삼동, 광성빌딩)(케이엘피특허법률사무소) |
지정국
| 구분 | 국가명 |
|---|---|
| 데이터가 존재하지 않습니다. |
인용/피인용
인용
| 국가 | 공보번호 | 공보일자 | 발명의 명칭 | IPC |
|---|---|---|---|---|
| 데이터가 존재하지 않습니다. |
피인용
| 출원번호(일자) | 출원 연월일 | 발명의 명칭 | IPC |
|---|---|---|---|
| 데이터가 존재하지 않습니다. |
청구항
| 번호 | 청구항 |
|---|---|
| 1 | 시뮬레이터 기반으로 하는 임베디드 소프트웨어 채점 시스템에 있어서, 채점대상 회로도와 채점대상 소스코드를 입력하는 제 1 입력부; 기준 회로도와 기준 소스코드를 입력하는 제 2 입력부; 상기 제 2 입력부의 기준 회로도에서 하드웨어 기준 정보를 추출하는 추출부; 상기 제 2 입력부의 기준 소스코드를 이용하여 테스트 케이스를 생성하는 생성부; 상기 제 1 입력부의 채점대상 회로도와 상기 추출부의 하드웨어 기준 정보를 비교하는 제 1 비교부; 제 1 입력부의 채점대상 소스코드와 상기 생성부의 테스트 케이스를 비교하는 제 2 비교부; 상기 제 2 비교부의 비교결과에 따라 점수를 부가하여 채점하는 채점부;를 포함하는 임베디드 소프트웨어 채점 시스템. |
| 2 | 제 1 항에 있어서, 상기 제 1 비교부의 불일치한 비교결과를 사용자에게 제공하는 제 1 제공부; 상기 채점부의 결과를 사용자에게 제공하는 제 2 제공부;를 포함하는 임베디드 소프트웨어 채점 시스템. |
| 3 | 제 1 항에 있어서, 상기 추출부의 하드웨어 기준 정보는, 하드웨어 구성정보, 핀 정보, 핀의 연결 정보 중에서 하나 이상을 포함하는 임베디드 소프트웨어 채점 시스템. |
| 4 | 제 3 항에 있어서, 상기 추출부는, 상기 하드웨어 기준 정보를 하드웨어 기준 테이블로 생성하는 것을 특징으로 하는 임베디드 소프트웨어 채점 시스템. |
| 5 | 시뮬레이터 기반으로 하는 임베디드 소프트웨어 채점 방법에 있어서, 제 1 입력부에 채점대상 회로도와 채점대상 소스코드가 입력되는 단계; 제 2 입력부에 기준 회로도과 기준 소스코드가 입력되는 단계; 추출부가 상기 제 2 입력부의 기준 회로도에서 하드웨어 기준 정보를 추출하는 단계; 생성부가 상기 제 2 입력부의 기준 소스코드를 이용하여 테스트 케이스를 생성하는 단계; 제 1 비교부가 상기 제 1 입력부의 채점대상 회로도와 상기 추출부의 하드웨어 기준 정보를 비교하는 단계; 제 2 비교부는 제 1 입력부의 채점대상 소스코드와 상기 생성부의 테스트 케이스를 비교하는 단계; 채점부는 상기 제 2 비교부의 비교정보에 따라 점수를 부가하여 채점하는 단계;를 포함하는 임베디드 소프트웨어 채점 방법. |
| 6 | 제 5 항에 있어서, 상기 제 1 비교부의 비교결과가 불일치한 경우, 제 1 제공부는 하드웨어 구성에 대한 상기 제 1 비교부의 비교결과를 사용자에게 제공하는 단계를 포함하는 임베디드 소프트웨어 채점 방법. |
| 7 | 제 5 항에 있어서, 상기 채점부의 결과를 제 2 제공부가 사용자에게 제공하는 단계를 포함하는 임베디드 소프트웨어 채점 방법. |
패밀리정보
| 순번 | 패밀리번호 | 출원일자 | 국가코드 | 국가명 | 종류 |
|---|---|---|---|---|---|
| 데이터가 존재하지 않습니다. |
DOCDB 패밀리정보
| 순번 | 패밀리번호 | 출원일자 | 국가코드 | 국가명 | 종류 |
|---|---|---|---|---|---|
| 데이터가 존재하지 않습니다. |
국가연구개발사업
| 순번 | 연구부처 | 주관기관 | 연구사업 | 연구과제 |
|---|---|---|---|---|
| 1 | 교육부 | 경북대학교 | 지역대학우수과학자지원사업(4년~5년) | 분산 임베디드 소프트웨어의 실행로그 기반 테스팅 프레임워크 |
| 2 | 과학기술정보통신부 | 경북대학교산학협력단 | SW전문인력역량강화(R＆D) | SW중심대학(경북대) |
대표도면
도면1
도면2
도면3
도면4
도면5
도면6
도면7
도면8
도면9
도면10
도면11
도면12
