KR20220048557A - Uml 모델 검증 장치 및 방법 - Google Patents

Uml 모델 검증 장치 및 방법 Download PDF

Info

Publication number
KR20220048557A
KR20220048557A KR1020200131579A KR20200131579A KR20220048557A KR 20220048557 A KR20220048557 A KR 20220048557A KR 1020200131579 A KR1020200131579 A KR 1020200131579A KR 20200131579 A KR20200131579 A KR 20200131579A KR 20220048557 A KR20220048557 A KR 20220048557A
Authority
KR
South Korea
Prior art keywords
uml model
verification
information
uml
developer
Prior art date
Application number
KR1020200131579A
Other languages
English (en)
Other versions
KR102415480B1 (ko
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 KR1020200131579A priority Critical patent/KR102415480B1/ko
Publication of KR20220048557A publication Critical patent/KR20220048557A/ko
Application granted granted Critical
Publication of KR102415480B1 publication Critical patent/KR102415480B1/ko

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • 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
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/31—Programming languages or programming paradigms
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/35—Creation or generation of source code model driven
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/38—Creation or generation of source code for implementing 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)
  • Human Computer Interaction (AREA)
  • Computing Systems (AREA)
  • Quality & Reliability (AREA)
  • Stored Programmes (AREA)

Abstract

UML 모델 검증 장치 및 방법에 관한 것이다.
문서 방식의 UML 모델 적용 가이드라인을 기반으로 작성된 UML 모델 검증 시나리오를 저장하는 UML 모델 검증 시나리오 저장부; 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 수집하는 UML 모델 정보 수집부; 상기 UML 모델 검증 시나리오를 기반으로 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 검증하는 UML 모델 정보 검증부; 상기 UML 모델 정보 검증부의 검증 결과를 개발자에게 제공하는 UML 모델 검증 결과 제공부;를 포함하는 것이 바람직하다.

Description

