KR101690948B1 - 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법 및 이의 시스템 - Google Patents

타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법 및 이의 시스템 Download PDF

Info

Publication number
KR101690948B1
KR101690948B1 KR1020150129799A KR20150129799A KR101690948B1 KR 101690948 B1 KR101690948 B1 KR 101690948B1 KR 1020150129799 A KR1020150129799 A KR 1020150129799A KR 20150129799 A KR20150129799 A KR 20150129799A KR 101690948 B1 KR101690948 B1 KR 101690948B1
Authority
KR
South Korea
Prior art keywords
input
output
message
scenario
output event
Prior art date
Legal status (The legal status 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 status listed.)
Active
Application number
KR1020150129799A
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 KR1020150129799A priority Critical patent/KR101690948B1/ko
Application granted granted Critical
Publication of KR101690948B1 publication Critical patent/KR101690948B1/ko
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements 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/44—Arrangements for executing specific programs
    • G06F9/455—Emulation; Interpretation; Software simulation, e.g. virtualisation or emulation of application or operating system execution engines
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/28—Error detection; Error correction; Monitoring by checking the correct order of processing

Landscapes

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

Abstract

본 발명은 항공기 장치의 검증 기술에 관한 것으로서, 더 상세하게는 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어를 검증하는 방법 및 이의 시스템에 대한 것이다.

Description

