KR20170058228A - 임베디드 시스템을 위한 디버깅 방법 및 장치 - Google Patents

임베디드 시스템을 위한 디버깅 방법 및 장치 Download PDF

Info

Publication number
KR20170058228A
KR20170058228A KR1020160022911A KR20160022911A KR20170058228A KR 20170058228 A KR20170058228 A KR 20170058228A KR 1020160022911 A KR1020160022911 A KR 1020160022911A KR 20160022911 A KR20160022911 A KR 20160022911A KR 20170058228 A KR20170058228 A KR 20170058228A
Authority
KR
South Korea
Prior art keywords
data
user function
packet
target device
target
Prior art date
Application number
KR1020160022911A
Other languages
English (en)
Inventor
신무용
좌혜경
나지현
이찬용
Original Assignee
한국전자통신연구원
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Application filed by 한국전자통신연구원 filed Critical 한국전자통신연구원
Publication of KR20170058228A publication Critical patent/KR20170058228A/ko

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/362—Software debugging
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/3003—Monitoring arrangements specially adapted to the computing system or computing system component being monitored
    • G06F11/302—Monitoring arrangements specially adapted to the computing system or computing system component being monitored where the computing system component is a software system
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3664—Environments for testing or debugging software

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • Quality & Reliability (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Computer Hardware Design (AREA)
  • Computing Systems (AREA)
  • Mathematical Physics (AREA)
  • Debugging And Monitoring (AREA)

Abstract

타겟 장치의 동작 방법이 개시된다. 일 실시예는 호스트 장치로부터 데이터를 수신하고, 미리 정의된 사용자 함수를 실행하기 위한 명령어가 상기 데이터에 포함되어 있는지 확인하며, 상기 명령어가 상기 데이터에 포함된 경우, 상기 사용자 함수에 대응하는 번호 및 상기 사용자 함수의 인자(argument)를 상기 데이터에서 추출하고, 상기 번호 및 상기 인자를 이용하여 상기 사용자 함수를 호출하고, 상기 호출된 사용자 함수에 따라 동작하는 단계를 포함한다.

Description

임베디드 시스템을 위한 디버깅 방법 및 장치{METHOD AND APPARATUS OF DEBUGGING FOR EMBEDDED SYSTEM}
아래 실시예들은 임베디드 시스템을 위한 디버깅 방법 및 장치에 관한 것이다.
마이크로프로세서(microprocessor)를 내장하는 임베디드 시스템의 소프트웨어를 개발하는데 있어서 디버깅(debugging)은 중요할 수 있다.
임베디드 시스템의 기능들을 테스트하기 위해 임베디드 시스템의 소스 코드가 수정되고, 컴파일되는 작업이 반복될 수 있다. 이로 인해, 임베디드 시스템의 기능들 각각은 디버깅될 수 있다. 이러한 디버깅 방법은 임베디드 시스템의 기능들 각각 또는 동작들 각각마다 소스 코드를 수정하고, 컴파일하는 과정을 포함한다. 이러한 디버깅 방법으로 임베디드 시스템의 기능 또는 동작을 검증하는 대는 한계가 있고, 많은 시간과 노력이 필요하여 임베디드 시스템의 소프트웨어의 개발 기간이 길어질 수 있다.
관련 선행기술로, 공개특허공보 제10-2015-0125275호(발명의 명칭: 소프트웨어 시스템의 디버깅 장치 및 방법, 출원인: 삼성전자 주식회사)가 있다. 선행기술에는 디버그 프로토콜 패킷을 생성하는 과정 및 상기 생성된 디버그 프로토콜 패킷을 진단 장치로 송신하는 과정을 포함하는 디버깅 대상 장치의 동작 방법이 개시된다.
일 측에 따른 타겟 장치의 동작 방법은 호스트 장치로부터 데이터를 수신하는 단계; 미리 정의된 사용자 함수를 실행하기 위한 명령어가 상기 데이터에 포함되어 있는지 확인하는 단계; 상기 명령어가 상기 데이터에 포함된 경우, 상기 사용자 함수에 대응하는 번호 및 상기 사용자 함수의 인자(argument)를 상기 데이터에서 추출하는 단계; 상기 번호 및 상기 인자를 이용하여 상기 사용자 함수를 호출하는 단계; 및 상기 호출된 사용자 함수에 따라 동작하는 단계를 포함한다.
상기 호출된 사용자 함수는, 상기 인자에 따라 상기 타겟 장치의 동작 상태를 변경할 수 있다.
상기 호출된 사용자 함수는, 에러에 대응하는 변수값을 변경할 수 있다.
상기 데이터는, 시작 태그, 상기 명령어, 상기 인자, 및 종료 태그를 포함할 수 있다.
상기 호출된 사용자 함수에 따라 동작하는 단계는, 디버깅을 수행하는 단계를 포함할 수 있다.
상기 호스트 장치는, 사용자 인터페이스를 통해 상기 번호 및 상기 인자를 입력 받을 수 있다.
일 측에 따른 호스트 장치의 동작 방법은 상기 타겟 장치에서 실행될 사용자 함수에 대응하는 번호 및 상기 사용자 함수의 인자를 수신하는 단계; 상기 번호 및 상기 인자를 포함하는 데이터를 생성하는 단계; 및 상기 데이터를 상기 타겟 장치로 전송하는 단계를 포함한다.
상기 타겟 장치는, 상기 데이터로부터 상기 번호 및 상기 인자를 추출하고, 상기 번호 및 상기 인자를 이용하여 상기 사용자 함수를 호출할 수 있다.
상기 호출된 사용자 함수는, 상기 타겟 장치의 동작 상태를 변경할 수 있다.
실시예는 실시간으로 수행되고 있는 임베디드 시스템을 멈추지 않고 임베디드 시스템의 상태를 모니터링하거나 동작 상태를 변경할 수 있다. 또한, 실시예는 임베디드 시스템 소프트웨어의 디버깅을 용이하게 하도록 할 수 있다.
도 1은 일 실시예에 따른 호스트 장치 및 타겟 장치를 포함하는 호스트-타겟 시스템을 설명하기 위한 도면이다.
도 2는 일 실시예에 따른 타겟 DM 에이전트의 동작을 설명하기 위한 도면이다.
도 3은 일 실시예에 따른 호스트 장치의 동작 방법을 설명하기 위한 순서도이다.
도 4는 일 실시예에 따른 타겟 장치의 동작 방법을 설명하기 위한 순서도이다.
이하, 실시예들을 첨부된 도면을 참조하여 상세하게 설명한다.
아래 설명하는 실시예들에는 다양한 변경이 가해질 수 있다. 아래 설명하는 실시예들은 실시 형태에 대해 한정하려는 것이 아니며, 이들에 대한 모든 변경, 균등물 내지 대체물을 포함하는 것으로 이해되어야 한다.
실시예에서 사용한 용어는 단지 특정한 실시예를 설명하기 위해 사용된 것으로, 실시예를 한정하려는 의도가 아니다. 단수의 표현은 문맥상 명백하게 다르게 뜻하지 않는 한, 복수의 표현을 포함한다. 본 명세서에서, "포함하다" 또는 "가지다" 등의 용어는 명세서 상에 기재된 특징, 숫자, 단계, 동작, 구성 요소, 부품 또는 이들을 조합한 것이 존재함을 지정하려는 것이지, 하나 또는 그 이상의 다른 특징들이나 숫자, 단계, 동작, 구성요소, 부품 또는 이들을 조합한 것들의 존재 또는 부가 가능성을 미리 배제하지 않는 것으로 이해되어야 한다.
다르게 정의되지 않는 한, 기술적이거나 과학적인 용어를 포함해서 여기서 사용되는 모든 용어들은 실시예가 속하는 기술 분야에서 통상의 지식을 가진 자에 의해 일반적으로 이해되는 것과 동일한 의미를 가지고 있다. 일반적으로 사용되는 사전에 정의되어 있는 것과 같은 용어들은 관련 기술의 문맥 상 가지는 의미와 일치하는 의미를 가지는 것으로 해석되어야 하며, 본 명세서에서 명백하게 정의하지 않는 한, 이상적이거나 과도하게 형식적인 의미로 해석되지 않는다.
또한, 첨부 도면을 참조하여 설명함에 있어, 도면 부호에 관계없이 동일한 구성 요소는 동일한 참조 부호를 부여하고 이에 대한 중복되는 설명은 생략하기로 한다. 실시예를 설명함에 있어서 관련된 공지 기술에 대한 구체적인 설명이 실시예의 요지를 불필요하게 흐릴 수 있다고 판단되는 경우 그 상세한 설명을 생략한다.
도 1은 일 실시예에 따른 호스트 장치 및 타겟 장치를 포함하는 호스트-타겟 시스템을 설명하기 위한 도면이다.
도 1을 참조하면, 호스트 장치(110)는 입력부(111), DM 패킷 생성부(112), 및 DM 패킷 송신부(113)를 포함하고, 타겟 장치(120)는 DM 패킷 수신부(121), DM 패킷 분석부(122), 및 사용자 함수 호출부(123)를 포함한다.
호스트 장치(110)는, 예를 들어, 호스트 컴퓨터를 포함할 수 있다.
입력부(111)는 사용자 인터페이스를 통해 타겟 장치(120)에서 수행될 사용자 함수에 대응하는 번호 및 사용자 함수의 인자(argument)를 입력 받는다.
DM 패킷 생성부(112)는 번호 및 인자를 이용하여 DM(Diagnostic Monitor) 패킷을 생성한다.
DM 패킷 송신부(113)는 DM 패킷을 타겟 장치(120)로 전송한다. 예를 들어, DM 패킷 송신부(113)는 이더넷이나 시리얼 등의 데이터 통신 선로를 통해 DM 패킷을 타겟 장치(120)로 전송할 수 있다.
타겟 장치(120)의 DM 패킷 수신부(121)는 호스트 장치(110)가 전송한 데이터를 수신한다. 예를 들어, DM 패킷 수신부(121)는 호스트 장치(110)로부터 DM 패킷을 수신할 수 있다.
DM 패킷 분석부(122)는 호스트 장치(110)가 전송한 데이터를 분석한다. 예를 들어, DM 패킷 분석부(122)는 호스트 장치(110)가 전송한 데이터가 DM 패킷인지 아닌지 확인할 수 있다. DM 패킷은 사용자 함수를 실행하기 위한 명령어를 포함하고, DM 패킷을 제외한 데이터는 사용자 함수를 실행하기 위한 명령어를 포함하지 않을 수 있다. 이로 인해, DM 패킷 분석부(122)는 호스트 장치(110)가 전송한 데이터에 사용자 함수를 실행하기 위한 명령어가 포함되어 있는지 확인하여 호스트 장치(110)가 전송한 데이터가 DM 패킷인지 확인할 수 있다. 호스트 장치(110)가 전송한 데이터가 DM 패킷인 경우, DM 패킷 분석부(122)는 DM 패킷에서 번호 및 인자를 추출할 수 있다.
사용자 함수 호출부(123)는 번호 및 인자를 이용하여 사용자 함수를 호출한다. 사용자 함수는 인자에 대응하는 동작을 수행할 수 있다. 즉, 사용자 함수는 인자에 따른 동작을 수행할 수 있다.
위에서 설명한 입력부(111), DM 패킷 생성부(112), 및 DM 패킷 송신부(113) 중 어느 하나 또는 이들의 조합은 호스트 DM 에이전트에 대응할 수 있다. 또한, 위에서 설명한 DM 패킷 수신부(121), DM 패킷 분석부(122), 및 사용자 함수 호출부(123) 중 어느 하나 또는 이들의 조합은 타겟 DM 에이전트에 대응할 수 있다. 타겟 DM 에이전트는 임베디드 시스템, 즉, 타겟 장치(120)에서 제공하는 태스크(tack) 형태로 수행될 수 있다. 또한, 타겟 DM 에이전트는 가장 낮은 우선 순위로 동작하여 임베디드 시스템의 기본 동작에 영향을 미치지 않거나 최소한의 영향을 미칠 수 있다.
일 실시예는 호스트 장치를 이용하여 임베디드 시스템, 즉, 타겟 장치의 동작을 실시간으로 변경할 수 있는 DM 기능을 제공할 수 있다. 예를 들어, 호스트 컴퓨터는 임베디드 시스템의 사용자 함수를 임의의 시간에 호출할 수 있다. DM 기능은 호스트 장치의 명령에 따라 해당 사용자 함수가 타겟 장치에서 호출되어 수행되도록 하는 기능이다. DM 기능에 따라 동작하는 호스트 장치는 일반적인 데이터와 구별되는 DM 패킷을 생성할 수 있고, DM 패킷을 타겟 장치(120)로 전송할 수 있다. 타겟 장치(120)의 복수의 사용자 함수 각각은 타겟 장치(120)의 하나 이상의 내부 변수의 값을 출력할 수 있고, 내부 변수의 모니터링을 가능하게 할 수 있다. 예를 들어, 타겟 장치(120)는 내부 변수의 값을 호스트 장치(110)로 전송할 수 있고, 호스트 장치(110)는 디스플레이에 내부 변수의 값을 표시할 수 있다. 또한, 타겟 장치(120)의 복수의 사용자 함수 각각은 타겟 장치(120)의 하나 이상의 내부 변수의 값을 변경하여 타겟 장치(120)의 동작 상태를 변경 할 수 있다. 예를 들어, 사용자 함수는 인자에 따라 동작하여 에러에 대응하는 변수값을 변경할 수 있다. 이로 인해, 타겟 장치(120)의 디버깅(debugging)이 용이할 수 있다.
도 2는 일 실시예에 따른 타겟 DM 에이전트의 동작을 설명하기 위한 도면이다.
도 2를 참조하면, 타겟 DM 에이전트 및 복수의 사용자 함수가 도시된다.
복수의 사용자 함수 각각은 미리 정의된 함수로, 타겟 장치의 메모리에 저장될 수 있다.
타겟 DM 에이전트는 DM 패킷에서 번호 및 인자를 추출할 수 있다. 타겟 DM 에이전트는 추출한 번호에 대응하는 사용자 함수를 호출할 수 있다. 예를 들어, 타겟 DM 에이전트는 함수 포인터에 대한 배열을 이용하여 번호에 대응하는 사용자 함수를 호출 할 수 있다.
도 2에 도시된 예에서, 타겟 DM 에이전트가 DM 패킷에서 번호 1을 추출한 경우, 번호 1에 대응하는 사용자 함수 1을 호출할 수 있다.
도 3은 일 실시예에 따른 호스트 장치의 동작 방법을 설명하기 위한 순서도이다.
도 3을 참조하면, 호스트 장치는 타겟 장치에서 실행될 사용자 함수에 대응하는 번호 및 사용자 함수의 인자를 수신한다(310). 예를 들어, 호스트 장치는 사용자 인터페이스를 통해 사용자로부터 번호 및 인자를 수신할 수 있다.
호스트 장치는 번호 및 인자를 포함하는 데이터를 생성한다(320). 보다 구체적으로, 호스트 장치는 시작 태그(start tag), 번호에 대응하는 사용자 함수를 실행하기 위한 명령어, 인자, 및 종료 태그(end tag)를 포함하는 데이터를 생성할 수 있다. 여기서, 데이터는 위에서 설명한 DM 패킷일 수 있다. 전술한 데이터의 포맷(format)은 일 실시예에 따른 예시적인 사항일 뿐, 데이터의 포맷은 전술한 사항으로 한정되지 않는다. 데이터의 포맷은 타겟 장치가 DM 기능에 따라 생성된 데이터, 즉, DM 패킷임을 인지하고, 명령어와 인자를 추출할 수 있는 포맷이면 된다.
호스트 장치는 데이터를 타겟 장치로 전송한다(330). 예를 들어, 호스트 장치는 이더넷이나 시리얼 등의 데이터 통신 선로를 통해 DM 패킷을 타겟 장치로 전송할 수 있다.
도 1 내지 도 2를 통해 기술된 사항들은 도 3을 통해 기술된 사항들에 적용될 수 있으므로, 상세한 설명을 생략한다.
도 4는 일 실시예에 따른 타겟 장치의 동작 방법을 설명하기 위한 순서도이다.
도 4를 참조하면, 타겟 장치는 호스트 장치로부터 데이터를 수신한다(410).
타겟 장치는 미리 정의된 사용자 함수를 실행하기 위한 명령어가 데이터에 포함되어 있는지 확인한다(420). 타겟 장치는 호스트 장치가 전송한 데이터가 DM 패킷인지 아닌지 확인할 수 있다.
명령어가 데이터에 포함된 경우(또는 호스트 장치가 전송한 데이터가 DM 패킷인 경우), 타겟 장치는 사용자 함수에 대응하는 번호 및 사용자 함수의 인자를 데이터에서 추출한다(430).
타겟 장치는 번호 및 인자를 이용하여 사용자 함수를 호출한다(440).
타겟 장치는 호출된 사용자 함수에 따라 동작한다(450).
호출된 사용자 함수는 인자에 따라 타겟 장치의 동작 상태를 변경할 수 있다. 예를 들어, 호출된 사용자 함수는 인자에 따라 디버깅을 위한 기능을 실시간으로 수행할 수 있다.
도 1 내지 도 3을 통해 기술된 사항들은 도 4를 통해 기술된 사항들에 적용될 수 있으므로, 상세한 설명을 생략한다.
이상에서 설명된 장치는 하드웨어 구성요소, 소프트웨어 구성요소, 및/또는 하드웨어 구성요소 및 소프트웨어 구성요소의 조합으로 구현될 수 있다. 예를 들어, 실시예들에서 설명된 장치 및 구성요소는, 예를 들어, 프로세서, 콘트롤러, ALU(arithmetic logic unit), 디지털 신호 프로세서(digital signal processor), 마이크로컴퓨터, FPGA(field programmable gate array), PLU(programmable logic unit), 마이크로프로세서, 또는 명령(instruction)을 실행하고 응답할 수 있는 다른 어떠한 장치와 같이, 하나 이상의 범용 컴퓨터 또는 특수 목적 컴퓨터를 이용하여 구현될 수 있다. 처리 장치는 운영 체제(OS) 및 상기 운영 체제 상에서 수행되는 하나 이상의 소프트웨어 애플리케이션을 수행할 수 있다. 또한, 처리 장치는 소프트웨어의 실행에 응답하여, 데이터를 접근, 저장, 조작, 처리 및 생성할 수도 있다. 이해의 편의를 위하여, 처리 장치는 하나가 사용되는 것으로 설명된 경우도 있지만, 해당 기술분야에서 통상의 지식을 가진 자는, 처리 장치가 복수 개의 처리 요소(processing element) 및/또는 복수 유형의 처리 요소를 포함할 수 있음을 알 수 있다. 예를 들어, 처리 장치는 복수 개의 프로세서 또는 하나의 프로세서 및 하나의 콘트롤러를 포함할 수 있다. 또한, 병렬 프로세서(parallel processor)와 같은, 다른 처리 구성(processing configuration)도 가능하다.
소프트웨어는 컴퓨터 프로그램(computer program), 코드(code), 명령(instruction), 또는 이들 중 하나 이상의 조합을 포함할 수 있으며, 원하는 대로 동작하도록 처리 장치를 구성하거나 독립적으로 또는 결합적으로(collectively) 처리 장치를 명령할 수 있다. 소프트웨어 및/또는 데이터는, 처리 장치에 의하여 해석되거나 처리 장치에 명령 또는 데이터를 제공하기 위하여, 어떤 유형의 기계, 구성요소(component), 물리적 장치, 가상 장치(virtual equipment), 컴퓨터 저장 매체 또는 장치, 또는 전송되는 신호 파(signal wave)에 영구적으로, 또는 일시적으로 구체화(embody)될 수 있다. 소프트웨어는 네트워크로 연결된 컴퓨터 시스템 상에 분산되어서, 분산된 방법으로 저장되거나 실행될 수도 있다. 소프트웨어 및 데이터는 하나 이상의 컴퓨터 판독 가능 기록 매체에 저장될 수 있다.
실시예에 따른 방법은 다양한 컴퓨터 수단을 통하여 수행될 수 있는 프로그램 명령 형태로 구현되어 컴퓨터 판독 가능 매체에 기록될 수 있다. 상기 컴퓨터 판독 가능 매체는 프로그램 명령, 데이터 파일, 데이터 구조 등을 단독으로 또는 조합하여 포함할 수 있다. 상기 매체에 기록되는 프로그램 명령은 실시예를 위하여 특별히 설계되고 구성된 것들이거나 컴퓨터 소프트웨어 당업자에게 공지되어 사용 가능한 것일 수도 있다. 컴퓨터 판독 가능 기록 매체의 예에는 하드 디스크, 플로피 디스크 및 자기 테이프와 같은 자기 매체(magnetic media), CD-ROM, DVD와 같은 광기록 매체(optical media), 플롭티컬 디스크(floptical disk)와 같은 자기-광 매체(magneto-optical media), 및 롬(ROM), 램(RAM), 플래시 메모리 등과 같은 프로그램 명령을 저장하고 수행하도록 특별히 구성된 하드웨어 장치가 포함된다. 프로그램 명령의 예에는 컴파일러에 의해 만들어지는 것과 같은 기계어 코드뿐만 아니라 인터프리터 등을 사용해서 컴퓨터에 의해서 실행될 수 있는 고급 언어 코드를 포함한다. 상기된 하드웨어 장치는 실시예의 동작을 수행하기 위해 하나 이상의 소프트웨어 모듈로서 작동하도록 구성될 수 있으며, 그 역도 마찬가지이다.
이상과 같이 실시예들이 비록 한정된 실시예와 도면에 의해 설명되었으나, 해당 기술분야에서 통상의 지식을 가진 자라면 상기의 기재로부터 다양한 수정 및 변형이 가능하다. 예를 들어, 설명된 기술들이 설명된 방법과 다른 순서로 수행되거나, 및/또는 설명된 시스템, 구조, 장치, 회로 등의 구성요소들이 설명된 방법과 다른 형태로 결합 또는 조합되거나, 다른 구성요소 또는 균등물에 의하여 대치되거나 치환되더라도 적절한 결과가 달성될 수 있다.
그러므로, 다른 구현들, 다른 실시예들 및 청구범위와 균등한 것들도 후술하는 청구범위의 범위에 속한다.

Claims (1)

  1. 호스트 장치와 통신하는 타겟 장치의 동작 방법에 있어서,
    상기 호스트 장치로부터 데이터를 수신하는 단계;
    미리 정의된 사용자 함수를 실행하기 위한 명령어가 상기 데이터에 포함되어 있는지 확인하는 단계;
    상기 명령어가 상기 데이터에 포함된 경우, 상기 사용자 함수에 대응하는 번호 및 상기 사용자 함수의 인자(argument)를 상기 데이터에서 추출하는 단계;
    상기 번호 및 상기 인자를 이용하여 상기 사용자 함수를 호출하는 단계; 및
    상기 호출된 사용자 함수에 따라 동작하는 단계
    를 포함하는,
    타겟 장치의 동작 방법.
KR1020160022911A 2015-11-18 2016-02-26 임베디드 시스템을 위한 디버깅 방법 및 장치 KR20170058228A (ko)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
KR1020150161650 2015-11-18
KR20150161650 2015-11-18

Publications (1)

Publication Number Publication Date
KR20170058228A true KR20170058228A (ko) 2017-05-26

Family

ID=59052024

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020160022911A KR20170058228A (ko) 2015-11-18 2016-02-26 임베디드 시스템을 위한 디버깅 방법 및 장치

Country Status (1)

Country Link
KR (1) KR20170058228A (ko)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110764151A (zh) * 2019-09-29 2020-02-07 中国人民解放军海军工程大学 一种能够融合于探测系统中的调试系统及方法

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110764151A (zh) * 2019-09-29 2020-02-07 中国人民解放军海军工程大学 一种能够融合于探测系统中的调试系统及方法

Similar Documents

Publication Publication Date Title
US10621362B2 (en) Method for automatically detecting security vulnerability based on hybrid fuzzing, and apparatus thereof
WO2021238006A1 (zh) 人工智能芯片验证
US9940220B2 (en) Integrating a protocol analysis device with features of a software development program
JP2017033562A (ja) 安全重視ソフトウェア開発のためのモデルベース技術および過程のためのシステムおよび方法
US20110191752A1 (en) Method and System for Debugging of Software on Target Devices
US8881115B2 (en) Compiling source code for debugging with expanded snapshots
JP2016119075A (ja) セーフティクリティカルソフトウェアのための統合された自動テストケース生成
Neves et al. Verification of p4 programs in feasible time using assertions
US10552190B2 (en) Precise error injection for driver testing
US10078510B1 (en) Late-stage software feature reduction tool for security and performance
KR20100084036A (ko) 소프트웨어의 에러 검출 장치 및 방법
CN108182359B (zh) 一种测试可信环境下api安全性的方法、装置及存储介质
US20170039132A1 (en) Enhancing the debugger stack with recently reported errors under debug
US9372770B2 (en) Hardware platform validation
US20180025162A1 (en) Application program analysis apparatus and method
US10997055B2 (en) Methods, circuits, apparatus, systems and associated software modules for evaluating code behavior
KR102162024B1 (ko) 동작 모델링 및 비교 분석을 이용한 이동통신네트워크의 이상 진단 장치 및 그 방법
US9846631B2 (en) Methods, circuits, apparatus, systems and associated software modules for evaluating code behavior
KR101266565B1 (ko) 요구 인터페이스의 명세 정보를 이용한 소프트웨어 컴포넌트의 테스트 케이스 생성 방법 및 실행 방법
KR101626967B1 (ko) 해킹 방지를 위한 어플리케이션의 동작 방법 및 장치
KR20170058228A (ko) 임베디드 시스템을 위한 디버깅 방법 및 장치
US20220206887A1 (en) Bus monitoring device and method, storage medium, and electronic device
US9372772B1 (en) Co-verification—of hardware and software, a unified approach in verification
US8621430B2 (en) Method for code transformation supporting temporal abstraction of parameters
KR20190051301A (ko) 퍼징 수행 시스템, 퍼징용 실행 흐름 정보 추출 장치 및 방법

Legal Events

Date Code Title Description
A201 Request for examination
E902 Notification of reason for refusal
E902 Notification of reason for refusal
E601 Decision to refuse application