UML 모델 검증 장치 및 방법{APPARATUS AND METHOD FOR UML MODEL VERIFICATION}
본 발명은 UML 모델 검증 장치 및 방법에 관한 것으로, 더욱 상세하게는 UML 모델 검증 시나리오를 기반으로 UML 모델을 자동으로 검증할 수 있도록 하는 UML 모델 검증 장치 및 방법에 관한 것이다.
UML(Unified Modeling Language)은 요구분석, 시스템설계, 시스템 구현 등의 시스템 개발 과정에서, 개발자 간의 의사소통을 원활하게 이루어지게 하기 위하여 표준화한 모델링 언어이다.
소프트웨어 개발 프로세스에 효율성을 위해서 UML 모델을 적용하는데, 종래에는 UML 모델을 통일성 있게 적용하기 위해 문서 방식으로 배포된 UML 모델 적용 가이드라인에 따라 개발자 스스로 문서를 이해하고, UML 모델을 적용한다.
종래의 문서 방식의 UML 모델 적용 가이드라인은 개발자의 숙련도, 모델 이해도, 문서 이해도에 따라 달리 해석될 수 있어서 통일성 있게 모델을 적용할 수 없는 문제점이 있다.
한국공개특허공보 제10-2008-0071398호(공개일 2008.0.04)
본 발명은 이러한 문제점을 해결하기 위해 안출된 것으로, UML 모델 검증 시나리오를 기반으로 UML 모델을 자동으로 검증할 수 있도록 하는 UML 모델 검증 장치 및 방법을 제공함에 그 목적이 있다.
전술한 목적을 달성하기 위한 본 발명의 일 실시예에 따른 UML 모델 검증 장치는, 문서 방식의 UML 모델 적용 가이드라인을 기반으로 작성된 UML 모델 검증 시나리오를 저장하는 UML 모델 검증 시나리오 저장부; 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 수집하는 UML 모델 정보 수집부; 상기 UML 모델 검증 시나리오를 기반으로 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 검증하는 UML 모델 정보 검증부; 상기 UML 모델 정보 검증부의 검증 결과를 개발자에게 제공하는 UML 모델 검증 결과 제공부;를 포함하는 것이 바람직하다.
본 발명의 일 실시예에서, 상기 UML 모델 정보 수집부는, 모델 접근 언어(Rhapsody API)를 사용하여 UML 모델 정보를 수집하는 것이 바람직하다.
본 발명의 일 실시예에서, 상기 UML 모델 정보 검증부는, 소프트웨어 개발 프로세스에 UML 모델이 적용되는 4개 다이어그램을 상기 UML 모델 검증 시나리오를 기반으로 검증하는 것이 바람직하다.
본 발명의 일 실시예에 따른 UML 모델 검증 방법은, 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 검증을 요청받는 단계; UML 모델 정보 수집부가, 검증을 요청받은 상기 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 수집하는 단계; UML 모델 정보 검증부가, 문서 방식의 UML 모델 적용 가이드라인을 기반으로 작성된 UML 모델 검증 시나리오를 기반으로 상기 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 검증하는 단계; UML 모델 검증 결과 제공부가, 상기 검증 결과를 개발자에게 제공하는 단계;를 포함하는 것이 바람직하다.
본 발명의 일 실시예에서, 상기 UML 모델 정보 수집부가, 검증을 요청받은 상기 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 수집하는 단계는, 상기 UML 모델 정보 수집부가, 검증을 요청받은 상기 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 모델 접근 언어(Rhapsody API)를 사용하여 수집하는 단계인 것이 바람직하다.
본 발명의 일 실시예에서, 상기 UML 모델 정보 검증부가, 문서 방식의 UML 모델 적용 가이드라인을 기반으로 작성된 UML 모델 검증 시나리오를 기반으로 상기 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 검증하는 단계는, 소프트웨어 개발 프로세스에 UML 모델이 적용되는 4개 다이어그램을 상기 UML 모델 검증 시나리오를 기반으로 검증하는 단계인 것이 바람직하다.
본 발명의 UML 모델 검증 장치 및 방법은, UML 모델 검증 시나리오를 기반으로 UML 모델을 자동으로 검증함으로써, 소프트웨어 개발 프로세스에 무결성 UML 모델을 적용할 수 있게 된다.
도 1은 본 발명의 일 실시예에 따른 UML 모델 검증 장치의 구성을 개략적으로 보인 도면이다.
도 2는 본 발명의 일 실시예에 따른 UML 모델 검증 방법을 설명하기 위한 처리도이다.
도 3 내지 도 6은 본 발명에 적용되는 4개의 다이어그램을 검증하는 과정을 설명하기 위한 처리도이다.
도 7은 본 발명에 따른 UML 모델 검증 방법에 적용되는 운용자 인터페이스를 예시적으로 보인 도면이다.
후술하는 본 발명에 대한 상세한 설명은, 본 발명이 실시될 수 있는 특정 실시예를 예시로서 도시하는 첨부 도면을 참조한다. 이들 실시예는 당업자가 본 발명을 실시할 수 있기에 충분하도록 상세히 설명된다. 본 발명의 다양한 실시예는 서로 다르지만 상호 배타적일 필요는 없음이 이해되어야 한다. 예를 들어, 여기에 기재되어 있는 특정 형상, 구조 및 특성은 일 실시예와 관련하여 본 발명의 정신 및 범위를 벗어나지 않으면서 다른 실시예로 구현될 수 있다. 또한, 각각의 개시된 실시예 내의 개별 구성요소의 위치 또는 배치는 본 발명의 정신 및 범위를 벗어나지 않으면서 변경될 수 있음이 이해되어야 한다. 따라서, 후술하는 상세한 설명은 한정적인 의미로서 취하려는 것이 아니며, 본 발명의 범위는, 적절하게 설명된다면, 그 청구항들이 주장하는 것과 균등한 모든 범위와 더불어 첨부된 청구항에 의해서만 한정된다. 도면에서 유사한 참조부호는 여러 측면에 걸쳐서 동일하거나 유사한 기능을 지칭한다.
이하에서는 첨부한 도면들을 참조하여 본 발명의 바람직한 실시예에 따른 UML 모델 검증 장치 및 방법에 대해서 상세하게 설명하기로 한다.
도 1은 본 발명의 일 실시예에 따른 UML 모델 검증 장치의 구성을 개략적으로 보인 도면이다.
도 1에 도시하는 바와 같이 본 발명에 따른 UML 모델 검증 장치(100)은 UML 모델 검증 시나리오 저장부(110), UML 모델 정보 수집부(120), UML 모델 정보 검증부(130), UML 모델 검증 결과 제공부(140) 등을 포함하여 이루어질 수 있다.
UML 모델 검증 시나리오 저장부(110)는 문서 방식의 UML 모델 적용 가이드라인을 기반으로 작성된 UML 모델 검증 시나리오를 저장할 수 있다.
UML 모델 정보 수집부(120)는 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 수집할 수 있다.
UML 모델 정보 수집부(120)는 UML 모델 검증 시나리오에 맞게 모델 접근 언어(Rhapsody API)를 사용하여, 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 수집할 수 있다.
UML 모델 정보 검증부(130)는 UML 모델 검증 시나리오 저장부(110)에 저장되어 있는 UML 모델 검증 시나리오를 기반으로, 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 검증할 수 있다.
UML 모델 정보 검증부(130)는 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 UML 모델 검증 시나리오와 비교하여 검증할 수 있다.
UML 모델 정보 검증부(130)는 소프트웨어 개발 프로세스에 UML 모델이 적용되는 4개 다이어그램 즉, 유스케이스 다이어그램(Usecase Diagram), 액티비티 다이어그램(Activity Diagram), 클래스 다이어그램(Class Diagram), 시퀀스 다이어그램(Sequence Diagram)을 UML 모델 검증 시나리오를 기반으로 검증할 수 있다.
구체적으로 유스케이스 다이어그램 검증은, 정의된 표기법을 사용했는지, 정의된 액터(Actor)를 사용했는지, 정의된 스테레오 타입(Stereo type)을 사용했는지를 확인하는 과정 등을 통해 이루어질 수 있다,
액티비티 다이어그램 검증은, 정의된 표기법을 사용했는지, 조건문에 가드가 표현되어 있는지, 정의된 이벤트(Event)를 사용했는지를 확인하는 과정 등을 통해 이루어질 수 있다.
클래스 다이어그램 검증은, 정의된 표기법을 사용했는지, 변수 및 함수에 주석이 포함되어 있는지, 정의된 함수가 시퀀스 다이어그램에 모두 표현되어 있는지를 확인하는 과정 등을 통해 이루어질 수 있다.
시퀀스 다이어그램 검증은, 정의된 표기법을 사용했는지, 정의된 이벤트를 사용했는지, 정의된 함수가 클래스 다이어그램에 모두 표현되어 있는지를 확인하는 과정 등을 통해 이루어질 수 있다.
UML 모델 검증 결과 제공부(140)는 UML 모델 정보 검증부(130)의 검증 결과(예를 들어, 성공, 실패)를 개발자에게 제공할 수 있다.
UML 모델 검증 결과 제공부(140)는 UML 모델 정보 검증부(130)의 검증 결과가 실패인 경우에는 실패 이유에 대한 상세 정보를 함께 제공할 수 있다.
도 2는 본 발명의 일 실시예에 따른 UML 모델 검증 방법을 설명하기 위한 처리도이다.
우선, 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 검증을 요청받으면(S10), UML 모델 정보 수집부(120)는 검증을 요청받은 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 수집할 수 있다(S20).
상기한 단계 S20에서 UML 모델 정보 수집부(120)는 UML 모델 검증 시나리오에 맞게 모델 접근 언어(Rhapsody API)를 사용하여, 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 수집할 수 있다.
이후, UML 모델 정보 검증부(130)는 문서 방식의 UML 모델 적용 가이드라인을 기반으로 작성된 UML 모델 검증 시나리오를 기반으로, 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 검증할 수 있다(S30).
상기한 단계 S30에서 UML 모델 정보 검증부(130)는 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 UML 모델 검증 시나리오와 비교하여 검증할 수 있다.
상기한 단계 S30에서 UML 모델 정보 검증부(130)는 소프트웨어 개발 프로세스에 UML 모델이 적용되는 4개 다이어그램 즉, 유스케이스 다이어그램(Usecase Diagram), 액티비티 다이어그램(Activity Diagram), 클래스 다이어그램(Class Diagram), 시퀀스 다이어그램(Sequence Diagram)을 UML 모델 검증 시나리오를 기반으로 검증할 수 있다.
구체적으로 유스케이스 다이어그램 검증(검사)은, 도 3에 도시하는 바와 같이 정의된 표기법을 사용했는지, 정의된 액터(Actor)를 사용했는지, 정의된 스테레오 타입(Stereo type)을 사용했는지를 확인하는 과정 등을 통해 이루어질 수 있다,
액티비티 다이어그램 검증은, 도 4에 도시하는 바와 같이 정의된 표기법을 사용했는지, 조건문에 가드가 표현되어 있는지, 정의된 이벤트(Event)를 사용했는지를 확인하는 과정 등을 통해 이루어질 수 있다.
클래스 다이어그램 검증은, 도 5에 도시하는 바와 같이 정의된 표기법을 사용했는지, 변수 및 함수에 주석이 포함되어 있는지, 정의된 함수가 시퀀스 다이어그램에 모두 표현되어 있는지를 확인하는 과정 등을 통해 이루어질 수 있다.
시퀀스 다이어그램 검증은, 도 6에 도시하는 바와 같이 정의된 표기법을 사용했는지, 정의된 이벤트를 사용했는지, 정의된 함수가 클래스 다이어그램에 모두 표현되어 있는지를 확인하는 과정 등을 통해 이루어질 수 있다.
상기한 단계 S30을 통해 UML 모델 정보 검증이 완료되면, UML 모델 검증 결과 제공부(140)는 상기한 단계 S30의 검증 결과(예를 들어, 성공, 실패)를 디스플레이에 전시하여 개발자에게 제공할 수 있다(S40).
상기한 단계 S40에서 UML 모델 검증 결과 제공부(140)는 상기한 단계 S30의 검증 결과가 실패인 경우에는 실패 이유에 대한 상세 정보를 함께 제공할 수 있다.
도 7은 본 발명에 따른 UML 모델 검증 방법에 적용되는 운용자 인터페이스를 예시적으로 보인 도면이다.
도 7에서, 사용설명서(①)를 클릭하면, 링크되어 있는 MVT 사용설명서가 제공될 수 있다.
CSCI명_Design(②③)을 클릭하면, 액티비티 다이어그램, 클래스 다이어그램, 시퀀스 다이어그램 검증을 수행할 수 있다.
CSCI명_Analysis(③)를 클릭하면, 유스케이스 다이어그램 검증을 수행할 수 있다.
결과창(④)은 검증 결과를 전시할 수 있다.
검사버튼(⑤)은 유스케이스 다이어그램 검사, 액티비티 다이어그램 검사, 클래스 다이어그램 검사, 시퀀스 다이어그램 검사, 모든 액티비티 다이어그램 이벤트 체크, 모든 시퀀스 다이어그램 이벤트 체크 버튼으로 구성될 수 있다.
CSCI명_Analysis의 하부 CSC 선택 후, 유스케이스 다이어그램 검사 버튼을 클릭하면, 해당 CSC만 검사할 수 있다.
CSCI명_Design의 하부 CSC 선택 후, 액티비티 다이어그램 검사 버튼, 클래스 다이어그램 검사 버튼, 시퀀스 다이어그램 검사 버튼 중에서 어느 하나를 클릭하면, 해당 CSC만 검사할 수 있다.
트리 구조 선택없이 모든 액티비티 다이어그램 이벤트 체크 버튼 또는 모든 시퀀스 다이어그램 이벤트 체크 버튼을 클릭하면, 프로젝트 전체를 검사할 수 있다.
이상에서는 실시예들을 참조하여 설명하였지만, 해당 기술 분야의 숙련된 당업자는 하기의 특허 청구범위에 기재된 본 발명의 사상 및 영역으로부터 벗어나지 않는 범위 내에서 본 발명을 다양하게 수정 및 변경시킬 수 있음을 이해할 수 있을 것이다.
110. UML 모델 검증 시나리오 저장부,
120. UML 모델 정보 수집부,
130. UML 모델 정보 검증부,
140. UML 모델 검증 결과 제공부