타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법 및 이의 시스템{Method for verifying software using input output event scenario of time-line based aircraft apparatus and System thereof}
본 발명은 항공기 장치의 검증 기술에 관한 것으로서, 더 상세하게는 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어를 검증하는 방법 및 이의 시스템에 대한 것이다.
항공기 장치 중에서 타임라인(timeline) 기반의 운용 개념을 가지는 장치들이 존재한다. 이런 장치들의 경우 시간의 흐름에 따라서 외부 인터페이스를 통해서 명령들을 입력 받아서 처리하고, 경우에 따라서는 내부 처리 상태를 보고하는 경우가 많다.
또한, 이런 장치들 내부에 별도의 구성품들이 존재하는 경우, 항공기 장치의 주장치가 외부 명령을 수신하여 해당되는 내부 구성품과의 통신을 수행한 후 결과를 정리하여 처리하는 경우도 존재한다.
이런 경우 항공기 장치에 구현된 소프트웨어(SW) 기능 검증을 위해서는 항공기 장치 외부 장비의 연동기능과 내부의 구성품 연동기능을 시간의 흐름에 따라서 주어진 시간에 주기/비주기 메시지를 모의할 수 있는 방법이 필요하다.
타임라인(Timeline) 기반 항공기 장치의 기존 소프트웨어 검증 방법은 매 순간 SW 시험자가 운용개념에 따르는 명령들을 항공기장치로 전송하고 그 응답을 확인한 후, 그 이후에 발생할 수 있는 항공기장치 내외부의 입력을 모의해 주었다.
이런 경우 SW 시험자가 SW 검증을 위한 시험 케이스들을 운영개념을 고려해 가면서 생성해야 했으며 연속적으로 정확한 응답시간을 요구하고 이전 입력 값이 항공기 장치의 현재 상태에 영향을 주는 SW 기능 검증에는 많은 어려움이 존재한다.
1. 한국공개특허번호 제10-2013-0088506호 2. 한국공개특허번호 제10-2014-0084660호
본 발명은 위 배경기술에 따른 문제점을 해소하기 위해 제안된 것으로서, 타임라인(즉 시간흐름)에 따라서 외부연동장치로부터 명령들을 수신하고 그 기능을 처리하여 주어진 시간에 응답을 요구하는 항공기장치의 SW 검증을 손쉽게 할 수 있는 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법 및 이의 시스템을 제공하는데 그 목적이 있다.
또한, 본 발명은 현재 구현된 항공기 장치 소프트웨어의 기능을 효과적으로 검증할 수 있는 소프트웨어 검증 방법 및 이의 시스템을 제공하는데 다른 목적이 있다.
또한, 본 발명은 항공기 장치 소프트웨어의 검증 시간을 단축하는 것이 가능한 소프트웨어 검증 방법 및 이의 시스템을 제공하는데 또 다른 목적이 있다.
본 발명은 위에서 제시된 과제를 달성하기 위해 타임라인(즉 시간흐름)에 따라서 외부연동장치로부터 명령들을 수신하고 그 기능을 처리하여 주어진 시간에 응답을 요구하는 항공기장치의 SW 검증을 손쉽게 할 수 있는 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법을 제공한다.
상기 소프트웨어 검증 방법은.
검증 장치 운용 컴퓨터에서 사용자의 명령에 따라 입출력 시나리오를 구성하는 입출력 이벤트 메시지들을 생성하는 단계;
상기 입출력 이벤트 메시지들을 검증 장치에 전송하는 단계;
상기 검증 장치가 상기 입출력 이벤트 메시지들에 따라 외부 연동 장치 모의 정보 및 내부 구성품 모의 정보를 생성하는 단계;
상기 검증 장치가 상기 외부 연동 장치 모의 정보 또는 내부 구성품 모의 정보를 항공기 장치의 주장치에 전송하는 단계; 및
상기 주장치가 타임라인 기반으로 상기 외부 연동 장치 모의 정보를 이용하여 외부 연동을 수행하거나 상기 내부 구성품 모의 정보에 따라 내부 연동을 수행하고 상기 입출력 시나리오를 검증하는 단계;를 포함하는 것을 특징으로 할 수 있다.
이때, 상기 입출력 이벤트 메시지들 중 해당 입력출력 이벤트 메시지가 상기 주장치와 연동할 때 송신 메시지인지 또는 수신 메시지인지에 따라서 상기 입출력 시나리오에서 사용할 데이터 값이 입력되는 것을 특징으로 할 수 있다.
또한, 상기 입출력 이벤트 메시지들의 이벤트들은 상기 타임라인 기반에 대응되도록 배치되는 것을 특징으로 할 수 있다.
또한, 상기 입출력 이벤트 메시지들은 상기 입출력 시나리오상에서 특정 입력 이벤트의 속성을 포함하며, 상기 특정 입력 이벤트의 속성은 상기 송신 메시지 또는 수신 메시지를 시작하는 시작조건, 상기 송신 메시지 또는 수신 메시지를 송신 또는 수신하는 이벤트를 활성화하는 활성화조건, 상기 이벤트를 종료하는 종료조건, 및 상기 이벤트를 성공 또는 실패를 결정하는 통과조건을 구분하여 지정되는 것을 특징으로 할 수 있다.
이때, 상기 시작조건, 활성화조건, 및 종료조건 각각은 설정되는 시간 값이 조절 가능한 것을 특징으로 할 수 있다.
또한, 상기 검증 장치의 수신 메시지의 입력값과 상기 검증 장치의 출력값을 비교하여 미리 설정되는 시간 제한값내에서 상기 입출력 시나리오를 검증하는 것을 특징으로 할 수 있다.
또한, 상기 송신 메시지 및 수신 메시지는 연속적인 실시간 응답을 요구하는 것을 특징으로 할 수 있다.
또한, 상기 통과 조건을 각 입출력 이벤트 메시지들 별로 무조건 실패로 설정하여 상기 타임라인에 따른 중간 시점에서 송신 메시지 및 수신 메시지를 이용하여 상기 입출력 시나리오를 검증하는 것을 특징으로 할 수 있다.
다른 한편으로, 본 발명의 다른 일실시예는, 검증 장치 운용 컴퓨터에서 사용자의 명령에 따라 입출력 시나리오를 구성하는 입출력 이벤트 메시지들을 생성하는 검증 장치 운용 컴퓨터; 상기 입출력 이벤트 메시지들을 수신하여, 상기 입출력 이벤트 메시지들에 따라 외부 연동 장치 모의 정보 및 내부 구성품 모의 정보를 생성하 는 검증 장치; 및 상기 외부 연동 장치 모의 정보 또는 내부 구성품 모의 정보를 수신하여, 타임라인 기반으로 상기 외부 연동 장치 모의 정보를 이용하여 외부 연동을 수행하거나 상기 내부 구성품 모의 정보에 따라 내부 연동을 수행하고 상기 입출력 시나리오를 검증하는 주장치;를 포함하는 것을 특징으로 하는 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 시스템을 제공할 수 있다.
본 발명에 따르면, 시간흐름에 따라서 외부 연동 장치로부터 명령들을 수신하고 그 기능을 처리하여 주어진 시간에 응답을 요구하는 항공기 장치의 소프트웨어(SW) 검증을 손쉽게 할 수 있고, 이전 입력값에 따라서 현재 항공기장치의 내부 상태가 결정되는 구조에 효과적이다.
특히, 본 발명의 다른 효과로서는 입출력 시나리오에서 외부연동장치의 각 명령들의 입력값과 입력시점 등 상세한 조건들을 설정하고, 항공기 장치 내부 구성품의 응답데이터와 응답시간을 조절함으로써 현재 구현된 항공기장치 SW의 기능을 검증할 수 있다는 점을 들 수 있다.
또한, 본 발명의 또 다른 효과로서는 이전에 작성한 입출력 시나리오를 재활용하여 다양한 입출력시나리오를 생성함으로써 SW 검증시간을 단축시킬 수 있다는 점을 들 수 있다.
도 1은 일반적인 항공기 장치와 외부 연동 장치의 구성을 나타내는 일예의 개념도이다.
도 2는 일반적인 항공기 장치와 외부 연동 장치의 구성을 나타내는 다른 일예의 개념도이다.
도 3은 도 2에 도시된 항공기 장치와 외부 연동 장치간의 연동 기능을 시간 흐름에 따라 구현하는 개념을 보여주는 도면이다.
도 4는 본 발명의 일실시예에 따른 항공기 장치의 소프트웨어를 검증할 수 있는 검증 시스템의 블록 구성도이다.
도 5는 도 4에 도시된 검증 시스템에 사용되는 입출력 시나리오를 생성하는 유저 인터페이스(UI: User Interface) 화면예이다.
도 6은 도 4에 도시된 검증 시스템에 사용되는 입출력 이벤트 메시지의 속성을 지정하는 유저 인터페이스 화면예이다.
도 7a는 도 4에 도시된 검증 장치에 사용되는 송신 메시지의 동작 조건을 보여주는 도면이고, 도 7b는 전송 주기를 보여주는 개념도이다.
도 8은 도 7a 및 도 7b에 따라 검증 장치(420)에서의 송신 메시지의 조건들을 스케줄러가 판단하는 흐름도이다.
도 9a는 도 4에 도시된 검증 장치(420)에 사용되는 수신 메시지의 동작 조건을 보여주는 도면이고, 도 9b는 수신 메시지의 수신 실패를 보여주며, 도 9c는 수신 메시지의 수신 성공을 보여주는 개념도이다.
도 10은 도 9a 내지 도 9c에 따라 수신 메시지의 조건들을 스케줄러가 판단하는 흐름도이다.
본 발명은 다양한 변경을 가할 수 있고 여러 가지 실시예를 가질 수 있는바, 특정 실시예들을 도면에 예시하고 상세한 설명에 구체적으로 설명하고자 한다. 그러나 이는 본 발명을 특정한 실시 형태에 대해 한정하려는 것이 아니며, 본 발명의 사상 및 기술 범위에 포함되는 모든 변경, 균등물 내지 대체물을 포함하는 것으로 이해되어야 한다.
각 도면을 설명하면서 유사한 참조부호를 유사한 구성요소에 대해 사용한다.
제 1, 제 2등의 용어는 다양한 구성요소들을 설명하는데 사용될 수 있지만, 상기 구성요소들은 상기 용어들에 의해 한정되어서는 안 된다. 상기 용어들은 하나의 구성요소를 다른 구성요소로부터 구별하는 목적으로만 사용된다.
예를 들어, 본 발명의 권리 범위를 벗어나지 않으면서 제 1 구성요소는 제 2 구성요소로 명명될 수 있고, 유사하게 제 2 구성요소도 제 1 구성요소로 명명될 수 있다. "및/또는" 이라는 용어는 복수의 관련된 기재된 항목들의 조합 또는 복수의 관련된 기재된 항목들 중의 어느 항목을 포함한다.
다르게 정의되지 않는 한, 기술적이거나 과학적인 용어를 포함해서 여기서 사용되는 모든 용어들은 본 발명이 속하는 기술분야에서 통상의 지식을 가진 자에 의해 일반적으로 이해되는 것과 동일한 의미가 있다.
일반적으로 사용되는 사전에 정의되어 있는 것과 같은 용어들은 관련 기술의 문맥상 가지는 의미와 일치하는 의미를 가지는 것으로 해석되어야 하며, 본 출원에서 명백하게 정의하지 않는 한, 이상적이거나 과도하게 형식적인 의미로 해석되지 않아야 한다.
이하 첨부된 도면을 참조하여 본 발명의 일실시예에 따른 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법 및 이의 시스템을 상세하게 설명하기로 한다.
본 발명의 일실시예에서 기술하는 항공기 장치는 도 1 및 도 2와 같이 두 종류가 존재한다. 즉, 도 1은 일반적인 항공기 장치와 외부 연동 장치의 구성을 나타내는 일예의 개념도이고, 도 2는 일반적인 항공기 장치와 외부 연동 장치의 구성을 나타내는 다른 일예의 개념도이다.
도 1에 도시된 첫 번째의 예는 항공기 장치(110)가 하나의 단일 장치로써 외부 연동 장치(120)의 명령을 해석하여 해당 기능을 수행하여 보고하는 구조이다.
도 2에 도시된 두 번째의 예는 항공기 장치(110) 내부에 주장치(210)와 제 1 내지 제 N 내부 구성품(220-1 내지 220-N)이 존재하고 주장치(210)가 외부 연동 장치(120)의 명령을 해석하여 해당되는 구성품(220-1 내지 220-N)에 명령을 전송하고, 그 결과를 취합하여 외부 연동 장치(120)에 전달하는 구조이다.
본 발명의 일실시예에서는 도 2에 도시된 두 번째 구조에 따른 항공기 장치 의 소프트웨어(SW: SoftWare) 검증 방법을 기술하며, 이 방법은 도 1에 도시된 첫 번째 구조의 항공기 장치 소프트웨어(SW) 검증에도 적용 가능하다.
도 3은 도 2에 도시된 항공기 장치와 외부 연동 장치간의 연동 기능을 시간 흐름에 따라 구현하는 개념을 보여주는 도면이다. 특히, 도 3은 타임라인(timeline) 기반 항공기 장치의 연동 명령들의 예제를 나타낸다. 외부 연동 장치(120)에서 전원을 인가하면(S301), 항공기 장치(110)의 주장치(210)가 고유정보를 제공하고(S302), 그 이후에 외부 연동 장치(120)가 외부 제어 명령을 인가한다(S303).
항공기 장치(120)의 주장치(210)는 외부 제어 명령을 해석하여 해당되는 내부 구성품(220-1 내지 220-N)에게 외부 제어 명령을 전송 한 후, 일정시간 이내(t4, t5, t6)에 그 결과를 수신하여 정리한다(S311,S312,S315,S317,S319,S330). 이후 일정시간 내(t3)에 외부 연동 장치(120)로 보고를 한다(S331).
도 4는 본 발명의 일실시예에 따른 항공기 장치의 소프트웨어를 검증할 수 있는 검증 시스템의 블록 구성도이다. 도 4를 참조하면, 임베디드 하드웨어 모듈(428)에 OS(Operating System) 모듈(427)이 탑재되어 있으며, 항공기 장치(110)의 주장치(210)를 검증하기 위한 외부 연동 장치(120)와 항공기 장치(110)의 내부 구성품(220-1 내지 220-N)을 모의해 주는 모의 소프트웨어 모듈이 검증장치 운용 컴퓨터(410)에서 작성한 입출력 시나리오에 따라서 실시간으로 동작한다. 즉, 검증장치 운용 컴퓨터(410)에서 입출력 시나리오를 작성하고, 이 시나리오를 검증장치(420)에 로딩하면, 검증장치(420)에서 검증용 송신 메시지를 주장치(210)로 전송한다. 따라서, 주장치(210) 측에서는 검증 장치(420)의 송신 메시지가 수신 메시지가 된다.
여기서, OS는 RTOS(Real Time Operating System)가 되며, 모의 소프트웨어 모듈은 외부 연동 장치 모의 모듈(423), 내부 구성품 모의 모듈(425)로 구성된다.
또한, 하드웨어 모듈(428)은 SBC(Single Board Computer)/Discrete, Analog I/O, Communication 등을 수행하기 위한 회로들로 구성된다. 또한, 프레임 워크 모듈(426)은 소프트웨어 프레임워크가 된다.
특히, 검증 장치(420)에 구성되는 외부 연동 장치 모의 모듈(423)은 도 1 내지 도 3에 도시된 외부 연동 장치(120)를 모의한다.
통신모듈(421)은 검증 장치 운용 컴퓨터(410)와 검증 장치(420)를 연결하고, 또한, 검증 장치(420)와 주장치(210)를 연결하는 기능을 수행한다. 따라서, 외부 장치 모의 모듈(423) 및/또는 내부 구성품 모의 모듈(425)에서 생성되는 모의된 입출력 시나리오 정보를 주장치(210)로 전송한다.
주장치(210)는 타임 라인 기반으로 응답 메시지(즉, 검증장치 입장에서는 수신 메시지)를 검증 장치(420)로 전송한다. 검증장치(420)는 이러한 응답 메시지를 이용하여 모의된 입출력 시나리오를 검증한다.
도 5는 도 4에 도시된 검증 시스템에 사용되는 입출력 시나리오를 생성하는 유저 인터페이스(UI: User Interface) 화면예이다. 도 5를 참조하면, 외부 연동 장치(120)에서 항공기 장치(110)의 주장치(210)에게 전달하는 외부 입출력 이벤트 메시지들의 템플릿과 항공기장치(110)의 내부 구성품들(220-1 내지 220-N)이 주장치(210)에게 전달하는 내부 입출력 이벤트 메시지들의 템플릿을 보유한다.
또한, 소프트웨어(SW) 시험자는 입출력 이벤트 메시지 템플릿 화면(510)에서 사용하고자 하는 메시지 이벤트를 우측 화면(520)과 같이 타임라인(timeline) 운용개념에 맞게끔 배치한다. 도 5에서 외부연동은 1553 통신을 가정하고, 내부연동은 RS-232기반의 UART(Universal Asynchronous Receiver/Transmitter) 통신을 가정한다.
도 6은 도 4에 도시된 검증 시스템에 사용되는 입출력 이벤트 메시지의 속성을 지정하는 유저 인터페이스 화면예이다. 도 6을 참조하면, 각 이벤트 메시지들은 속성을 지닌다. 해당 메시지가 항공기 장치(110)의 주장치(210)와 연동할 때 송신 데이터인지 수신 데이터인지에 따라서 시나리오에서 사용할 데이터 값을 입력한다.
도 6에서 "고유정보제공"은 주장치(210)가 전송하는 데이터이므로 외부 연동 장치(120)의 수신 데이터가 되어서 조건을 판단하는데 쓰이고, "제어명령전송"은 주장치(210)가 수신하여야 하는 데이터이므로 외부 연동 장치(120)의 송신 데이터가 되어서 값을 설정할 수 있다.
각 입출력 이벤트 메시지 별로 시작조건, 활성화조건, 종료조건, 통과조건이 존재하며, 각 조건에서는 시간 설정값, 반복 설정값, 검사조건(도 6의 Pass Mode), 검사조건시 참조할 데이터 영역이 존재한다.
검사조건에서는 시간 설정값과 반복 설정값, 검사조건시 참조할 데이터를 사용하여 무조건 성공, 무조건 실패, 모든 조건 만족시 성공, 하나의 조건이라도 만족시 성공, 모든 조건 불만족시 성공, 하나의 조건이라도 불만족시 성공을 판단한다.
검사조건시 참조할 데이터는 이전 메시지에서 설정된 값이나 특정조건이 실행된 카운팅 값을 사용하여 시간흐름에 따라서 운용되는 항공기 장치(110)의 SW 검증을 하는데 사용된다.
메시지의 각 설정조건에서 시간 값이 조절 가능하므로 도 3에 기술된 응답 시간들(t1, t3)에 대한 주장치(210)의 SW 기능을 검증할 수 있게 된다. 또한, 제 1 내지 제 N 내부 구성품(220-1 내지 220-N)의 응답 메시지에 있어서 시간 응답 값(t4~t6)을 설정할 수 있으므로 주장치가 내부 구성품의 응답시간 차이에 따른 SW 기능을 검증 할 수 있다.
도 7a는 도 4에 도시된 검증 시스템에 사용되는 송신 메시지의 동작 조건을 보여주는 도면이고, 도 7b는 전송 주기를 보여주는 개념도이다. 도 7a를 참조하면, 각각 본 발명의 일실시예에서 제안하는 송신 메시지 및/또는 수신 메시지의 시작조건, 활성화조건, 종료조건, 통과조건들의 설정예이다. 도 7b는 매 3초마다 송신 메시지(Message A)가 송신되는 그래프이다.
도 8은 도 7a 및 도 7b에 따라 송신 메시지의 조건들을 스케줄러가 판단하는 흐름도이다. 부연하면, 도 7a 및 도 7b의 예에서 속성지정에 따른 메시지 스케줄러의 판단 흐름도를 나타낸다. 송신 메시지(Message A)의 경우 시작기준에서 3초 이후에 3초의 주기를 갖고서 최대 20초 동안 메시지를 전송하도록 설정한 경우이다.
시간이 "0"에서부터 3초가 경과하였는지를 판단하여 3초를 경과하였으면(단계 S810,S820), 매 3초마다 송신 메시지(Message A)를 전송한다(단계 S830,S840). 이후 송신 메시지를 전송한 이후로 20초가 경과하였는지를 판단하여 20초가 경과하였으면 항상 성공으로 판단하고 다음 메시지로 넘어간다(단계 S860). 통과조건은 시간 제한내에 특정 변수 값이 설정되었을 때이다. 이처럼 각 메시지 별로 시작, 활성화, 종료, 통과 조건들을 상세하게 설정하는 처리 방법을 이용함으로써 타임라인(timeline) 기반으로 운용하는 항공기 장치(110)의 SW기능을 입출력 시나리오 기반으로 검증할 수 있다.
도 9a는 도 4에 도시된 검증 시스템에 사용되는 수신 메시지의 동작 조건을 보여주는 도면이고, 도 9b는 수신 메시지의 수신 실패를 보여주며, 도 9c는 수신 메시지의 수신 성공을 보여주는 개념도이다. 수신 메시지(Message B)의 경우 시작기준에서 5초 이후에 5초의 주기를 갖고서 최대 30초 동안 메시지를 전송하도록 설정한 경우이다.
도 10은 도 9a 내지 도 9c에 따라 수신 메시지의 조건들을 스케줄러가 판단하는 흐름도이다. 도 10을 참조하면, 수신 메시지(Message B)의 경우 시작기준으로 5초부터 5초 주기를 갖고서 수신메시지의 특정 변수 값을 검사하며, 30초의 시간제한 또는 수신메시지의 특정 변수 값이 설정되었을 때 동작을 완료하는 경우이다.
시간이 "0"에서부터 5초가 경과하였는지를 판단하여 5초를 경과하였으면(단계 S1010,S1020), 매 5초마다 수신 메시지(Message B)를 수신한다(단계 S1030,S1040). 이후 수신 메시지를 전송한 이후로 30초가 경과하였거나 메시지 B.var = 1인지의 종료 조건이 만족하는 지를 판단한다(단계 S1050).
종료조건을 만족하면, 메시지 B.var = 1인지를 판단하여 만족하면 다음 메시지로 넘어가고 만족하지 않으면 입출력 시나리오를 종료하고, 결과 실패로 결정한다(단계 S1060,S1070).
도 5의 입출력 시나리오 예제에서처럼 타임라인(즉 시간 흐름)에 따르는 전체 운용 시나리오가 작성된다면 각 메시지 이벤트 별로 통과조건을 무조건 실패로 설정함으로써 SW 시험자가 확인하고자 하는 시간흐름에 따른 중간 시점에서의 SW 기능도 손쉽게 확인할 수 있게 된다. 이는 이전 입력 메시지가 항공기 장치의 현재 상태에 영향을 주는 구조에서 편리하게 사용할 수 있다. SW 검증 요구사항에 해당되는 입출력 시나리오들을 사전에 준비하여 사용하면 SW 기능 검증을 자동으로 수행하는 것도 가능하다.
110: 항공기 장치 120: 외부 연동 장치
210: 주장치
220-1 내지 220-N: 제 1 내지 제 N 내부 구성품
410: 검증 장치 운용 컴퓨터
420: 검증 장치

