KR20130020137A - 실시간 함수 사용율 확인 시스템 및 그를 이용한 실시간 함수 사용율 확인 방법 - Google Patents

실시간 함수 사용율 확인 시스템 및 그를 이용한 실시간 함수 사용율 확인 방법 Download PDF

Info

Publication number
KR20130020137A
KR20130020137A KR1020110082561A KR20110082561A KR20130020137A KR 20130020137 A KR20130020137 A KR 20130020137A KR 1020110082561 A KR1020110082561 A KR 1020110082561A KR 20110082561 A KR20110082561 A KR 20110082561A KR 20130020137 A KR20130020137 A KR 20130020137A
Authority
KR
South Korea
Prior art keywords
unit
code
source code
function
metadata
Prior art date
Application number
KR1020110082561A
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 인크로스 주식회사
Priority to KR1020110082561A priority Critical patent/KR20130020137A/ko
Publication of KR20130020137A publication Critical patent/KR20130020137A/ko

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/30Monitoring
    • G06F11/34Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation ; Recording or statistical evaluation of user activity, e.g. usability assessment
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/362Software debugging
    • G06F11/3624Software debugging by performing operations on the source code, e.g. via a compiler
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/36Preventing errors by testing or debugging software
    • G06F11/362Software debugging
    • G06F11/3628Software debugging of optimised code
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/20Software design
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/70Software maintenance or management
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/30Arrangements for executing machine instructions, e.g. instruction decode
    • G06F9/30003Arrangements for executing specific machine instructions
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00Arrangements for program control, e.g. control units
    • G06F9/06Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44Arrangements for executing specific programs
    • G06F9/451Execution arrangements for user interfaces

Landscapes

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

Abstract

본 발명은 실시간 함수 사용율 확인 시스템 및 그를 이용한 실시간 함수 사용율 확인 방법에 관한 것으로, 개발 중인 프로그램의 함수 사용율을 실시간으로 확인할 수 있는 기술을 제공하는데 그 목적이 있다.
본 발명에 의하면, 다음과 같은 효과가 있다.
본 발명은 함수 사용율을 확인하기 위한 프로그램의 노력을 줄이며, 코드의 재 사용성을 향상시키는 효과가 있다.
또한, 프로그램의 크기가 감소되는 장점이 있으며, 소스 코드의 작성을 효율적으로 할 수 있다.
마지막으로, 종래보다 함수 사용율을 확인하는데 소요되는 시간이 단축되므로 프로그램 개발 시간을 단축되는 효과가 있다.

Description

