KR20150052725A - Method of verifying modeling code, apparatus performing the same and storage media storing the same - Google Patents

Method of verifying modeling code, apparatus performing the same and storage media storing the same Download PDF

Info

Publication number
KR20150052725A
KR20150052725A KR1020140025439A KR20140025439A KR20150052725A KR 20150052725 A KR20150052725 A KR 20150052725A KR 1020140025439 A KR1020140025439 A KR 1020140025439A KR 20140025439 A KR20140025439 A KR 20140025439A KR 20150052725 A KR20150052725 A KR 20150052725A
Authority
KR
South Korea
Prior art keywords
verification
model
model component
rule
error
Prior art date
Application number
KR1020140025439A
Other languages
Korean (ko)
Other versions
KR101665962B1 (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 KR20150052725A publication Critical patent/KR20150052725A/en
Application granted granted Critical
Publication of KR101665962B1 publication Critical patent/KR101665962B1/en

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/3604—Software analysis for verifying properties of programs
    • 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

Abstract

The present invention relates to a method of verifying a modeling code, comprising the steps of: determining a verification model component from among at least one model component which is in a model diagram; receiving a verification rule with respect to the at least one model component; and performing,when the model diagram is completed or a require for verifying the model diagram is received, verification on the verification model component based on the received verification rule. Thus, it is possible to perform verification on a software model by defining a rule for each element of the software model.

Description

모델링 코드 검증 방법, 이를 수행하는 모델링 코드 검증 장치 및 이를 저장하는 기록매체{METHOD OF VERIFYING MODELING CODE, APPARATUS PERFORMING THE SAME AND STORAGE MEDIA STORING THE SAME}TECHNICAL FIELD [0001] The present invention relates to a modeling code verification method, a modeling code verification method, and a recording medium storing the modeling code verification method,

본 발명은 모델링 코드 검증 기술에 관한 것으로, 보다 상세하게는, 소프트웨어 모델의 엘리먼트 별로 규칙을 정의하여 소프트웨어 모델에 대한 검증을 수행할 수 있는 모델링 코드 검증 방법, 이를 수행하는 모델링 코드 검증 장치 및 이를 저장하는 기록매체에 관한 것이다.
The present invention relates to a modeling code verification technique, and more particularly, to a modeling code verification method capable of defining a rule for each element of a software model to verify a software model, a modeling code verification device for performing the verification, To a recording medium.

일반적으로, 소프트웨어 모델은 범용적인 모델링 언어를 사용하여 작성하는 방법과 특정 도메인에 필요한 모델링 언어를 정의하여 작성하는 방법으로 구분할 수 있다. 전자의 경우에는 다양한 소프트웨어 환경과 프로그래밍 언어를 위한 모델을 생성할 수 있도록 포괄적인 표기법을 제공하고, 후자의 경우에는 특정한 소프트웨어 환경에 대응하는 모델링 언어로 상세한 모델링이 가능하도록 할 수 있다.Generally, a software model can be classified into a method of creating using a general modeling language and a method of defining a modeling language required for a specific domain. In the former case, it provides a comprehensive notation for creating models for various software environments and programming languages. In the latter case, detailed modeling can be done in a modeling language corresponding to a specific software environment.

한국공개특허 제10-1999-0068602호는 관계형 데이터베이스에서 데이터 모델의 원칙 준수 및 정규화에 대하여 검증하고 개발된 시스템의 신뢰성을 검증할 수 있는 데이터 모델 검증 시스템을 개시한다. 이러한 데이터 모델 검증 시스템은 관계형 데이터베이스 시스템(RDBMS)의 개발과정에서 데이터 모델의 원칙 준수 및 정규화에 대하여 정확하게 검증할 수 있으며, 개발된 시스템의 완성도를 판단하여 신뢰성을 검증할 수 있다.Korean Patent Laid-Open Publication No. 10-1999-0068602 discloses a data model verification system that can verify the principle of conformance and normalization of a data model in a relational database and verify the reliability of the developed system. This data model verification system can accurately verify the conformity and normalization of the data model in the development process of the relational database system (RDBMS), and verify the reliability of the developed system by determining the completeness of the system.

한국공개특허 제10-2006-0061759호는 관리 어플리케이션에 의해 모니터링되는 기반 구조를 모델링할 수 있는 트랜잭션 기반 성능 모델을 자동 검증 및 캘리브레이션하기 위한 컴퓨터 구현 방법을 개시한다. 이러한 컴퓨터 구현 방법은 기존 관리 도구에 의해 제공된 데이터를 이용하여 기반 구조를 모델링하고 기반 구조를 시뮬레이션 할 수 있다.Korean Patent Laid-Open No. 10-2006-0061759 discloses a computer implemented method for automatically verifying and calibrating a transaction-based performance model capable of modeling an infrastructure monitored by a management application. These computer-implemented methods can model the infrastructure and simulate the infrastructure using data provided by existing management tools.

상기 작성된 전자의 경우에는 규칙이 자유롭고 방대하여 소프트웨어 모델에 대한 개략적인 모델링 작성은 가능하지만 특정 소프트웨어 모델에 대한 상세한 모델링은 불가능하고, 후자의 경우에는 특정 소프트웨어 모델에서만 사용되기 때문에 다른 환경에서의 사용이 불가능하다.
In the case of the former, it is possible to create a rough modeling of the software model because the rules are free and extensive, but detailed modeling of the specific software model is impossible, and in the latter case, it can not be used in other environments Do.

한국공개특허 제10-1999-0068602호Korean Patent Publication No. 10-1999-0068602 한국공개특허 제10-2006-0061759호Korean Patent Publication No. 10-2006-0061759

본 발명의 일 실시예는 소프트웨어 모델의 엘리먼트 별로 규칙을 정의하여 소프트웨어 모델에 대한 검증을 수행할 수 있는 모델링 코드 검증 방법을 제공하고자 한다.One embodiment of the present invention is to provide a modeling code verification method capable of performing verification of a software model by defining rules for each element of a software model.

본 발명의 일 실시예는 사용자에 의해 등록된 유연하고 다양한 검증 규칙을 기초로 사용자가 원하는 소프트웨어 구조를 생성할 수 있는 모델링 코드 검증 방법을 제공하고자 한다.An embodiment of the present invention is to provide a modeling code verification method capable of generating a software structure desired by a user based on flexible and various verification rules registered by a user.

본 발명의 일 실시예는 소프트웨어 모델의 엘리먼트에 대한 오류를 자동으로 수정하여 사용자의 편의성을 향상시킬 수 있는 모델링 코드 검증 방법을 제공하고자 한다.
An embodiment of the present invention is to provide a modeling code verification method capable of automatically correcting an error in an element of a software model to improve user's convenience.

실시예들 중에서, 모델링 코드 검증 방법은 모델 다이어그램에 있는 적어도 하나의 모델 컴포넌트 중 검증 모델 컴포넌트를 결정하는 단계, 상기 검증 모델 컴포넌트에 대한 검증 규칙을 수신하는 단계 및 상기 모델 다이어그램이 완성되거나 또는 상기 모델 다이어그램에 대한 검증 요구가 수신되면 상기 수신된 검증 규칙을 기초로 상기 검증 모델 컴포넌트에 대한 검증을 수행하는 단계를 포함한다.Among the embodiments, the modeling code verification method includes determining a verification model component of at least one model component in the model diagram, receiving a verification rule for the verification model component, and receiving the verification rule for the verification model component, And performing verification of the verification model component based on the received verification rule when a verification request for the diagram is received.

일 실시예에서, 상기 검증 규칙을 수신하는 단계는 사용자의 선택에 따라 상기 검증 모델 컴포넌트의 오류 자동 수정 규칙을 부가하는 단계를 포함할 수 있다.In one embodiment, the step of receiving the verification rules may include adding an error auto-modification rule of the verification model component according to a user's selection.

일 실시예에서, 상기 검증 결과를 기초로 오류 자동 수정 규칙에 의하여 자동으로 수정 가능한 오류에 대하여 자동 수정 요청 명령을 포함하는 모델 리포터를 제공하는 단계를 더 포함할 수 있다.In one embodiment, the method may further include providing a model reporter including an automatic correction request command for an error that can be automatically corrected based on the automatic error correction rule based on the verification result.

상기 모델 리포터를 제공하는 단계는 상기 검증 모델 컴포넌트에 대하여 오류가 발생했는지 여부를 체크하고, 상기 오류가 발생하였다면 상기 오류 자동 수정 규칙의 설정 여부를 체크하여 자동 또는 수동 오류 수정을 결정하는 단계를 포함할 수 있다.The step of providing the model reporter may include checking whether an error has occurred with respect to the verification model component, and, if the error has occurred, checking whether the automatic error correction rule is set or not to determine automatic or manual error correction can do.

상기 모델 리포터를 제공하는 단계는 상기 검증 모델 컴포넌트에 대하여 상기 수동 오류 수정이 결정되면 상기 모델 리포터에 상기 오류가 발생한 코드로 바로 갈 수 있는 오류 위치 가기 명령을 포함시키는 단계를 더 포함할 수 있다.The step of providing the model reporter may further include, when the manual error correction is determined for the verification model component, including an error location instruction that can go directly to the error code in the model reporter.

일 실시예에서, 상기 검증 모델 컴포넌트를 결정하는 단계는 상기 모델 다이어그램의 식별자와 상기 검증 모델 컴포넌트를 연관하여 모델 데이터베이스에 등록하는 단계를 포함할 수 있다.In one embodiment, determining the verification model component may include registering the verification model component with an identifier of the model diagram in a model database.

상기 검증 규칙을 수신하는 단계는 상기 검증 규칙에 대한 실행 조건, 실행 순서 및 자동 수정 규칙 설정을 결정하는 단계를 포함할 수 있다.The step of receiving the verification rule may include determining an execution condition, an execution order, and an automatic modification rule setting for the verification rule.

일 실시예에서, 상기 검증 모델 컴포넌트를 결정하는 단계는 상기 적어도 하나의 모델 컴포넌트를 분석하여 상기 검증 모델 컴포넌트가 존재하면 상기 검증 모델 컴포넌트에 대한 모델 타입을 결정하는 단계를 포함할 수 있다.In one embodiment, determining the verification model component may include analyzing the at least one model component to determine a model type for the verification model component if the verification model component is present.

상기 검증 모델 컴포넌트에 대한 검증을 수행하는 단계는 상기 검증 모델 컴포넌트가 클래스(Class) 타입, 패키지(Package) 타입 또는 메서드(Method) 타입 중 하나에 해당하면 해당 타입에 따른 기본 검증 규칙뿐만 아니라 상기 수신된 검증 규칙을 참조하여 해당 검증 모델 컴포넌트에 대한 검증을 수행하는 단계를 더 포함할 수 있다.Wherein the verification of the verification model component comprises: if the verification model component corresponds to one of a class type, a package type, or a method type, And verifying the verification model component by referring to the verification rule.

실시예들 중에서, 모델링 코드 검증 장치는 프로그램을 실행하는 적어도 하나의 프로세서 및 상기 프로그램을 저장하는 적어도 하나의 메모리를 포함하고, 상기 프로그램은 모델 다이어그램에 있는 적어도 하나의 모델 컴포넌트 중 검증 모델 컴포넌트를 결정하는 검증 모델 컴포넌트 저장 모듈, 상기 검증 모델 컴포넌트에 대한 검증 규칙을 수신하는 검증 규칙 관리 모듈 및 상기 모델 다이어그램이 완성되거나 또는 상기 모델 다이어그램에 대한 검증 요구가 수신되면 상기 수신된 검증 규칙을 기초로 상기 검증 모델 컴포넌트에 대한 검증을 수행하는 검증 수행 모듈을 포함한다.Among the embodiments, the modeling code verifying apparatus comprises at least one processor for executing a program and at least one memory for storing the program, and the program determines a verification model component of at least one model component in the model diagram A validation rule management module for receiving a validation rule for the validation model component; and a verification module for receiving the validation rule based on the received validation rule when the model diagram is completed or a validation request for the model diagram is received, And a verification module for performing verification of the model component.

일 실시예에서, 상기 검증 규칙 관리 모듈은 사용자의 선택에 따라 상기 검증 모델 컴포넌트의 오류 자동 수정 규칙을 부가할 수 있다.In one embodiment, the verification rule management module may add an error correction rule of the verification model component according to a user's selection.

상기 검증 결과를 기초로 오류 자동 수정 규칙에 의하여 자동으로 수정 가능한 오류에 대하여 자동 수정 요청 명령을 포함하는 모델 리포터를 제공하는 모델 리포터 제공 모듈을 더 포함할 수 있다.And a model reporter providing module for providing a model reporter including an automatic correction request command for an error that can be automatically corrected based on the automatic error correction rule based on the verification result.

상기 모델 리포터 제공 모듈은 상기 검증 모델 컴포넌트에 대하여 오류가 발생했는지 여부를 체크하고, 상기 오류가 발생하였다면 상기 오류 자동 수정 규칙의 설정 여부를 체크하여 자동 또는 수동 오류 수정을 결정할 수 있다.The model reporter providing module may check whether or not an error has occurred with respect to the verification model component, and may determine automatic or manual error correction by checking whether the error automatic correction rule is set if the error occurs.

상기 모델 리포터 제공 모듈은 상기 검증 모델 컴포넌트에 대하여 상기 수동 오류 수정이 결정되면 상기 모델 리포터에 상기 오류가 발생한 코드로 바로 갈 수 있는 오류 위치 가기 명령을 포함시킬 수 있다.The model reporter providing module may include an error location command that allows the model reporter to directly go to the error code if the manual error correction is determined for the verification model component.

일 실시예에서, 상기 검증 규칙 관리 모듈은 상기 검증 규칙에 대한 실행 조건, 실행 순서 및 자동 수정 규칙 설정을 결정할 수 있다. 상기 검증 수행 모듈은 상기 적어도 하나의 모델 컴포넌트를 분석하여 상기 검증 모델 컴포넌트가 존재하면 상기 검증 모델 컴포넌트에 대한 모델 타입을 결정할 수 있다.In one embodiment, the verification rule management module may determine an execution condition, an execution order, and an automatic modification rule setting for the verification rule. The verification module may analyze the at least one model component to determine a model type for the verification model component if the verification model component is present.

실시예들 중에서, 모델링 코드 검증 방법에 관한 컴퓨터 프로그램을 저장하는 기록매체는 모델 다이어그램에 있는 적어도 하나의 모델 컴포넌트 중 검증 모델 컴포넌트를 결정하는 기능, 상기 검증 모델 컴포넌트에 대한 검증 규칙을 수신하는 기능 및 상기 모델 다이어그램이 완성되거나 또는 상기 모델 다이어그램에 대한 검증 요구가 수신되면 상기 수신된 검증 규칙을 기초로 상기 검증 모델 컴포넌트에 대한 검증을 수행하는 기능을 포함한다.
Among the embodiments, a recording medium storing a computer program for a modeling code verification method includes a function of determining a verification model component among at least one model component in a model diagram, a function of receiving a verification rule for the verification model component, And performing verification of the verification model component based on the received verification rule when the model diagram is completed or a verification request for the model diagram is received.

본 발명의 일 실시예에 따른 모델링 코드 검증 방법은 소프트웨어 모델의 엘리먼트 별로 규칙을 정의하여 소프트웨어 모델에 대한 검증을 수행할 수 있다.The modeling code verification method according to an embodiment of the present invention can perform a verification of a software model by defining rules for each element of the software model.

본 발명의 일 실시예에 따른 모델링 코드 검증 방법은 사용자에 의해 등록된 유연하고 다양한 검증 규칙을 기초로 사용자가 원하는 소프트웨어 구조를 생성할 수 있다.The modeling code verification method according to an embodiment of the present invention can generate a software structure desired by a user based on flexible and various verification rules registered by a user.

본 발명의 일 실시예에 따른 모델링 코드 검증 방법은 소프트웨어 모델의 엘리먼트에 대한 오류를 자동으로 수정하여 사용자의 편의성을 향상시킬 수 있다.
The modeling code verification method according to an embodiment of the present invention can improve the convenience of the user by automatically correcting errors of the elements of the software model.

도 1은 본 발명의 일 실시예에 따른 모델링 코드 검증 장치를 설명하는 블록도이다.
도 2는 도 1에 있는 모델링 코드 검증 장치에서 수행되는 모델링 코드 검증 과정을 설명하는 순서도이다.
도 3은 도 1에 있는 모델링 코드 검증 장치에서 수행되는 검증 모델 컴포넌트 결정 화면을 예시한 도면이다.
도 4는 도 1에 있는 모델링 코드 검증 장치에서 수행되는 검증 모델 컴포넌트에 대한 검증 규칙 정의 화면을 예시한 도면이다.
도 5는 도 1에 있는 모델링 코드 검증 장치에서 수행되는 검증 규칙에 대한 실행 조건 및 실행 순서를 결정하는 것을 예시한 도면이다.
도 6은 도 1에 있는 모델링 코드 검증 장치에서 제공하는 모델 리포터를 예시한 도면이다.1 is a block diagram illustrating a modeling code verifying apparatus according to an embodiment of the present invention.
2 is a flowchart illustrating a modeling code verification process performed in the modeling code verification apparatus shown in FIG.
3 is a diagram illustrating a verification model component determination screen performed by the modeling code verification apparatus shown in FIG.
4 is a diagram illustrating a verification rule definition screen for a verification model component performed in the modeling code verification apparatus shown in FIG.
5 is a diagram illustrating the determination of the execution condition and execution order for the verification rule performed in the modeling code verification apparatus of FIG.
6 is a diagram illustrating a model reporter provided by the modeling code verifying apparatus shown in FIG.

본 발명에 관한 설명은 구조적 내지 기능적 설명을 위한 실시예에 불과하므로, 본 발명의 권리범위는 본문에 설명된 실시예에 의하여 제한되는 것으로 해석되어서는 아니 된다. 즉, 실시예는 다양한 변경이 가능하고 여러 가지 형태를 가질 수 있으므로 본 발명의 권리범위는 기술적 사상을 실현할 수 있는 균등물들을 포함하는 것으로 이해되어야 한다. 또한, 본 발명에서 제시된 목적 또는 효과는 특정 실시예가 이를 전부 포함하여야 한다거나 그러한 효과만을 포함하여야 한다는 의미는 아니므로, 본 발명의 권리범위는 이에 의하여 제한되는 것으로 이해되어서는 아니 될 것이다.The description of the present invention is merely an example for structural or functional explanation, and the scope of the present invention should not be construed as being limited by the embodiments described in the text. That is, the embodiments are to be construed as being variously embodied and having various forms, so that the scope of the present invention should be understood to include equivalents capable of realizing technical ideas. Also, the purpose or effect of the present invention should not be construed as limiting the scope of the present invention, since it does not mean that a specific embodiment should include all or only such effect.

한편, 본 출원에서 서술되는 용어의 의미는 다음과 같이 이해되어야 할 것이다.Meanwhile, the meaning of the terms described in the present application should be understood as follows.

"제1", "제2" 등의 용어는 하나의 구성요소를 다른 구성요소로부터 구별하기 위한 것으로, 이들 용어들에 의해 권리범위가 한정되어서는 아니 된다. 예를 들어, 제1 구성요소는 제2 구성요소로 명명될 수 있고, 유사하게 제2 구성요소도 제1 구성요소로 명명될 수 있다.The terms "first "," second ", and the like are intended to distinguish one element from another, and the scope of the right should not be limited by these terms. For example, the first component may be referred to as a second component, and similarly, the second component may also be referred to as a first component.

어떤 구성요소가 다른 구성요소에 "연결되어"있다고 언급된 때에는, 그 다른 구성요소에 직접적으로 연결될 수도 있지만, 중간에 다른 구성요소가 존재할 수도 있다고 이해되어야 할 것이다. 반면에, 어떤 구성요소가 다른 구성요소에 "직접 연결되어"있다고 언급된 때에는 중간에 다른 구성요소가 존재하지 않는 것으로 이해되어야 할 것이다. 한편, 구성요소들 간의 관계를 설명하는 다른 표현들, 즉 "~사이에"와 "바로 ~사이에" 또는 "~에 이웃하는"과 "~에 직접 이웃하는" 등도 마찬가지로 해석되어야 한다.It is to be understood that when an element is referred to as being "connected" to another element, it may be directly connected to the other element, but there may be other elements in between. On the other hand, when an element is referred to as being "directly connected" to another element, it should be understood that there are no other elements in between. On the other hand, other expressions that describe the relationship between components, such as "between" and "between" or "neighboring to" and "directly adjacent to" should be interpreted as well.

단수의 표현은 문맥상 명백하게 다르게 뜻하지 않는 한 복수의 표현을 포함하는 것으로 이해되어야 하고, "포함하다"또는 "가지다" 등의 용어는 실시된 특징, 숫자, 단계, 동작, 구성요소, 부분품 또는 이들을 조합한 것이 존재함을 지정하려는 것이며, 하나 또는 그 이상의 다른 특징이나 숫자, 단계, 동작, 구성요소, 부분품 또는 이들을 조합한 것들의 존재 또는 부가 가능성을 미리 배제하지 않는 것으로 이해되어야 한다.It is to be understood that the singular " include " or "have" are to be construed as including the stated feature, number, step, operation, It is to be understood that the combination is intended to specify that it does not preclude the presence or addition of one or more other features, integers, steps, operations, elements, components, or combinations thereof.

각 단계들에 있어 식별부호(예를 들어, a, b, c 등)는 설명의 편의를 위하여 사용되는 것으로 식별부호는 각 단계들의 순서를 설명하는 것이 아니며, 각 단계들은 문맥상 명백하게 특정 순서를 기재하지 않는 이상 명기된 순서와 다르게 일어날 수 있다. 즉, 각 단계들은 명기된 순서와 동일하게 일어날 수도 있고 실질적으로 동시에 수행될 수도 있으며 반대의 순서대로 수행될 수도 있다.In each step, the identification code (e.g., a, b, c, etc.) is used for convenience of explanation, the identification code does not describe the order of each step, Unless otherwise stated, it may occur differently from the stated order. That is, each step may occur in the same order as described, may be performed substantially concurrently, or may be performed in reverse order.

본 발명은 컴퓨터가 읽을 수 있는 기록매체에 컴퓨터가 읽을 수 있는 코드로서 구현될 수 있고, 컴퓨터가 읽을 수 있는 기록 매체는 컴퓨터 시스템에 의하여 읽혀질 수 있는 데이터가 저장되는 모든 종류의 기록 장치를 포함한다. 컴퓨터가 읽을 수 있는 기록 매체의 예로는 ROM, RAM, CD-ROM, 자기 테이프, 플로피 디스크, 광 데이터 저장 장치 등이 있으며, 또한, 캐리어 웨이브(예를 들어 인터넷을 통한 전송)의 형태로 구현되는 것도 포함한다. 또한, 컴퓨터가 읽을 수 있는 기록 매체는 네트워크로 연결된 컴퓨터 시스템에 분산되어, 분산 방식으로 컴퓨터가 읽을 수 있는 코드가 저장되고 실행될 수 있다.The present invention can be embodied as computer-readable code on a computer-readable recording medium, and the computer-readable recording medium includes all kinds of recording devices for storing data that can be read by a computer system . Examples of the computer-readable recording medium include a ROM, a RAM, a CD-ROM, a magnetic tape, a floppy disk, an optical data storage device, and the like, and also implemented in the form of a carrier wave (for example, transmission over the Internet) . In addition, the computer-readable recording medium may be distributed over network-connected computer systems so that computer readable codes can be stored and executed in a distributed manner.

여기서 사용되는 모든 용어들은 다르게 정의되지 않는 한, 본 발명이 속하는 분야에서 통상의 지식을 가진 자에 의해 일반적으로 이해되는 것과 동일한 의미를 가진다. 일반적으로 사용되는 사전에 정의되어 있는 용어들은 관련 기술의 문맥상 가지는 의미와 일치하는 것으로 해석되어야 하며, 본 출원에서 명백하게 정의하지 않는 한 이상적이거나 과도하게 형식적인 의미를 지니는 것으로 해석될 수 없다.
All terms used herein have the same meaning as commonly understood by one of ordinary skill in the art to which this invention belongs, unless otherwise defined. Commonly used predefined terms should be interpreted to be consistent with the meanings in the context of the related art and can not be interpreted as having ideal or overly formal meaning unless explicitly defined in the present application.

도 1은 본 발명의 일 실시예에 따른 모델링 코드 검증 장치를 설명하는 블록도이다.1 is a block diagram illustrating a modeling code verifying apparatus according to an embodiment of the present invention.

도 1을 참조하면, 모델링 코드 검증 장치(100)는 검증 모델 컴포넌트 결정 모듈(110), 검증 규칙 관리 모듈(120), 검증 수행 모듈(130), 모델 리포터 제공 모듈(140) 및 제어 모듈(150)을 포함한다.1, the modeling code verification apparatus 100 includes a verification model component determination module 110, a verification rule management module 120, a verification execution module 130, a model reporter provision module 140, and a control module 150 ).