Claims (9)

  1. 검증 장치 운용 컴퓨터에서 사용자의 명령에 따라 입출력 시나리오를 구성하는 입출력 이벤트 메시지들을 생성하는 단계;
    상기 입출력 이벤트 메시지들을 검증 장치에 전송하는 단계;
    상기 검증 장치가 상기 입출력 이벤트 메시지들에 따라 외부 연동 장치 모의 정보 및 내부 구성품 모의 정보를 생성하는 단계;
    상기 검증 장치가 상기 외부 연동 장치 모의 정보 또는 내부 구성품 모의 정보를 항공기 장치의 주장치에 전송하는 단계; 및
    상기 주장치가 타임라인 기반으로 상기 외부 연동 장치 모의 정보를 이용하여 외부 연동을 수행하거나 상기 내부 구성품 모의 정보에 따라 내부 연동을 수행하고 상기 입출력 시나리오를 검증하는 단계;를 포함하며,
    상기 입출력 이벤트 메시지들 중 해당 입력출력 이벤트 메시지가 상기 주장치와 연동할 때 송신 메시지인지 또는 수신 메시지인지에 따라서 상기 입출력 시나리오에서 사용할 데이터 값이 입력되며,
    상기 입출력 이벤트 메시지들의 이벤트들은 상기 타임라인 기반에 대응되도록 배치되는 것을 특징으로 하는 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법.
  2. 삭제
  3. 삭제
  4. 제 1 항에 있어서,
    상기 입출력 이벤트 메시지들은 상기 입출력 시나리오상에서 특정 입력 이벤트의 속성을 포함하며, 상기 특정 입력 이벤트의 속성은 상기 송신 메시지 또는 수신 메시지를 시작하는 시작조건, 상기 송신 메시지 또는 수신 메시지를 송신 또는 수신하는 이벤트를 활성화하는 활성화조건, 상기 이벤트를 종료하는 종료조건, 및 상기 이벤트를 성공 또는 실패를 결정하는 통과조건을 구분하여 지정되는 것을 특징으로 하는 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법.
  5. 제 4 항에 있어서,
    상기 시작조건, 활성화조건, 및 종료조건 각각은 설정되는 시간 값이 조절 가능한 것을 특징으로 하는 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법.
  6. 제 1 항에 있어서,
    상기 검증 장치의 수신 메시지의 입력값과 상기 검증 장치의 출력값을 비교하여 미리 설정되는 시간 제한값내에서 상기 입출력 시나리오를 검증하는 것을 특징으로 하는 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법.
  7. 제 1 항에 있어서,
    상기 송신 메시지 및 수신 메시지는 연속적인 실시간 응답을 요구하는 것을 특징으로 하는 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법.
  8. 제 4 항에 있어서,
    상기 통과 조건을 각 입출력 이벤트 메시지들 별로 무조건 실패로 설정하여 상기 타임라인에 따른 중간 시점에서 송신 메시지 및 수신 메시지를 이용하여 상기 입출력 시나리오를 검증하는 것을 특징으로 하는 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법.
  9. 검증 장치 운용 컴퓨터에서 사용자의 명령에 따라 입출력 시나리오를 구성하는 입출력 이벤트 메시지들을 생성하는 검증 장치 운용 컴퓨터;
    상기 입출력 이벤트 메시지들을 수신하여, 상기 입출력 이벤트 메시지들에 따라 외부 연동 장치 모의 정보 및 내부 구성품 모의 정보를 생성하는 검증 장치; 및
    상기 외부 연동 장치 모의 정보 또는 내부 구성품 모의 정보를 수신하여, 타임라인 기반으로 상기 외부 연동 장치 모의 정보를 이용하여 외부 연동을 수행하거나 상기 내부 구성품 모의 정보에 따라 내부 연동을 수행하고 상기 입출력 시나리오를 검증하는 주장치;를 포함하며,
    상기 입출력 이벤트 메시지들 중 해당 입력출력 이벤트 메시지가 상기 주장치와 연동할 때 송신 메시지인지 또는 수신 메시지인지에 따라서 상기 입출력 시나리오에서 사용할 데이터 값이 입력되며,
    상기 입출력 이벤트 메시지들의 이벤트들은 상기 타임라인 기반에 대응되도록 배치되는 것을 특징으로 하는 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 시스템.