실시간 함수 사용율 확인 시스템 및 그를 이용한 실시간 함수 사용율 확인 방법{REAL TIME SYSTEM AND METHOD FOR MEASURING THE USING RATE OF FUNCTION}
본 발명은 실시간 함수 사용율 확인 시스템 및 그를 이용한 실시간 함수 사용율 확인 방법에 관한 것이다.
종래의 통합 개발 환경에서는 개발 중인 프로그램의 검증을 위해 사용자에 의해 작성된 소스 코드에 대한 함수 사용율을 확인하는 과정이 수행되었다. 예를 들어, 사용자는 이클레마(Eclemma)와 같은 자바 코드 커버리지 툴을 사용하여 전술한 함수 사용율을 확인했다.
하지만, 종래에는 함수 사용율을 확인하는 과정에서 사용자가 소스 코드의 작성을 완료한 후, 전술한 함수 사용율 확인용 툴에서 특정 메뉴를 직접 선택하고 관련 작업을 수행해야만 하므로 개발 과정상 많은 불편함을 초래했다.
한편, 대한민국 등록특허공보 제10-0946417호(이하, '종래기술'이라 함)에는 프로그램 소스코드를 자동으로 테스트하기 위해 프로그램 소스코드를 파싱하여 테스트할 대상 항목의 리스트를 생성하고 생성된 리스트에 대응하는 입력 항목과 출력 항목 및 그에 대응하는 입력값, 출력값을 자동으로 적용하여 테스트하는 방법을 제시하였다.
그러나, 종래기술은 소스 코드의 작성 및 변경에 따른 프로그램의 함수 사용율을 실시간으로 테스트할 수 없다는 단점이 존재했다.
본 발명은 상술한 문제점을 해결하기 위한 것으로, 개발 중인 프로그램의 함수 사용율을 실시간으로 확인할 수 있는 기술을 제공하는데 그 목적이 있다.
이러한 목적을 달성하기 위하여 본 발명의 일 태양으로 실시간 함수 사용율 확인 시스템은 개발할 프로그램의 소스 코드를 입력하기 위해 마련되는 코드 입력부; 상기 코드 입력부 상에서 입력된 상기 소스 코드를 변경하는 코드 변경부; 상기 코드 입력부 및 상기 코드 변경부 중 적어도 어느 하나에 의해 작성된 소스 코드의 문법적 오류를 검토하는 코드 검토부; 상기 프로그램을 구성하는 함수의 사용율을 확인하기 위한 메타 데이터를 작성하도록 마련되는 메타 데이터 작성부; 상기 메타 데이터 작성부에서 작성된 상기 메타 데이터를 저장하는 메타 데이터 저장부; 상기 코드 입력부 및 상기 코드 변경부 중 적어도 어느 하나에 의해 생성된 소스 코드를 가상 머신 상에서 실시간으로 실행시키는 테스트부; 상기 테스트부에서 실행된 상기 소스 코드의 함수 사용율을 판단하는 함수 사용율 판단부; 및 상기 함수 사용율 판단부가 상기 메타 데이터 저장부에 저장된 상기 메타 데이터를 바탕으로 상기 소스 코드의 함수 사용율을 판단하도록 제어하는 제어부; 를 포함하는 것을 특징으로 한다.
실시간 함수 사용율 확인 시스템은 상기 함수 사용율 판단부가 판단한 함수 사용율 결과를 화면상에 출력하는 결과 출력부; 를 더 포함하는 것을 특징으로 한다.
이러한 목적을 달성하기 위하여 본 발명의 다른 태양으로 실시간 함수 사용율 확인 방법은 개발할 프로그램의 소스 코드를 입력하는 코드 입력 단계; 상기 코드 입력 단계에서 입력된 상기 소스 코드를 변경하는 코드 변경 단계; 상기 코드 입력 단계 및 상기 코드 변경 단계 중 적어도 어느 하나의 단계에서 생성된 상기 소스 코드의 문법적 오류를 검토하는 코드 검토 단계; 상기 프로그램을 구성하는 함수의 사용율을 확인하기 위한 메타 데이터를 작성하는 메타 데이터 작성 단계; 상기 코드 검토 단계를 통해 문법적 오류가 없다고 판단된 소스 코드를 가상 머신 상에서 실시간으로 실행시키는 테스트 단계; 및 상기 메타 데이터 작성 단계에서 작성된 상기 메타 데이터를 바탕으로 상기 테스트 단계에서 실행된 상기 소스 코드의 함수 사용율을 판단하는 함수 사용율 판단 단계; 를 포함하는 것을 특징으로 한다.
실시간 함수 사용율 확인 방법은 상기 함수 사용율 판단 단계를 통해 판단된 함수 사용율 결과를 화면상에 출력하는 결과 출력 단계; 를 더 포함하는 것을 특징으로 한다.
이상에서 설명한 바와 같이 본 발명에 의하면, 코드 입력부 및 코드 변경부를 통해 생성된 소스 코드는 테스트부에 의해 실시간으로 실행되며, 사용율 판단부 및 제어부에 의해 상기 소스 코드의 함수 사용율을 확인할 수 있다.
따라서, 함수 사용율을 확인하기 위한 프로그램의 노력을 줄이며, 코드의 재 사용성을 향상시키는 효과가 있다.
또한, 프로그램의 크기가 감소되는 장점이 있으며, 소스 코드의 작성을 효율적으로 할 수 있다.
마지막으로, 종래보다 함수 사용율을 확인하는데 소요되는 시간이 줄어들므로 프로그램 개발 시간을 단축시키는 효과가 있다.
도1은 본 발명의 바람직한 실시예에 따른 실시간 함수 사용율 확인 시스템을 도시한 블록도이다.
도2는 본 발명의 바람직한 실시예에 따른 실시간 함수 사용율 확인 방법을 도시한 흐름도이다.
본 발명의 바람직한 실시예에 대하여 첨부된 도면을 참조하여 더 구체적으로 설명하되, 이미 주지되어진 기술적 부분에 대해서는 설명의 간결함을 위해 생략하거나 압축하기로 한다.
<구성에 대한 설명>
본 발명에 따른 실시간 함수 사용율 확인 시스템(10)은 코드 입력부(100), 코드 변경부(200), 코드 검토부(300), 메타 데이터 작성부(400), 메타 데이터 저장부(500), 테스트부(600), 함수 사용율 판단부(700), 제어부(800) 및 결과 출력부(900)를 포함하여 구성되고, 이에 대하여 도1을 참조하여 설명한다.
먼저, 사용자는 프로그램 개발간 상기 프로그램의 소스 코드를 코드 입력부(100)를 통해 입력한다. 이때, 코드 입력부(100)를 통해 입력된 소스 코드의 일부 혹은 전부는 코드 변경부(200)를 통해 변경될 수 있다.
코드 검토부(300)는 코드 입력부(100)에서 입력된 소스 코드 및 코드 변경부(200)에서 변경된 소스 코드의 문법적 오류를 검토한다. 예를 들어, 코드 검토부(300)는 소스 코드 상에 포함된 콜론 및 세미콜론 등의 문장부호를 확인함으로써 입력된 상기 코드의 완전성을 검토하며, 프로그램 사용언어의 문법에 적합한지의 여부를 확인하게 된다.
한편, 사용자는 메타 데이터 작성부(400)를 통해 소스 코드의 함수 사용율을 확인하기 위한 테스트 방법에 대한 메타 데이터를 작성하며, 작성된 메타 데이터는 메타 데이터 저장부(500)에 저장된다.
테스트부(600)는 코드 입력부(100)에 의해 생성된 소스 코드 또는 코드 변경부(200)에 의해 변경된 소스 코드의 함수 사용율을 확인하기 위해 전술한 소스 코드가 포함된 프로그램을 가상 머신 상에서 실시간으로 실행시킨다. 이때, 상기 소스 코드가 포함된 프로그램의 언어에 적합한 가상 머신이 사용되므로 다양한 종류의 가상 머신이 적용가능하다.
함수 사용율 판단부(700)는 테스트부(600)가 실행된 프로그램에 포함된 소스 코드의 함수 사용율을 판단한다. 이러한 판단 과정에서, 메타 데이터 저장부(500)에 저장된 메타 데이터가 제어부(800)에 의해 로딩되어 함수 사용율 판단부(700)로 제공되며, 함수 사용율 판단부(700)는 제공된 메타 데이터를 바탕으로 함수 사용율 데이터를 획득한다.
제어부(800)는 메타 데이터 저장부(500)가 메타 데이터를 로딩시켜 함수 사용율 판단부(700)로 제공하도록 제어하며, 함수 사용율 판단부(700)가 상기 메타 데이터를 바탕으로 테스트부(600)에서 실행된 소스 코드의 함수 사용율을 판단하도록 제어한다.
결과 출력부(900)는 함수 사용율 판단부(700)가 판단한 소스 코드의 함수 사용율 결과를 화면상에 출력한다.
<방법에 대한 설명>
본 발명에 따른 실시간 함수 사용율 확인 방법에 대하여 설명하기 위해, 도1에 도시된 블록도 및 도2에 도시된 흐름도를 이용하여 설명하고, 편의상 순서를 붙여 설명한다.
1. 코드 입력 단계<S201>
본 단계에서는 사용자가 코드 입력부(100)를 통해 개발할 프로그램의 소스 코드를 입력하는 과정이 진행된다.
2. 코드 검토 단계<S202>
본 단계에서 코드 검토부(300)는 단계 S201에서 입력된 소스 코드가 프로그램 사용언어의 문법에 적합한지를 확인한다. 일 실시예로, 코드 검토부(300)는 코드 입력부(100)를 통해 입력된 소스 코드 상에 포함된 콜론 및 세미콜론 등의 문장부호를 확인함으로써 입력된 상기 코드의 완전성을 검토한다.
만일, 코드 검토부(300)의 확인과정에서 소스 코드 상의 오류가 발견된 경우에는 제어부(800)에 의해 단계 S201로 다시 이동하여 소스 코드를 재입력하며, 소스 코드의 오류가 없는 경우에는 단계 S203으로 이동한다.
3. 코드 변경 여부 확인 단계<S203>
본 단계에서는 사용자가 소스 코드를 변경할 것인지에 대해 선택할 수 있도록 제어부(800)는 디스플레이 화면상에 소정의 선택 메시지가 출력되도록 제어한다. 이때, 사용자는 선택 메시지를 통해 소스 코드의 변경 여부를 선택할 수 있다.
4. 코드 변경 단계<S204>
단계 S203에서 사용자가 소스 코드의 변경을 선택한 경우, 본 단계에서는 코드 변경부(200)에 의한 코드 변경이 이루어진다. 본 단계에서, 사용자는 코드 변경부(200)를 통해 단계 S201에서 입력된 소스 코드를 일부 혹은 전부를 변경할 수 있다.
5. 코드 검토 단계<S205>
코드 검토부(300)는 단계 S204에서 입력된 소스 코드가 프로그램 사용언어의 문법에 적합한지를 확인한다. 만일, 소스 코드에 문법적 오류가 존재하지 않을 경우에는 상기 소스 코드는 단계 S206으로 이동하여 테스트 단계를 수행하나, 소스 코드에 오류가 발견될 경우에는 단계 S204로 재이동하여 소스 코드의 오류를 수정하게 된다.
6. 테스트 단계<S206>
본 단계에서 테스트부(600)는 단계 S201에서 코드 입력부(100)에 의해 생성된 소스 코드 또는 단계 S204에서 코드 변경부(200)에 의해 변경된 소스 코드가 포함된 프로그램을 가상 머신 상에서 실시간으로 실행시킨다.
7. 함수 사용율 판단 단계<S207>
단계 S206에서 테스트부(600)에 의해 소스 코드가 실시간으로 실행되면, 함수 사용율 판단부(700)는 상기 소스 코드의 함수 사용율을 확인한다. 이때, 함수 사용율 판단부(700)는 제어부(800)에 의해 메타 데이터 저장부(500)에 저장된 메타 데이터를 제공받게 되며, 제공된 메타 데이터를 바탕으로 소스 코드의 함수 사용율을 분석한다.
8. 결과 출력 단계<S208>
본 단계에서 결과출력부는 단계 S207에서 함수 사용율 판단부(700)에 의해 분석된 함수 사용율 결과를 화면상에 출력한다.
9. 메타 데이터 작성 단계<S211>
본 단계에서는 메타 데이터 작성부(400)를 통해 소스 코드의 함수 사용율을 확인하기 위한 테스트 방법에 대한 메타 데이터가 작성되며, 작성이 완료된 메타 데이터는 메타 데이터 저장부(500)에 저장된다.
10. 메타 데이터 제공 단계<S212>
단계 S211에서 메타 데이터 저장부(500)에 저장된 메타 데이터는 제어부(800)에 의해 로딩되어 함수 사용율 판단부(700)에 제공된다. 따라서, 단계 S212 및 단계 S207은 동시에 이루어지는 것이 바람직하다.
위에서 설명한 바와 같이 본 발명에 대한 구체적인 설명은 첨부된 도면을 참조한 실시예에 의해서 이루어졌지만, 상술한 실시예는 본 발명의 바람직한 예를 들어 설명하였을 뿐이기 때문에, 본 발명이 상기의 실시예에만 국한되는 것으로 이해되어져서는 아니 되며, 본 발명의 권리범위는 후술하는 청구범위 및 그 등가개념으로 이해되어져야 할 것이다.
10 : 실시간 함수 사용율 확인 시스템
100 : 코드 입력부
200 : 코드 변경부
300 : 코드 검토부
400 : 메타 데이터 작성부
500 : 메타 데이터 저장부
600 : 테스트부
700 : 함수 사용율 판단부
800 : 제어부
900 : 결과 출력부