검증 모델 컴포넌트 결정 모듈(110)은 모델 다이어그램에 있는 적어도 하나의 모델 컴포넌트 중 검증 모델 컴포넌트를 결정한다. 모델 다이어그램은 특정 모델링 언어 기반의 적어도 하나의 모델 컴포넌트로 구현될 수 있다. 검증 모델 컴포넌트는 적어도 하나의 모델 컴포넌트 중 기본 검증 규칙 이외에 추가적인 검증 규칙이 필요하다고 판단되는 모델링 코드에 해당한다.The verification model component determination module 110 determines a verification model component of at least one model component in the model diagram. The model diagram may be implemented as at least one model component based on a particular modeling language. The verification model component corresponds to a modeling code that is determined to require additional verification rules in addition to the basic verification rules of at least one model component.

검증 모델 컴포넌트 결정 모듈(110)은 모델 다이어그램을 분석하여 검증 모델 컴포넌트의 존재 여부를 체크할 수 있다. 일 실시예에서, 검증 모델 컴포넌트 결정 모듈(110)은 Top-Down 방식으로 모델 다이어그램을 스캔하여 모델 컴포넌트가 검증 모델 컴포넌트에 해당하는지 체크할 수 있다. 예를 들어, 검증 모델 컴포넌트 결정 모듈(110)은 특정 모델링 도구 상에 제1 모델 다이어그램 및 제2 모델 다이어그램이 작성되어 있는 경우 제1 모델 다이어그램을 분석하여 검증 모델 컴포넌트의 존재 여부를 체크하고 제1 모델 다이어그램에 검증 모델 컴포넌트가 존재하지 않으면 제2 모델 다이어그램을 분석할 수 있다. 즉, 검증 모델 컴포넌트 결정 모듈(110)은 검증 모델 컴포넌트가 존재하는 모델 다이어그램에 대해서만 검증 규칙을 정의할 수 있도록 관리할 수 있다.The verification model component determination module 110 can analyze the model diagram and check whether the verification model component exists. In one embodiment, the verification model component determination module 110 may scan the model diagram in a top-down fashion to check if the model component corresponds to a verification model component. For example, when a first model diagram and a second model diagram are created on a specific modeling tool, the verification model component determination module 110 analyzes a first model diagram to check whether a verification model component exists, If there is no verification model component in the model diagram, the second model diagram can be analyzed. That is, the verification model component determination module 110 can manage the verification rule definition only for the model diagram in which the verification model component exists.

