맞춤기술찾기

홈으로 가기
맞춤기술찾기
이전대상기술
프린트하기

이전대상기술

소프트웨어 정적 테스팅 장치 및 방법

  • 기술번호 : KST2015089191
  • 담당센터 : 대전기술혁신센터
  • 전화번호 : 042-610-2279
상담신청 PDF 받기
요약, Int. CL, CPC, 출원번호/일자, 출원인, 등록번호/일자, 공개번호/일자, 공고번호/일자, 국제출원번호/일자, 국제공개번호/일자, 우선권정보, 법적상태, 심사진행상태, 심판사항, 구분, 원출원번호/일자, 관련 출원번호, 기술이전 희망, 심사청구여부/일자, 심사청구항수의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 서지정보 표입니다.
요약 소프트웨어 정적 테스팅 장치는 차량용 소프트웨어에 해당하는 복수 개의 소스 파일들을 통합하여 코드를 생성하고, 코드 및 테스트 케이스에 대한 논리식을 생성하며, 코드에 대한 논리식과 상기 테스트 케이스에 대한 논리식을 결합한 논리식을 이용하여 복수 개의 소스 파일들에 대한 테스팅을 수행한다.
Int. CL G06F 9/305 (2006.01) G06F 11/36 (2006.01) G06F 9/30 (2006.01) G06F 9/44 (2006.01)
CPC G06F 11/3604(2013.01) G06F 11/3604(2013.01) G06F 11/3604(2013.01) G06F 11/3604(2013.01) G06F 11/3604(2013.01) G06F 11/3604(2013.01) G06F 11/3604(2013.01) G06F 11/3604(2013.01)
출원번호/일자 1020100133945 (2010.12.23)
출원인 한국전자통신연구원
등록번호/일자
공개번호/일자 10-2012-0072133 (2012.07.03) 문서열기
공고번호/일자
국제출원번호/일자
국제공개번호/일자
우선권정보
법적상태 취하
심사진행상태 수리
심판사항
구분 신규
원출원번호/일자
관련 출원번호
심사청구여부/일자 N
심사청구항수 18

출원인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 출원인 표입니다.
번호 이름 국적 주소
1 한국전자통신연구원 대한민국 대전광역시 유성구

발명자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 발명자 표입니다.
번호 이름 국적 주소
1 박사천 대한민국 경기도 군포시 고산로***번길 **, *
2 김정환 대한민국 대전광역시 유성구

대리인

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 대리인 표입니다.
번호 이름 국적 주소
1 한양특허법인 대한민국 서울특별시 강남구 논현로**길 **, 한양빌딩 (도곡동)

최종권리자