Claims (4)

  1. 개발할 프로그램의 소스 코드를 입력하기 위해 마련되는 코드 입력부;
    상기 코드 입력부 상에서 입력된 상기 소스 코드를 변경하는 코드 변경부;
    상기 코드 입력부 및 상기 코드 변경부 중 적어도 어느 하나에 의해 작성된 소스 코드의 문법적 오류를 검토하는 코드 검토부;
    상기 프로그램을 구성하는 함수의 사용율을 확인하기 위한 메타 데이터를 작성하도록 마련되는 메타 데이터 작성부;
    상기 메타 데이터 작성부에서 작성된 상기 메타 데이터를 저장하는 메타 데이터 저장부;
    상기 코드 입력부 및 상기 코드 변경부 중 적어도 어느 하나에 의해 생성된 소스 코드를 가상 머신 상에서 실시간으로 실행시키는 테스트부;
    상기 테스트부에서 실행된 상기 소스 코드의 함수 사용율을 판단하는 함수 사용율 판단부; 및
    상기 함수 사용율 판단부가 상기 메타 데이터 저장부에 저장된 상기 메타 데이터를 바탕으로 상기 소스 코드의 함수 사용율을 판단하도록 제어하는 제어부; 를 포함하는 것을 특징으로 하는
    실시간 함수 사용율 확인 시스템.
  2. 제1항에 있어서,
    상기 함수 사용율 판단부가 판단한 함수 사용율 결과를 화면상에 출력하는 결과 출력부; 를 더 포함하는 것을 특징으로 하는
    실시간 함수 사용율 확인 시스템.
  3. 개발할 프로그램의 소스 코드를 입력하는 코드 입력 단계;
    상기 코드 입력 단계에서 입력된 상기 소스 코드를 변경하는 코드 변경 단계;
    상기 코드 입력 단계 및 상기 코드 변경 단계 중 적어도 어느 하나의 단계에서 생성된 상기 소스 코드의 문법적 오류를 검토하는 코드 검토 단계;
    상기 프로그램을 구성하는 함수의 사용율을 확인하기 위한 메타 데이터를 작성하는 메타 데이터 작성 단계;
    상기 코드 검토 단계를 통해 문법적 오류가 없다고 판단된 소스 코드를 가상 머신 상에서 실시간으로 실행시키는 테스트 단계; 및
    상기 메타 데이터 작성 단계에서 작성된 상기 메타 데이터를 바탕으로 상기 테스트 단계에서 실행된 상기 소스 코드의 함수 사용율을 판단하는 함수 사용율 판단 단계; 를 포함하는 것을 특징으로 하는
    실시간 함수 사용율 확인 방법.
  4. 제3항에 있어서,
    상기 함수 사용율 판단 단계를 통해 판단된 함수 사용율 결과를 화면상에 출력하는 결과 출력 단계; 를 더 포함하는 것을 특징으로 하는
    실시간 함수 사용율 확인 방법.