검증 모델 컴포넌트 결정 모듈(110)은 적어도 하나의 모델 컴포넌트를 분석하여 검증 모델 컴포넌트가 존재하면 검증 모델 컴포넌트에 대한 모델 타입을 결정할 수 있다. 일 실시예에서, 모델 타입은 클래스(Class) 타입, 패키지(Package) 타입 또는 메서드(Method) 타입 중 하나에 해당할 수 있다.The verification model component determination module 110 may analyze at least one model component to determine the model type for the verification model component if the verification model component is present. In one embodiment, the model type may correspond to one of a Class type, a Package type, or a Method type.

검증 모델 컴포넌트 결정 모듈(110)은 모델 다이어그램의 식별자와 검증 모델 컴포넌트를 연관하여 모델 데이터베이스에 등록할 수 있다. 모델 다이어그램의 식별자는 모델 다이어그램 간의 구별을 위해 모델 다이어그램 각각에 부여되는 고유 식별 부호에 해당한다. 일 실시예에서, 모델 데이터베이스는 복수의 모델 다이어그램들로 구현되는 모델링 도구 별로 정의될 수 있다.The verification model component determination module 110 can register the verification model component with the identifier of the model diagram in the model database. The identifiers of the model diagram correspond to the unique identification codes assigned to each of the model diagrams for distinction between model diagrams. In one embodiment, the model database may be defined for each modeling tool implemented with a plurality of model diagrams.