Claims (6)

  1. 문서 방식의 UML 모델 적용 가이드라인을 기반으로 작성된 UML 모델 검증 시나리오를 저장하는 UML 모델 검증 시나리오 저장부;
    개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 수집하는 UML 모델 정보 수집부;
    상기 UML 모델 검증 시나리오를 기반으로 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 검증하는 UML 모델 정보 검증부;
    상기 UML 모델 정보 검증부의 검증 결과를 개발자에게 제공하는 UML 모델 검증 결과 제공부;를 포함하는, UML 모델 검증 장치.
  2. 제1항에 있어서,
    상기 UML 모델 정보 수집부는,
    모델 접근 언어(Rhapsody API)를 사용하여 UML 모델 정보를 수집하는, UML 모델 검증 장치.
  3. 제1항에 있어서,
    상기 UML 모델 정보 검증부는,
    소프트웨어 개발 프로세스에 UML 모델이 적용되는 4개 다이어그램을 상기 UML 모델 검증 시나리오를 기반으로 검증하는, UML 모델 검증 장치.
  4. 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 검증을 요청받는 단계;
    UML 모델 정보 수집부가, 검증을 요청받은 상기 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 수집하는 단계;
    UML 모델 정보 검증부가, 문서 방식의 UML 모델 적용 가이드라인을 기반으로 작성된 UML 모델 검증 시나리오를 기반으로 상기 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 검증하는 단계;
    UML 모델 검증 결과 제공부가, 상기 검증 결과를 개발자에게 제공하는 단계;를 포함하는, UML 모델 검증 방법.
  5. 제4항에 있어서,
    상기 UML 모델 정보 수집부가, 검증을 요청받은 상기 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 수집하는 단계는,
    상기 UML 모델 정보 수집부가, 검증을 요청받은 상기 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 모델 접근 언어(Rhapsody API)를 사용하여 수집하는 단계인, UML 모델 검증 방법.
  6. 제4항에 있어서,
    상기 UML 모델 정보 검증부가, 문서 방식의 UML 모델 적용 가이드라인을 기반으로 작성된 UML 모델 검증 시나리오를 기반으로 상기 개발자에 의해 소프트웨어 개발 프로세스에 적용된 UML 모델의 정보를 검증하는 단계는,
    소프트웨어 개발 프로세스에 UML 모델이 적용되는 4개 다이어그램을 상기 UML 모델 검증 시나리오를 기반으로 검증하는 단계인, UML 모델 검증 방법.