KR1020110082561A 2011-08-19 2011-08-19 실시간 함수 사용율 확인 시스템 및 그를 이용한 실시간 함수 사용율 확인 방법 KR20130020137A (ko)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020110082561A KR20130020137A (ko) 2011-08-19 2011-08-19 실시간 함수 사용율 확인 시스템 및 그를 이용한 실시간 함수 사용율 확인 방법

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020110082561A KR20130020137A (ko) 2011-08-19 2011-08-19 실시간 함수 사용율 확인 시스템 및 그를 이용한 실시간 함수 사용율 확인 방법

Publications (1)

Publication Number Publication Date
KR20130020137A true KR20130020137A (ko) 2013-02-27

Family

ID=47898131

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020110082561A KR20130020137A (ko) 2011-08-19 2011-08-19 실시간 함수 사용율 확인 시스템 및 그를 이용한 실시간 함수 사용율 확인 방법

Country Status (1)

Country Link
KR (1) KR20130020137A (ko)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110018953A (zh) * 2018-01-10 2019-07-16 武汉斗鱼网络科技有限公司 使用python测试JS代码的方法、存储介质、设备和系统

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN110018953A (zh) * 2018-01-10 2019-07-16 武汉斗鱼网络科技有限公司 使用python测试JS代码的方法、存储介质、设备和系统
CN110018953B (zh) * 2018-01-10 2022-12-23 武汉斗鱼网络科技有限公司 使用python测试JS代码的方法、存储介质、设备和系统