검증 규칙 관리 모듈(120)은 검증 모델 컴포넌트에 대한 검증 규칙을 수신한다. 검증 규칙 관리 모듈(120)은 검증 모델 컴포넌트 단위로 검증 규칙을 입력받을 수 있다. 일 실시예에서, 검증 규칙 관리 모듈(120)은 하나의 검증 모델 컴포넌트에 대한 복수의 검증 규칙들을 입력받을 수 있다.The verification rule management module 120 receives the verification rules for the verification model component. The verification rule management module 120 can receive verification rules on a verification model component basis. In one embodiment, the verification rule management module 120 may receive a plurality of verification rules for one verification model component.

검증 규칙 관리 모듈(120)은 검증 모델 컴포넌트의 검증 규칙에 대한 자동 수정 규칙 설정을 결정할 수 있다. 자동 수정 규칙 여부는 사용자로부터 입력받을 수 있다. 일 실시예에서, 검증 규칙 관리 모듈(120)은 사용자에 의해 자동 수정 규칙이 설정되면 사용자의 선택에 따라 검증 모델 컴포넌트의 오류 자동 수정 규칙을 부가할 수 있다. 오류 자동 수정 규칙은 검증 모델 컴포넌트에 발생된 오류에 대해 자동적으로 수정하도록 설정된 특정 모델링 코드에 해당할 수 있다.The verification rule management module 120 may determine the automatic modification rule setting for the verification rule of the verification model component. Whether or not the automatic modification rule is accepted can be input from the user. In one embodiment, the verification rule management module 120 may add an automatic error correction rule of the verification model component according to the user's selection if the automatic modification rule is set by the user. An error correction rule may correspond to a specific modeling code that is set to automatically correct for errors that occur in the verification model component.

검증 규칙 관리 모듈(120)은 검증 모델 컴포넌트의 검증 규칙에 대한 실행 조건 및 실행 순서를 결정할 수 있다. 실행 조건은 조건문에 따라 복수의 흐름선들 중에서 하나의 흐름선을 따라가도록 설정될 수 있고, 실행 순서는 방향성을 가지는 흐름선을 통해 지정될 수 있다. 일 실시예에서, 검증 규칙은 하나의 시작 기호, 하나의 종료 기호, 복수의 검증 규칙 기호들, 적어도 하나의 실행 조건 기호 및 복수의 실행 순서 기호들을 포함할 수 있다.The verification rule management module 120 can determine the execution conditions and the execution order for the verification rule of the verification model component. The execution condition may be set to follow one flow line among the plurality of flow lines according to the conditional statement, and the execution order may be designated through the flow line having the directionality. In one embodiment, the verification rules may include one start sign, one end sign, a plurality of verification rule symbols, at least one execution condition signature, and a plurality of execution sequence symbols.

일 실시예에서, 검증 규칙 관리 모듈(120)은 모델 다이어그램에 있는 제1 검증 모델 컴포넌트에 대한 검증 규칙과 제2 검증 모델 컴포넌트에 대한 검증 규칙이 동일하면 각각의 검증 규칙에 대한 실행 조건 및 실행 순서를 동일하게 결정할 수 있다.In one embodiment, if the verification rules for the first verification model component in the model diagram and the verification rules for the second verification model component are the same, then the verification rule management module 120 determines execution conditions and execution order Can be determined in the same manner.

다른 일 실시예에서, 검증 규칙 관리 모듈(120)은 모델 다이어그램에 있는 제1 검증 모델 컴포넌트에 대한 검증 규칙과 제2 검증 모델 컴포넌트에 대한 검증 규칙이 동일하더라도 각각의 검증 규칙에 대한 실행 조건 및 실행 순서를 다르게 결정할 수 있다.In another embodiment, the verification rule management module 120 determines whether the verification rules for the first verification model component in the model diagram and the verification rules for the second verification model component are the same, The order can be determined differently.