KR1020150129799A 2015-09-14 2015-09-14 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법 및 이의 시스템 Active KR101690948B1 (ko)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020150129799A KR101690948B1 (ko) 2015-09-14 2015-09-14 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법 및 이의 시스템

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020150129799A KR101690948B1 (ko) 2015-09-14 2015-09-14 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법 및 이의 시스템

Publications (1)

Publication Number Publication Date
KR101690948B1 true KR101690948B1 (ko) 2016-12-29

Family

ID=57736489

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020150129799A Active KR101690948B1 (ko) 2015-09-14 2015-09-14 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법 및 이의 시스템

Country Status (1)

Country Link
KR (1) KR101690948B1 (ko)

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20190034952A (ko) * 2017-09-25 2019-04-03 세메스 주식회사 Oht 소프트웨어 테스트 방법
KR20190052404A (ko) * 2017-11-08 2019-05-16 국방과학연구소 장비 및 시스템 통합 시험을 위한 운용 메시지 기반 계층구조의 시뮬레이션 장치 및 방법
KR20220087247A (ko) 2020-12-17 2022-06-24 경상국립대학교산학협력단 항공기 소프트웨어에서 순서위배의 자율적 수리를 위한 건전성 관리 시스템 및 방법

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20120075549A (ko) * 2010-11-23 2012-07-09 엘아이지넥스원 주식회사 단일 프레임워크 시뮬레이터 및 방법
KR101174716B1 (ko) * 2011-04-20 2012-08-17 국방과학연구소 장비 검증 장치 및 시스템
KR20130069106A (ko) * 2011-12-16 2013-06-26 국방과학연구소 임베디드 소프트웨어 검증장치 및 그 운용방법
KR20130088506A (ko) 2012-01-31 2013-08-08 한국전자통신연구원 무인항공기에 대한 비행 제어 소프트웨어를 검증하기 위한 장치 및 방법
KR20140084660A (ko) 2012-12-27 2014-07-07 한국항공우주산업 주식회사 항공기 탑재컴퓨터의 실시간 검증장치 및 그 제어방법

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20120075549A (ko) * 2010-11-23 2012-07-09 엘아이지넥스원 주식회사 단일 프레임워크 시뮬레이터 및 방법
KR101174716B1 (ko) * 2011-04-20 2012-08-17 국방과학연구소 장비 검증 장치 및 시스템
KR20130069106A (ko) * 2011-12-16 2013-06-26 국방과학연구소 임베디드 소프트웨어 검증장치 및 그 운용방법
KR20130088506A (ko) 2012-01-31 2013-08-08 한국전자통신연구원 무인항공기에 대한 비행 제어 소프트웨어를 검증하기 위한 장치 및 방법
KR20140084660A (ko) 2012-12-27 2014-07-07 한국항공우주산업 주식회사 항공기 탑재컴퓨터의 실시간 검증장치 및 그 제어방법

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
1. 문정호외, "무인항공기 비행제어시스템 검증을 위한 HILS 시뮬레이터 개발"한국항공우주학회 2013년.

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20190034952A (ko) * 2017-09-25 2019-04-03 세메스 주식회사 Oht 소프트웨어 테스트 방법
KR102368559B1 (ko) * 2017-09-25 2022-03-02 세메스 주식회사 Oht 소프트웨어 테스트 방법
KR20190052404A (ko) * 2017-11-08 2019-05-16 국방과학연구소 장비 및 시스템 통합 시험을 위한 운용 메시지 기반 계층구조의 시뮬레이션 장치 및 방법
KR102081634B1 (ko) * 2017-11-08 2020-02-26 국방과학연구소 장비 및 시스템 통합 시험을 위한 운용 메시지 기반 계층구조의 시뮬레이션 장치 및 방법
KR20220087247A (ko) 2020-12-17 2022-06-24 경상국립대학교산학협력단 항공기 소프트웨어에서 순서위배의 자율적 수리를 위한 건전성 관리 시스템 및 방법