KR1020200131579A 2020-10-13 2020-10-13 Uml 모델 검증 장치 및 방법 KR102415480B1 (ko)

Priority Applications (1)

Application Number Priority Date Filing Date Title
KR1020200131579A KR102415480B1 (ko) 2020-10-13 2020-10-13 Uml 모델 검증 장치 및 방법

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
KR1020200131579A KR102415480B1 (ko) 2020-10-13 2020-10-13 Uml 모델 검증 장치 및 방법

Publications (2)

Publication Number Publication Date
KR20220048557A true KR20220048557A (ko) 2022-04-20
KR102415480B1 KR102415480B1 (ko) 2022-07-01

Family

ID=81403545

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020200131579A KR102415480B1 (ko) 2020-10-13 2020-10-13 Uml 모델 검증 장치 및 방법

Country Status (1)

Country Link
KR (1) KR102415480B1 (ko)

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20080071398A (ko) 2007-01-30 2008-08-04 삼성전자주식회사 Ｕｍｌ 모델, 소스 코드, 및 ｕｍｌ 설계 기준의 비교 장치및 방법
KR20120025190A (ko) * 2010-09-07 2012-03-15 한국전자통신연구원 서비스 기반 애플리케이션 통합 시험장치, 시스템 및 그 방법
KR20140060075A (ko) * 2012-11-09 2014-05-19 한국항공우주산업 주식회사 자바가상머신을 이용한 임무컴퓨터의 다기능 시현 비행운용장치 및 그 제어방법
KR102031924B1 (ko) * 2019-01-09 2019-10-14 엘아이지넥스원 주식회사 소프트웨어 품질 측정 장치 및 그 방법

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20080071398A (ko) 2007-01-30 2008-08-04 삼성전자주식회사 Ｕｍｌ 모델, 소스 코드, 및 ｕｍｌ 설계 기준의 비교 장치및 방법
KR20120025190A (ko) * 2010-09-07 2012-03-15 한국전자통신연구원 서비스 기반 애플리케이션 통합 시험장치, 시스템 및 그 방법
KR20140060075A (ko) * 2012-11-09 2014-05-19 한국항공우주산업 주식회사 자바가상머신을 이용한 임무컴퓨터의 다기능 시현 비행운용장치 및 그 제어방법
KR102031924B1 (ko) * 2019-01-09 2019-10-14 엘아이지넥스원 주식회사 소프트웨어 품질 측정 장치 및 그 방법