검증 수행 모듈(130)은 모델 다이어그램이 완성되거나 또는 모델 다이어그램에 대한 검증 요구가 수신되면 수신한 검증 규칙을 기초로 검증 모델 컴포넌트에 대한 검증을 수행한다.The verification performing module 130 performs verification of the verification model component based on the received verification rule when the model diagram is completed or a verification request for the model diagram is received.

일 실시예에서, 검증 수행 모듈(130)은 검증 모델 컴포넌트에 대한 모델 타입에 따른 기본 검증 규칙뿐만 아니라 수신한 검증 규칙을 참조하여 해당 검증 모델 컴포넌트에 대한 검증을 수행할 수 있다. 기본 검증 규칙은 모델 다이어그램 설계시 모델 타입 별로 정의될 수 있다. 검증 수행 모듈(130)은 검증 모델 컴포넌트에 대한 모델 타입에 따라 검증을 수행하고 모델 타입 별로 검증 결과를 저장할 수 있다.In one embodiment, the verification performing module 130 may verify the verification model component by referring to the received verification rule as well as the basic verification rule according to the model type of the verification model component. The basic verification rules can be defined for each model type when designing the model diagram. The verification performing module 130 may perform verification according to the model type of the verification model component and store the verification result for each model type.

검증 수행 모듈(130)은 기본 검증 규칙을 기초로 검증 모델 컴포넌트를 제외한 적어도 하나의 모델 컴포넌트에 대한 검증을 수행할 수 있다. 즉, 검증 수행 모듈(130)은 모델 다이어그램을 스캔하여 검증 모델 컴포넌트를 검증 규칙에 따라 검증하고 검증 모델 컴포넌트를 제외한 적어도 하나의 모델 컴포넌트를 기존 검증 규칙에 따라 검증할 수 있다.The verification performing module 130 may perform verification of at least one model component other than the verification model component based on the basic verification rule. That is, the verification performing module 130 may scan the model diagram to verify the verification model component according to the verification rule, and verify at least one model component except the verification model component according to the existing verification rule.

모델 리포터 제공 모듈(140)은 검증 모델 컴포넌트에 대하여 오류가 발생했는지 여부를 체크하고, 오류가 발생하였다면 오류 자동 수정 규칙의 설정 여부를 체크하여 자동 또는 수동 오류 수정을 결정할 수 있다. 모델 리포터 제공 모듈(140)은 검증 모델 컴포넌트에 오류 자동 수정 규칙이 설정되어 있으면 자동 오류 수정으로 결정하고, 검증 모델 컴포넌트에 오류 자동 수정 규칙이 설정되어 있지 않으면 수동 오류 수정으로 결정할 수 있다.The model reporter providing module 140 may check whether or not an error has occurred with respect to the verification model component. If an error has occurred, the model reporter providing module 140 may determine whether automatic or manual error correction is performed by checking whether the automatic error correction rule is set. The model reporter providing module 140 can determine the automatic error correction if the automatic error correction rule is set in the verification model component and the manual error correction if the automatic error correction rule is not set in the verification model component.

모델 리포터 제공 모듈(140)은 검증 모델 컴포넌트에 대한 검증 결과를 기초로 모델 리포터를 생성하여 제공할 수 있다. 모델 리포터는 오류 상태(예를 들어, Warning, Error)에 따라 검증 모델 컴포넌트가 구분되어 검증 규칙 명, 검증 모델 컴포넌트 명 및 오류 수정 정보를 포함하도록 구현될 수 있다.The model reporter providing module 140 can generate and provide a model reporter based on the verification result of the verification model component. The model reporter can be implemented to include verification rule names, verification model component names, and error correction information in accordance with error conditions (for example, Warning, Error).

모델 리포터 제공 모듈(140)은 오류 자동 수정 규칙에 의하여 자동으로 수정 가능한 오류에 대하여 자동 수정 요청 명령을 포함하는 모델 리포터를 제공한다. 자동 수정 요청 명령은 해당 오류 자동 수정 규칙과 연결되어, 사용자로부터 이벤트를 수신하면 해당 오류 자동 수정 규칙에 따라 검증 모델 컴포넌트에 대한 오류를 수정하도록 할 수 있다.The model reporter providing module 140 provides a model reporter including an automatic correction request command for an error that can be automatically corrected by the automatic error correction rule. The automatic modification request command is associated with the automatic error correction rule, and when an event is received from the user, the error correction module can correct the error of the verification model component according to the automatic error correction rule.

모델 리포터 제공 모듈(140)은 검증 모델 컴포넌트에 대하여 수동 오류 수정이 결정되면 오류가 발생한 코드로 바로 갈 수 있는 오류 위치 가기 명령을 모델 리포터에 포함시킬 수 있다. 오류 위치 가기 명령은 해당 검증 모델 컴포넌트와 연결되어, 사용자로부터 이벤트를 수신하면 해당 검증 모델 컴포넌트가 작성된 위치를 사용자에게 제공할 수 있다.The model reporter providing module 140 may include in the model reporter an error locator command that can go directly to the error code if manual error correction is determined for the verification model component. The error locator command is connected to the verification model component, and upon receipt of the event from the user, the error locator command can provide the location where the verification model component is created to the user.

제어 모듈(150)은 모델링 코드 검증 장치(100)의 전체적인 동작을 제어하고, 검증 모델 컴포넌트 결정 모듈(110), 검증 규칙 관리 모듈(120), 검증 수행 모듈(130) 및 모델 리포터 제공 모듈(140) 간의 제어 흐름 또는 데이터 흐름을 제어할 수 있다.
The control module 150 controls the overall operation of the modeling code verification apparatus 100 and includes a verification model component determination module 110, a verification rule management module 120, a verification performing module 130, and a model reporter providing module 140 ) Or control flow of data between them.

도 2는 도 1에 있는 모델링 코드 검증 장치에서 수행되는 모델링 코드 검증 과정을 설명하는 순서도이다.2 is a flowchart illustrating a modeling code verification process performed in the modeling code verification apparatus shown in FIG.

도 2를 참조하면, 검증 모델 컴포넌트 결정 모듈(110)은 모델 다이어그램에 있는 적어도 하나의 모델 컴포넌트 중 검증 모델 컴포넌트를 결정한다(단계 S201).Referring to FIG. 2, the verification model component determination module 110 determines a verification model component among at least one model component in the model diagram (step S201).

도 3에서, 검증 모델 컴포넌트 결정 모듈(110)은 사용자에게 복수의 모델 컴포넌트들을 포함하는 모델 컴포넌트 리스트(310)를 제공하여 사용자로부터 적어도 하나의 검증 모델 컴포넌트(320)(예를 들어, 제5 모델 컴포넌트, 제10 모델 컴포넌트)를 입력받을 수 있다. 여기에서, 검증 모델 컴포넌트 결정 모듈(110)은 모델 컴포넌트를 삭제하거나 추가할 수 있는 삭제 및 추가 기능을 제공할 수 있다.In Figure 3, the verification model component determination module 110 provides the user with a list of model components 310 that includes a plurality of model components to provide at least one verification model component 320 (e.g., Component, tenth model component) can be input. Here, the verification model component determination module 110 may provide deletion and additional functions that can delete or add model components.

일 실시예에서, 검증 모델 컴포넌트 결정 모듈(110)은 모델 다이어그램을 분석하여 검증 모델 컴포넌트의 존재 여부를 체크할 수 있다. 검증 모델 컴포넌트 결정 모듈(110)은 검증 모델 컴포넌트가 존재하는 모델 다이어그램에 대해서만 검증 규칙을 정의할 수 있도록 관리할 수 있다.In one embodiment, the verification model component determination module 110 may analyze the model diagram to check for the presence of a verification model component. The verification model component determination module 110 can manage the verification rule definition only for the model diagram in which the verification model component exists.