Similar Documents

Publication Publication Date Title
CN108566323B (zh) 一种T-Box自动化测试方法及系统
JP5102304B2 (ja) 要求ベーステスト生成
CN108959068A (zh) 软件界面测试方法、设备及存储介质
US20100192128A1 (en) System and methods of using test points and signal overrides in requirements-based test generation
EP3379436B1 (en) Method and apparatus for testing design of satellite wiring harness and signal processing units
CN103559112A (zh) 一种软件故障注入方法及系统
WO2006047741A2 (en) Software test environment for regression testing ground combat vehicle software
CN104915482A (zh) 一种卫星数据接收仿真分析平台
KR101690948B1 (ko) 타임라인 기반 항공기 장치의 입출력 이벤트 시나리오를 사용한 소프트웨어 검증 방법 및 이의 시스템
CN108763009A (zh) 服务器压力测试方法、系统、设备及计算机可读存储介质
CN107749896A (zh) 私有云并行控制方法及装置、存储介质及电子终端
CN113495545A (zh) 使用在环硬件测试车辆设备控制器的系统和方法
CN117215551A (zh) 一种基于llm的低代码应用开发方法和系统
Krichen et al. An expressive and implementable formal framework for testing real-time systems
CN103576667B (zh) 主控板的测试方法、装置及系统
CN113609633A (zh) 一种基于模型的复杂体系协同仿真与验证评估系统和方法
CN114755990B (zh) 一种工业自动化产线低代码控制系统及其控制方法
CN102708228B (zh) Tmsvl实时系统建模方法
CN114564402A (zh) 任务流程的测试方法、装置、可读介质和电子设备
CN117493170A (zh) 自动化测试方法、装置、存储介质及电子设备
US20020156608A1 (en) Integrated testcase language for hardware design verification
CN106354930B (zh) 一种空间飞行器的自适应重构方法及系统
KR101880808B1 (ko) 위성 운영 시뮬레이션 제어 장치 및 방법
US20100036651A1 (en) Synthetic air traffic management fast-time environment
JP4696744B2 (ja) プログラムテスト装置、方法、及び、プログラム

Legal Events

Date Code Title Description
PA0109 Patent application

Patent event code: PA01091R01D

Comment text: Patent Application

Patent event date: 20150914

PA0201 Request for examination
PE0902 Notice of grounds for rejection

Comment text: Notification of reason for refusal

Patent event date: 20160707

Patent event code: PE09021S01D

E701 Decision to grant or registration of patent right
PE0701 Decision of registration

Patent event code: PE07011S01D

Comment text: Decision to Grant Registration

Patent event date: 20161220

GRNT Written decision to grant
PR0701 Registration of establishment

Comment text: Registration of Establishment

Patent event date: 20161223

Patent event code: PR07011E01D

PR1002 Payment of registration fee

Payment date: 20161226

End annual number: 3

Start annual number: 1

PG1601 Publication of registration
PR1001 Payment of annual fee

Payment date: 20201202

Start annual number: 5

End annual number: 5