Also Published As

Publication number Publication date
KR102415480B1 (ko) 2022-07-01

Similar Documents

Publication Publication Date Title
US8819642B2 (en) Method and system for generating and processing black box test cases
US10572360B2 (en) Functional behaviour test system and method
US8984489B2 (en) Quality on submit process
US8949770B2 (en) Automated management of software requirements verification
US8448146B2 (en) Generation of functional tests for re-hosted applications
US10013338B2 (en) Techniques for automated software testing
US8515876B2 (en) Dry-run design time environment
US9286063B2 (en) Methods and systems for providing feedback and suggested programming methods
US8955115B2 (en) Automatic generation of security checks
Morgado et al. Dynamic reverse engineering of graphical user interfaces
CN113568839A (zh) 软件测试和统计测试覆盖率的方法、装置、设备及介质
Miller et al. A case study in model‐based testing of specifications and implementations
CN111966587A (zh) 数据采集方法、装置和设备
US10824402B2 (en) Bytecode generation from UML models
EP3851955A1 (en) Systems and methods for software documentation and code generation management
KR102415480B1 (ko) Uml 모델 검증 장치 및 방법
CN117493188A (zh) 接口测试方法及装置、电子设备及存储介质
JP2007535013A (ja) コンピュータプログラムの設計
Cooray et al. Dynamic test reconfigurationfor composite web services
US11321218B1 (en) Automated generation of source code models from machine code for code analysis
de Boer et al. Combining monitoring with run-time assertion checking
CN115114299A (zh) 基于Flink SQL实现元数据管理的方法
CN114153435A (zh) 一种用于智能合约代码设计生成的eb2s系统及使用方法
Geepalla et al. Transformation of spatio-temporal role based access control specification to alloy
Bowen Creating models of interactive systems with the support of lightweight reverse-engineering tools

Legal Events

Date Code Title Description
E701 Decision to grant or registration of patent right
GRNT Written decision to grant