검증 모델 컴포넌트 결정 모듈(110)은 적어도 하나의 모델 컴포넌트를 분석하여 검증 모델 컴포넌트가 존재하면 검증 모델 컴포넌트에 대한 모델 타입을 결정할 수 있다. 모델 타입은 클래스(Class) 타입, 패키지(Package) 타입 또는 메서드(Method) 타입 중 하나에 해당할 수 있다. 여기에서, 모델 타입은 클래스(Class) 타입, 패키지(Package) 타입 또는 메서드(Method) 타입으로 한정되지 않고, 모델링 다이어그램 상의 다른 타입으로도 구현 가능하다. 예를 들어, 검증 모델 컴포넌트 결정 모듈(110)은 검증 모델 컴포넌트가 클래스 타입에 해당하면 클래스 타입에 대한 기본 검증 규칙과 사용자로부터 수신한 검증 규칙을 기초로 검증 모델 컴포넌트에 대한 오류 여부를 결정할 수 있다. 다른 예를 들어, 검증 모델 컴포넌트 결정 모듈(110)은 검증 모델 컴포넌트가 패키지 타입에 해당하면 패키지 타입에 대한 기본 검증 규칙과 사용자로부터 수신한 검증 규칙을 기초로 검증 모델 컴포넌트에 대한 오류 여부를 결정할 수 있다. 또 다른 예를 들어, 검증 모델 컴포넌트 결정 모듈(110)은 검증 모델 컴포넌트가 메서드 타입에 해당하면 메서드 타입에 대한 기본 검증 규칙과 사용자로부터 수신한 검증 규칙을 기초로 검증 모델 컴포넌트에 대한 오류 여부를 결정할 수 있다.The verification model component determination module 110 may analyze at least one model component to determine the model type for the verification model component if the verification model component is present. The model type may correspond to one of a class type, a package type, and a method type. Here, the model type is not limited to a class type, a package type, or a method type, but can be implemented by other types on the modeling diagram. For example, if the verification model component corresponds to a class type, the verification model component determination module 110 can determine whether the verification model component is error based on the basic verification rule for the class type and the verification rule received from the user . For example, if the verification model component corresponds to a package type, the verification model component determination module 110 may determine whether the verification model component is error based on a basic verification rule for the package type and a verification rule received from the user have. For example, if the verification model component corresponds to a method type, the verification model component determination module 110 determines whether the verification model component is an error based on a basic verification rule for the method type and a verification rule received from the user .

검증 규칙 관리 모듈(120)은 검증 모델 컴포넌트에 대해 검증 규칙을 수신한다(단계 S202).The verification rule management module 120 receives verification rules for the verification model component (step S202).