번호, 이름, 국적, 주소의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 인명정보 - 최종권리자 표입니다.
번호 이름 국적 주소
최종권리자 정보가 없습니다
번호, 서류명, 접수/발송일자, 처리상태, 접수/발송일자의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 행정처리 표입니다.
번호 서류명 접수/발송일자 처리상태 접수/발송번호
1 [특허출원]특허출원서
[Patent Application] Patent Application		 2010.12.23 수리 (Accepted) 1-1-2010-0853996-49
2 출원인정보변경(경정)신고서
Notification of change of applicant's information		 2015.02.02 수리 (Accepted) 4-1-2015-0006137-44
번호, 청구항의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 청구항 표입니다.
번호 청구항
1 1
장치가 소프트웨어 정적 테스팅을 수행하는 방법에 있어서,차량용 소프트웨어에 해당하는 복수 개의 소스 파일들을 통합하여 코드를 생성하는 단계;상기 코드에 대한 논리식을 생성하는 단계;미리 저장된 테스트 케이스에 대한 논리식을 생성하는 단계;상기 코드에 대한 논리식과 상기 테스트 케이스에 대한 논리식을 결합하는 단계; 및결합된 논리식을 이용하여 상기 복수 개의 소스 파일들에 대한 테스팅을 수행하는 단계를 포함하는 소프트웨어 정적 테스팅 방법
2 2
제1항에 있어서,상기 수행하는 단계는논리식의 만족성 여부를 검사하는 처리기를 이용하여 상기 결합된 논리식에 대한 테스팅을 수행하는 소프트웨어 정적 테스팅 방법
3 3
제2항에 있어서,상기 수행하는 단계는상기 결합된 논리식에 대한 만족성에 따라 테스팅 결과를 결정하는 소프트웨어 정적 테스팅 방법
4 4
제1항에 있어서,상기 결합하는 단계는상기 테스트 케이스에 대한 논리식에 대응되는 부정 논리식을 생성하는 단계; 및상기 코드에 대한 논리식과 상기 부정 논리식을 결합하는 단계를 포함하는 소프트웨어 정적 테스팅 방법
5 5
제4항에 있어서,상기 부정 논리식을 결합하는 단계는논리곱을 이용하여 상기 코드에 대한 논리식과 상기 부정 논리식을 결합하는 소프트웨어 정적 테스팅 방법
6 6
제1항에 있어서,상기 복수 개의 소스 파일들은차량의 하드웨어에 대한 환경 설정 값을 포함하는 소프트웨어 정적 테스팅 방법
7 7
제1항에 있어서,상기 코드에 대한 논리식을 생성하는 단계는상기 코드를 파싱(parsing)하여 상기 코드에 포함된 변수의 이름, 값 및 배정에 대응되는 논리식을 생성하는 소프트웨어 정적 테스팅 방법
8 8
장치가 소프트웨어 정적 테스팅을 수행하는 방법에 있어서,차량용 소프트웨어에 해당하는 복수 개의 소스 파일들을 통합하여 코드를 생성하는 단계;상기 코드에 포함된 변수의 이름과 파라미터를 포함하는 코드 정보를 추출하는 단계;미리 저장된 테스트 케이스에 대한 이진식을 생성하는 단계;상기 이진식에 포함된 변수의 이름과 파라미터를 포함하는 테스트 케이스 정보를 추출하는 단계;상기 코드 정보와 상기 테스트 케이스 정보를 이용하여 상기 코드에 상기 이진식을 삽입한 테스팅 코드를 생성하는 단계; 및상기 테스팅 코드를 이용하여 상기 복수 개의 소스 파일들에 대한 테스팅을 수행하는 단계를 포함하는 소프트웨어 정적 테스팅 방법
9 9
제8항에 있어서,상기 테스팅 코드를 생성하는 단계는상기 코드 정보와 상기 테스트 케이스 정보를 이용하여 상기 이진식에 포함된 변수의 이름을 상기 코드에 포함된 변수의 이름으로 수정하는 단계; 및수정된 이진식을 상기 코드에 삽입하여 상기 테스팅 코드를 생성하는 단계를 포함하는 소프트웨어 정적 테스팅 방법
10 10
제9항에 있어서,상기 수정된 이진식을 상기 코드에 삽입하여 상기 테스팅 코드를 생성하는 단계는상기 수정된 이진식을 상기 코드에 포함된 함수에 삽입하는 소프트웨어 정적 테스팅 방법
11 11
제8항에 있어서,상기 수행하는 단계는상기 테스팅 코드를 실행하여 실행 결과에 대응되는 테스팅 결과를 생성하는 소프트웨어 정적 테스팅 방법
12 12
차량용 소프트웨어에 해당하는 복수 개의 형상 소스 파일들을 통합하여 하나의 코드를 생성하는 전처리부;상기 코드를 파싱하여 상기 코드에 대한 논리식을 생성하고, 상기 코드에 대한 논리식과 미리 저장된 테스트 케이스 논리식을 논리곱으로 결합하여 테스팅 논리식을 생성하는 제어부; 및상기 테스팅 논리식에 대한 만족성 여부를 검사하여 상기 복수 개의 형상 소스 파일들에 대한 테스팅 결과를 생성하는 처리부를 포함하는 소프트웨어 정적 테스팅 장치
13 13
제12항에 있어서,상기 제어부는상기 테스트 케이스 논리식에 대응되는 부정 논리식을 생성하고, 상기 코드에 대한 논리식과 상기 부정 논리식을 논리곱으로 결합하는 소프트웨어 정적 테스팅 장치
14 14
제13에 있어서,상기 테스팅 결과는상기 복수 개의 형상 소스 파일들에 대한 테스트 성공 여부 정보를 포함하는 소프트웨어 정적 테스팅 장치
15 15
제12항에 있어서,상기 코드에 미리 저장된 이진식을 삽입한 테스팅 코드를 실행하여 상기 테스팅 결과를 생성하는 실행기를 더 포함하는 소프트웨어 정적 테스팅 장치
16 16
제15항에 있어서,상기 제어부는상기 코드에 포함된 변수의 이름과 파라미터를 포함하는 코드 정보를 이용하여 상기 이진식을 상기 코드에 삽입하여 상기 테스팅 코드를 생성하는 소프트웨어 정적 테스팅 장치
17 17
제16항에 있어서,상기 제어부는상기 코드 정보를 이용하여 상기 이진식에 포함된 변수의 이름을 상기 코드에 포함된 변수의 이름으로 수정하고, 수정된 이진식을 상기 코드에 삽입하는 소프트웨어 정적 테스팅 장치
18 18
제15항에 있어서,상기 이진식은미리 저장된 테스트 케이스에 대한 이진식인 소프트웨어 정적 테스팅 장치
지정국 정보가 없습니다
순번, 패밀리번호, 국가코드, 국가명, 종류의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 패밀리정보 - 패밀리정보 표입니다.
순번 패밀리번호 국가코드 국가명 종류
1 US07824697 US 미국 FAMILY
2 US08062647 US 미국 FAMILY
3 US08357379 US 미국 FAMILY
4 US08529916 US 미국 FAMILY
5 US09289408 US 미국 FAMILY
6 US20060009523 US 미국 FAMILY
7 US20110105614 US 미국 FAMILY
8 US20120065268 US 미국 FAMILY
9 US20120167037 US 미국 FAMILY
10 US20130131176 US 미국 FAMILY
11 US20130331451 US 미국 FAMILY
12 WO2006017235 WO 세계지적재산권기구(WIPO) FAMILY

DOCDB 패밀리 정보

순번, 패밀리번호, 국가코드, 국가명, 종류의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 패밀리정보 - DOCDB 패밀리 정보 표입니다.
순번 패밀리번호 국가코드 국가명 종류
1 US2006009523 US 미국 DOCDBFAMILY
2 US2011105614 US 미국 DOCDBFAMILY
3 US2012167037 US 미국 DOCDBFAMILY
4 US7824697 US 미국 DOCDBFAMILY
5 US8062647 US 미국 DOCDBFAMILY
순번, 연구부처, 주관기관, 연구사업, 연구과제의 정보를 제공하는 이전대상기술 뷰 페이지 상세정보 > 국가R&D 연구정보 정보 표입니다.
순번 연구부처 주관기관 연구사업 연구과제
1 지식경제부 한국전자통신연구원 산업원천기술개발사업 차량 전장용 통합제어 SW 플랫폼 개발