Similar Documents

Publication Publication Date Title
US10409574B2 (en) Incremental whole program compilation of code
US7895575B2 (en) Apparatus and method for generating test driver
US9632754B2 (en) Auto generation and linkage of source code to test cases
CN103577168A (zh) 测试用例创建系统及方法
EP2498178A1 (en) Method and device for development environment converting
US8868976B2 (en) System-level testcase generation
CN107480327B (zh) 一种仿真验证方法、装置和电子设备
WO2007001108A1 (en) System for providing feature-oriented software product line engineering environment
KR101029332B1 (ko) 모바일 소프트웨어 테스트 장치 및 방법
US20100162217A1 (en) Debugging System Using Static Analysis
KR20070058954A (ko) 임베디드 시스템 프로토타입 개발 지원 장치 및 방법
US9639343B2 (en) Method for altering execution of a program, debugger, and computer-readable medium
CN104156305A (zh) 一种应用程序测试方法及装置
JP2013218492A (ja) ソフトウェアテスト自動評価装置および方法
CN111143228B (zh) 基于决策表法的测试代码生成方法及装置
KR20190094779A (ko) Plc 명령어 컴파일러 테스트케이스 자동 생성 장치
KR20130020137A (ko) 실시간 함수 사용율 확인 시스템 및 그를 이용한 실시간 함수 사용율 확인 방법
KR20130020970A (ko) 코딩 시스템
JP4870956B2 (ja) 組み込み用プログラム生成方法、組み込み用プログラム開発システム、及び情報テーブル部
US8990624B2 (en) Emulator verification system, emulator verification method
US8332204B2 (en) Instruction check program, instruction check apparatus, and I/O simulator
WO2012049816A1 (ja) モデル検査装置、方法及びプログラム
JP6723483B2 (ja) テストケース生成装置、テストケース生成方法およびテストケース生成プログラム
JP2016126700A (ja) プログラム検証装置、プログラム検証方法及びプログラム検証プログラム
Diepenbeck et al. Towards automatic scenario generation from coverage information

Legal Events

Date Code Title Description
A201 Request for examination
E701 Decision to grant or registration of patent right