일 실시예에서, 검증 규칙 관리 모듈(120)은 검증 모델 컴포넌트의 검증 규칙에 대한 자동 수정 규칙 설정을 결정할 수 있다. 예를 들어, 도 4에서, 검증 규칙 관리 모듈(120)은 사용자에 의해 모델 컴포넌트 중 검증 모델 컴포넌트 [제1 모델 컴포넌트]가 선택되면 검증 모델 컴포넌트 [제1 모델 컴포넌트]와 연관된 적어도 하나의 검증 규칙(예를 들어, 제1 검증 규칙에 대한 검증 규칙 [/PackageRule01.java], 제2 검증 규칙에 대한 검증 규칙 [/PackageRule02.java], 제3 검증 규칙에 대한 검증 규칙 [/PackageRule03.java], 제4 검증 규칙에 대한 검증 규칙 [/PackageRule04.java])을 입력받고 자동 수정 규칙의 설정이 필요한 검증 모델 컴포넌트의 오류 자동 수정 규칙(예를 들어, 제1 모델 컴포넌트의 제1 검증 규칙에 대한 오류 자동 수정 규칙 [/PackageRule01/Q_F01.java], 제1 모델 컴포넌트의 제2 검증 규칙에 대한 오류 자동 수정 규칙 [/PackageRule02/Q_F02.java], 제1 모델 컴포넌트의 제4 검증 규칙에 대한 오류 자동 수정 규칙 [/PackageRule04/Q_F04.java])을 부가할 수 있다.In one embodiment, the verification rule management module 120 may determine the automatic modification rule settings for the verification rules of the verification model component. For example, in FIG. 4, the verification rule management module 120 determines that at least one verification rule associated with a verification model component [first model component] is selected when a verification model component [first model component] (For example, the verification rule [/PackageRule01.java] for the first verification rule, the verification rule [/PackageRule02.java] for the second verification rule, the verification rule [/PackageRule03.java] for the third verification rule, (Eg, verification rule [/PackageRule04.java] for the fourth verification rule) and receives an error automatic correction rule (for example, an error for the first verification rule of the first model component Automatic correction rule [/PackageRule01/Q_F01.java], automatic correction rule for error [/PackageRule02/Q_F02.java] for the second verification rule of the first model component, automatic correction of error for the fourth verification rule of the first model component Rule ([/PackageRule04/Q_F04.java]) can be added.

검증 규칙 관리 모듈(120)은 검증 모델 컴포넌트의 검증 규칙에 대한 실행 조건 및 실행 순서를 결정할 수 있다. 예를 들어, 도 5에서, 검증 규칙 관리 모듈(120)은 검증 모델 컴포넌트의 제1 검증 규칙, 제2 검증 규칙, 제3 검증 규칙, 제4 검증 규칙에 대한 실행 조건(510) 및 실행 순서(520)를 사용자로부터 수신할 수 있다. 구체적으로, 검증 규칙 관리 모듈(120)은 제1 검증 규칙이 [True]에 해당하면 제2 검증 규칙이 수행되도록 실행 조건(510)과 실행 순서(520)를 결정하고, 제1 검증 규칙이 [False]에 해당하면 제4 검증 규칙이 수행되도록 실행 조건(510)과 실행 순서(520)를 결정할 수 있다.The verification rule management module 120 can determine the execution conditions and the execution order for the verification rule of the verification model component. For example, in FIG. 5, the verification rule management module 120 determines whether or not to execute the verification rule 510 based on the first verification rule, the second verification rule, the third verification rule, the fourth verification rule 510, 520 from the user. Specifically, the verification rule management module 120 determines the execution condition 510 and the execution order 520 so that the second verification rule is performed when the first verification rule is true, and when the first verification rule is [ False], the execution condition 510 and the execution order 520 can be determined so that the fourth verification rule is executed.

검증 수행 모듈(130)은 모델 다이어그램이 완성되면 수신한 검증 규칙을 기초로 검증 모델 컴포넌트에 대한 검증을 수행한다(단계 S203 및 단계 S205).When the model diagram is completed, the verification performing module 130 performs verification of the verification model component based on the received verification rules (steps S203 and S205).

검증 수행 모듈(130)은 모델 다이어그램이 완성되지 않은 상태에서 모델 다이어그램에 대한 검증 요구가 수신되면 수신한 검증 규칙을 기초로 검증 모델 컴포넌트에 대한 검증을 수행한다(단계 S204 및 단계 S205).When the verification request for the model diagram is received while the model diagram is not completed, the verification performing module 130 performs verification of the verification model component based on the received verification rule (steps S204 and S205).

모델 리포터 제공 모듈(140)은 오류 자동 수정 규칙에 의하여 자동으로 수정 가능한 오류에 대하여 자동 수정 요청 명령을 포함하는 모델 리포터를 제공한다(단계 S206).The model reporter providing module 140 provides a model reporter including an automatic correction request command for an error that can be automatically corrected by the error automatic correction rule (step S206).

일 실시예에서, 모델 리포터 제공 모듈(140)은 검증 모델 컴포넌트에 대하여 오류가 발생했는지 여부를 체크하고, 오류가 발생하였다면 오류 자동 수정 규칙의 설정 여부를 체크하여 자동 또는 수동 오류 수정을 결정할 수 있다.In one embodiment, the model reporter providing module 140 may check whether an error has occurred with respect to the verification model component and, if an error has occurred, determine whether automatic error correction rules are set or not to determine automatic or manual error correction .

모델 리포터 제공 모듈(140)은 검증 모델 컴포넌트에 대하여 수동 오류 수정이 결정되면 오류가 발생한 코드로 바로 갈 수 있는 오류 위치 가기 명령을 모델 리포터에 포함시킬 수 있다. 예를 들어, 도 6에서, 모델 리포터(610)는 오류 상태 [Warning], [Error]에 따라 검증 규칙 명, 검증 모델 컴포넌트 명 및 오류 수정 정보(자동 수정, 오류 위치 가기)를 포함하도록 구현될 수 있다. 여기에서, 자동 수정은 자동 수정 요청 명령을 포함하고 있고 오류 위치 가기는 오류 위치 가기 명령을 포함하고 있다. 오류 위치 가기는 모델 리포터 상에서 생략 가능하다.
The model reporter providing module 140 may include in the model reporter an error locator command that can go directly to the error code if manual error correction is determined for the verification model component. For example, in FIG. 6, the model reporter 610 is implemented to include a verification rule name, a verification model component name, and error correction information (automatic correction, error locator) according to error states [Warning] and [Error] . Here, the automatic correction includes an automatic correction request command, and the error locator includes an error locator command. The error location can be omitted on the model reporter.

상기에서는 본 출원의 바람직한 실시예를 참조하여 설명하였지만, 해당 기술 분야의 숙련된 당업자는 하기의 특허 청구의 범위에 기재된 본 발명의 사상 및 영역으로부터 벗어나지 않는 범위 내에서 본 출원을 다양하게 수정 및 변경시킬 수 있음을 이해할 수 있을 것이다.
It will be apparent to those skilled in the art that various modifications and variations can be made in the present invention without departing from the spirit and scope of the present invention as defined by the following claims It can be understood that

100: 모델링 코드 검증 장치
110: 검증 모델 컴포넌트 결정 모듈
120: 검증 규칙 관리 모듈
130: 검증 수행 모듈
140: 모델 리포터 제공 모듈
150: 제어 모듈100: Modeling code verification device
110: Verification Model Component Decision Module
120: Validation rule management module
130: Validation module
140: Model Reporter Module
150: Control module

Claims (17)

모델 다이어그램에 있는 적어도 하나의 모델 컴포넌트 중 검증 모델 컴포넌트를 결정하는 단계;
상기 적어도 하나의 모델 컴포넌트에 대한 검증 규칙을 수신하는 단계; 및
상기 모델 다이어그램이 완성되거나 또는 상기 모델 다이어그램에 대한 검증 요구가 수신되면 상기 수신된 검증 규칙을 기초로 상기 검증 모델 컴포넌트에 대한 검증을 수행하는 단계를 포함하는 모델링 코드 검증 방법.
Determining a verification model component of at least one model component in the model diagram;
Receiving a verification rule for the at least one model component; And
And performing verification on the verification model component based on the received verification rule when the model diagram is completed or a verification request for the model diagram is received.
제1항에 있어서, 상기 검증 규칙을 수신하는 단계는
사용자의 선택에 따라 상기 검증 모델 컴포넌트의 오류 자동 수정 규칙을 부가하는 단계를 포함하는 것을 특징으로 하는 모델링 코드 검증 방법.
2. The method of claim 1, wherein receiving the verification rule comprises:
And adding an error automatic correction rule of the verification model component according to a user's selection.
제1항에 있어서,
상기 검증 결과를 기초로 오류 자동 수정 규칙에 의하여 자동으로 수정 가능한 오류에 대하여 자동 수정 요청 명령을 포함하는 모델 리포터를 제공하는 단계를 더 포함하는 것을 특징으로 하는 모델링 코드 검증 방법.
The method according to claim 1,
And providing a model reporter including an automatic correction request command for an error that can be automatically corrected based on the automatic error correction rule based on the verification result.
제3항에 있어서, 상기 모델 리포터를 제공하는 단계는
상기 검증 모델 컴포넌트에 대하여 오류가 발생했는지 여부를 체크하고, 상기 오류가 발생하였다면 상기 오류 자동 수정 규칙의 설정 여부를 체크하여 자동 또는 수동 오류 수정을 결정하는 단계를 포함하는 것을 특징으로 하는 모델링 코드 검증 방법.
4. The method of claim 3, wherein providing the model reporter
Checking whether or not an error has occurred with respect to the verification model component, and if the error has occurred, checking whether or not the error automatic correction rule is set to determine automatic or manual error correction. Way.
제4항에 있어서, 상기 모델 리포터를 제공하는 단계는
상기 검증 모델 컴포넌트에 대하여 상기 수동 오류 수정이 결정되면 상기 모델 리포터에 상기 오류가 발생한 코드로 바로 갈 수 있는 오류 위치 가기 명령을 포함시키는 단계를 더 포함하는 것을 특징으로 하는 모델링 코드 검증 방법.
5. The method of claim 4, wherein providing the model reporter
Further comprising: if the manual error correction is determined for the verification model component, including an error location command that allows the model reporter to go directly to the errored code.
제1항에 있어서, 상기 검증 모델 컴포넌트를 결정하는 단계는
상기 모델 다이어그램의 식별자와 상기 검증 모델 컴포넌트를 연관하여 모델 데이터베이스에 등록하는 단계를 포함하는 것을 특징으로 하는 모델링 코드 검증 방법.
2. The method of claim 1, wherein determining the verification model component comprises:
And registering the verification model component in association with the identifier of the model diagram in the model database.
제1항에 있어서, 상기 검증 규칙을 수신하는 단계는
상기 검증 규칙에 대한 실행 조건, 실행 순서 및 자동 수정 규칙 설정을 결정하는 단계를 포함하는 것을 특징으로 하는 모델링 코드 검증 방법.
2. The method of claim 1, wherein receiving the verification rule comprises:
And determining an execution condition, an execution order, and an automatic modification rule setting for the verification rule.
제1항에 있어서, 상기 검증 모델 컴포넌트를 결정하는 단계는
상기 적어도 하나의 모델 컴포넌트를 분석하여 상기 검증 모델 컴포넌트가 존재하면 상기 검증 모델 컴포넌트에 대한 모델 타입을 결정하는 단계를 포함하는 것을 특징으로 하는 모델링 코드 검증 방법.
2. The method of claim 1, wherein determining the verification model component comprises:
Analyzing the at least one model component to determine a model type for the verification model component if the verification model component is present.
제1항에 있어서, 상기 검증 모델 컴포넌트에 대한 검증을 수행하는 단계는
상기 검증 모델 컴포넌트가 클래스(Class) 타입, 패키지(Package) 타입 또는 메서드(Method) 타입 중 하나에 해당하면 해당 타입에 따른 기본 검증 규칙뿐만 아니라 상기 수신된 검증 규칙을 참조하여 해당 검증 모델 컴포넌트에 대한 검증을 수행하는 단계를 더 포함하는 것을 특징으로 하는 모델링 코드 검증 방법.
2. The method of claim 1, wherein performing verification of the verification model component comprises:
If the verification model component corresponds to one of a class type, a package type, and a method type, the verification module refers to the received verification rule as well as the basic verification rule according to the type, And performing a verification of the modeling code.
프로그램을 실행하는 적어도 하나의 프로세서; 및
상기 프로그램을 저장하는 적어도 하나의 메모리를 포함하고,
상기 프로그램은
모델 다이어그램에 있는 적어도 하나의 모델 컴포넌트 중 검증 모델 컴포넌트를 결정하는 검증 모델 컴포넌트 결정 모듈;
상기 적어도 하나의 모델 컴포넌트에 대한 검증 규칙을 수신하는 검증 규칙 관리 모듈; 및
상기 모델 다이어그램이 완성되거나 또는 상기 모델 다이어그램에 대한 검증 요구가 수신되면 상기 수신된 검증 규칙을 기초로 상기 검증 모델 컴포넌트에 대한 검증을 수행하는 검증 수행 모듈을 포함하는 모델링 코드 검증 장치.
At least one processor for executing a program; And
And at least one memory for storing the program,
The program
A verification model component determination module that determines a verification model component among at least one model component in the model diagram;
A verification rule management module for receiving verification rules for the at least one model component; And
And a verification module for performing verification of the verification model component based on the received verification rule when the model diagram is completed or a verification request for the model diagram is received.
제10항에 있어서, 상기 검증 규칙 관리 모듈은
사용자의 선택에 따라 상기 검증 모델 컴포넌트의 오류 자동 수정 규칙을 부가하는 것을 특징으로 하는 모델링 코드 검증 장치.
The system according to claim 10, wherein the verification rule management module
And adds an error automatic correction rule of the verification model component according to a user's selection.
제10항에 있어서,
상기 검증 결과를 기초로 오류 자동 수정 규칙에 의하여 자동으로 수정 가능한 오류에 대하여 자동 수정 요청 명령을 포함하는 모델 리포터를 제공하는 모델 리포터 제공 모듈을 더 포함하는 것을 특징으로 하는 모델링 코드 검증 장치.
11. The method of claim 10,
And a model reporter providing module for providing a model reporter including an automatic correction request command for an error that can be automatically corrected based on the automatic error correction rule based on the verification result.
제12항에 있어서, 상기 모델 리포터 제공 모듈은
상기 검증 모델 컴포넌트에 대하여 오류가 발생했는지 여부를 체크하고, 상기 오류가 발생하였다면 상기 오류 자동 수정 규칙의 설정 여부를 체크하여 자동 또는 수동 오류 수정을 결정하는 것을 특징으로 하는 모델링 코드 검증 장치.
13. The method of claim 12, wherein the model reporter providing module
Checking whether or not an error has occurred with respect to the verification model component, and checking whether the error automatic correction rule is set if the error occurs, thereby determining automatic or manual error correction.
제13항에 있어서, 상기 모델 리포터 제공 모듈은
상기 검증 모델 컴포넌트에 대하여 상기 수동 오류 수정이 결정되면 상기 모델 리포터에 상기 오류가 발생한 코드로 바로 갈 수 있는 오류 위치 가기 명령을 포함시키는 것을 특징으로 하는 모델링 코드 검증 장치.
14. The method of claim 13, wherein the model reporter providing module
Wherein the model reporter includes an error location top instruction that allows the model reporter to directly go to the code where the error occurred if the manual error correction is determined for the verification model component.
제10항에 있어서, 상기 검증 규칙 관리 모듈은
상기 검증 규칙에 대한 실행 조건, 실행 순서 및 자동 수정 규칙 설정을 결정하는 것을 특징으로 하는 모델링 코드 검증 장치.
The system according to claim 10, wherein the verification rule management module
An execution order, and an automatic modification rule setting for the verification rule.
제10항에 있어서, 상기 검증 모델 컴포넌트 결정 모듈은
상기 적어도 하나의 모델 컴포넌트를 분석하여 상기 검증 모델 컴포넌트가 존재하면 상기 검증 모델 컴포넌트에 대한 모델 타입을 결정하는 것을 특징으로 하는 모델링 코드 검증 장치.
11. The method of claim 10, wherein the verification model component determination module
And analyzing the at least one model component to determine a model type for the verification model component if the verification model component is present.
모델 다이어그램에 있는 적어도 하나의 모델 컴포넌트 중 검증 모델 컴포넌트를 결정하는 기능;
상기 적어도 하나의 모델 컴포넌트에 대한 검증 규칙을 수신하는 기능; 및
상기 모델 다이어그램이 완성되거나 또는 상기 모델 다이어그램에 대한 검증 요구가 수신되면 상기 수신된 검증 규칙을 기초로 상기 검증 모델 컴포넌트에 대한 검증을 수행하는 기능을 포함하는 모델링 코드 검증 방법에 관한 컴퓨터 프로그램을 저장하는 기록매체.
Determining a verification model component of at least one model component in the model diagram;
Receiving a verification rule for the at least one model component; And
Storing a computer program for a modeling code verification method comprising a function for performing verification of the verification model component based on the received verification rule when the model diagram is completed or a verification request for the model diagram is received Recording medium.
KR1020140025439A 2013-11-06 2014-03-04 Method of verifying modeling code, apparatus performing the same and storage media storing the same KR101665962B1 (en)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
KR1020130133956 2013-11-06
KR20130133956 2013-11-06

Publications (2)

Publication Number Publication Date
KR20150052725A true KR20150052725A (en) 2015-05-14
KR101665962B1 KR101665962B1 (en) 2016-10-13

Family

ID=53389556

Family Applications (1)

Application Number Title Priority Date Filing Date
KR1020140025439A KR101665962B1 (en) 2013-11-06 2014-03-04 Method of verifying modeling code, apparatus performing the same and storage media storing the same

Country Status (1)

Country Link
KR (1) KR101665962B1 (en)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20180040363A (en) * 2016-10-12 2018-04-20 삼성전자주식회사 Computing system and method for performing verification of circuit design
CN111857092A (en) * 2020-06-22 2020-10-30 杭州群核信息技术有限公司 Real-time error detection system and method for household parametric model

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR19990068602A (en) 1999-06-03 1999-09-06 김원선 Aaaaa
JP2005292986A (en) * 2004-03-31 2005-10-20 Nomura Research Institute Ltd Ejb component system for task processing
KR20060061759A (en) 2004-08-02 2006-06-08 마이크로소프트 코포레이션 Automatic validation and calibration of transaction-based performance models
KR20110070743A (en) * 2009-12-18 2011-06-24 한국전자통신연구원 Apparatus and system of enterprise management of static analysis tools

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR19990068602A (en) 1999-06-03 1999-09-06 김원선 Aaaaa
JP2005292986A (en) * 2004-03-31 2005-10-20 Nomura Research Institute Ltd Ejb component system for task processing
KR20060061759A (en) 2004-08-02 2006-06-08 마이크로소프트 코포레이션 Automatic validation and calibration of transaction-based performance models
KR20110070743A (en) * 2009-12-18 2011-06-24 한국전자통신연구원 Apparatus and system of enterprise management of static analysis tools

Cited By (3)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR20180040363A (en) * 2016-10-12 2018-04-20 삼성전자주식회사 Computing system and method for performing verification of circuit design
CN111857092A (en) * 2020-06-22 2020-10-30 杭州群核信息技术有限公司 Real-time error detection system and method for household parametric model
CN111857092B (en) * 2020-06-22 2024-04-30 杭州群核信息技术有限公司 Real-time error detection system and method for household parameterized model

Also Published As

Publication number Publication date
KR101665962B1 (en) 2016-10-13

Similar Documents

Publication Publication Date Title
CN106528100B (en) System and method for model-based techniques and processes for safety-critical software development
CN105701008B (en) System and method for test case generation
US20230351084A1 (en) Using line-of-code behavior and relation models to anticipate impact of hardware changes
CN106547678B (en) Method and apparatus for white-box testing
US9965252B2 (en) Method and system for generating stateflow models from software requirements
US20110016451A1 (en) Method and system for generating test cases for a software application
CN109634600B (en) Code generation method based on security extension SysML and AADL models
US20110145799A1 (en) Path-sensitive dataflow analysis including path refinement
CN108319575B (en) Page component checking method, device, server and storage medium
CN103150647B (en) Report file disposal route, server and system
US8898649B2 (en) Application program analysis method, analysis system and recording medium for identifying a contributing factor for an invalid operation of an application program
CN104375934A (en) Method for testing reliability of Android mobile phone software
CN111782207A (en) Method, device and equipment for generating task stream code and storage medium
CN109753639B (en) Front-background unified verification method and device, storage medium and electronic equipment
KR101665962B1 (en) Method of verifying modeling code, apparatus performing the same and storage media storing the same
KR20130096033A (en) Computer system and siglature verification server
CN114091383A (en) Test sequence generation method, device and system and related equipment
US10606569B2 (en) Declarative configuration elements
KR101510752B1 (en) Method and apparatus for automated validation of semiconductor process recipes
US20110178970A1 (en) Template clauses based sat techniques
Seehusen A technique for risk-based test procedure identification, prioritization and selection
EP3608786B1 (en) Systems and methods of requirements chaining and applications thereof
KR101476536B1 (en) The method and system for inspecting program
CN112232031A (en) Method and device for verifying edge data model of power internet of things and storage medium
KR101585926B1 (en) Apparatus and method for automation of test generation for operating system

Legal Events

Date Code Title Description
A201 Request for examination
E902 Notification of reason for refusal
AMND Amendment
E902 Notification of reason for refusal
AMND Amendment
E601 Decision to refuse application
AMND Amendment
X701 Decision to grant (after re-examination)
GRNT Written decision to grant
FPAY Annual fee payment

Payment date: 20191007

Year of fee payment: 4