KR20180086732A - Plc communication module automatically generate test-case method - Google Patents
Plc communication module automatically generate test-case method Download PDFInfo
- Publication number
- KR20180086732A KR20180086732A KR1020170010526A KR20170010526A KR20180086732A KR 20180086732 A KR20180086732 A KR 20180086732A KR 1020170010526 A KR1020170010526 A KR 1020170010526A KR 20170010526 A KR20170010526 A KR 20170010526A KR 20180086732 A KR20180086732 A KR 20180086732A
- Authority
- KR
- South Korea
- Prior art keywords
- test case
- parameter
- communication module
- temporary
- plc communication
- Prior art date
Links
Images
Classifications
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B19/00—Programme-control systems
- G05B19/02—Programme-control systems electric
- G05B19/04—Programme control other than numerical control, i.e. in sequence controllers or logic controllers
- G05B19/05—Programmable logic controllers, e.g. simulating logic interconnections of signals according to ladder diagrams or function charts
- G05B19/058—Safety, monitoring
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B23/00—Testing or monitoring of control systems or parts thereof
- G05B23/02—Electric testing or monitoring
- G05B23/0205—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults
- G05B23/0218—Electric testing or monitoring by means of a monitoring system capable of detecting and responding to faults characterised by the fault detection method dealing with either existing or incipient faults
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B2219/00—Program-control systems
- G05B2219/10—Plc systems
- G05B2219/13—Plc programming
- G05B2219/13186—Simulation, also of test inputs
-
- G—PHYSICS
- G05—CONTROLLING; REGULATING
- G05B—CONTROL OR REGULATING SYSTEMS IN GENERAL; FUNCTIONAL ELEMENTS OF SUCH SYSTEMS; MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS OR ELEMENTS
- G05B2219/00—Program-control systems
- G05B2219/10—Plc systems
- G05B2219/13—Plc programming
- G05B2219/13187—Checking validity of data
Abstract
Description
본 발명의 일 실시예는 테스트케이스 생성 방법에 관한 것으로, 보다 상세하게는 PLC 통신 모듈의 파라미터의 조합을 통해 테스트케이스를 자동으로 생성하는 PLC 통신 모듈의 테스트케이스 생성 방법에 관한 것이다.
One embodiment of the present invention relates to a test case generation method, and more particularly, to a test case generation method of a PLC communication module that automatically generates a test case through a combination of parameters of a PLC communication module.
공장자동화에서 핵심기기 중 하나인 프로그램가능 로직 제어기(Programmable Logic Controller; PLC)에는 다양한 용도에 대응하기 위하여 각종 기능을 탑재한 모듈이 요구된다.A programmable logic controller (PLC), which is one of the core devices in factory automation, requires modules equipped with various functions in order to cope with various purposes.
PLC에 탑재된 모듈 중 통신모듈의 품질 검증방법은사용자가 설정한 통신 파라미터에 따라 이상 없이 제품이 동작하는지를 확인하는 것이 가장 기본적인 방법이다.The most basic method of verifying the quality of the communication module among the modules installed in the PLC is to check whether the product works without any abnormality according to the communication parameters set by the user.
하지만, 통신모듈에서 제공하는 파라미터의 종류와 설정 범위는 매우 다양하므로 이를 시험자가 테스트케이스로 설계하는 과정은 많은 시간과 노력이 필요하다. However, the types and parameters of the parameters provided by the communication module vary widely, so the process of designing the test cases as test cases requires a lot of time and effort.
그뿐만 아니라, 수동으로 테스트케이스를 설계하는 과정에서 많은 파라미터 중 테스트 종류에 해당하는 파라미터를 선택한 후, 파라미터의 조건을 직접 입력해야 하는데 숙련된 설계자가 아닌 이상 파라미터의 조건이 파라미터 설정 범위를 벗어나는지 또는 오류가 있는지 확인하지 못하기 때문에 오류가 발생할 가능성이 매우 높아 문제가 있다.
In addition, in the process of manually designing the test case, it is necessary to select the parameter corresponding to the test type among many parameters, and then input the condition of the parameter directly. It is necessary to check whether the condition of the parameter is out of the parameter setting range There is a problem because the error is very likely to occur because it does not check for errors.
본 발명은 테스트케이스 생성 시 파라미터의 조건을 직접 입력하지 않아도 되어 입력과정에서 설계자의 입력 실수로 인한 오류가 발생하는 것을 방지할 수 있도록 하는 PLC 통신 모듈의 테스트케이스 생성 방법을 제공하는 것을 목적으로 한다. It is an object of the present invention to provide a method of generating a test case of a PLC communication module in which a parameter condition is not directly input when a test case is generated, .
또한, 본 발명은 테스트케이스를 자동으로 생성함으로써 수동 방식의 설계과정에서 발생할 수 있는 테스트케이스의 중복 및 누락을 최소화할 수 있도록 하는 PLC 통신 모듈의 테스트케이스 생성 방법을 제공하는 것을 목적으로 한다.It is another object of the present invention to provide a method of generating a test case of a PLC communication module that can minimize duplication and omission of a test case that may occur in a manual design process by automatically generating a test case.
또한, 본 발명은 테스트케이스의 유효성을 검증하는 과정을 거침으로써 수동 설계방식에서 발생할 수 있는 테스트케이스의 누락, 중복 설계를 사전에 방지할 수 있도록 하는 PLC 통신 모듈의 테스트케이스 생성 방법을 제공하는 것을 목적으로 한다.
It is another object of the present invention to provide a method of generating a test case of a PLC communication module that can prevent a missing or redundant design of a test case that may occur in a passive design method by verifying the validity of the test case The purpose.
본 발명의 목적들은 이상에서 언급한 목적으로 제한되지 않으며, 언급되지 않은 본 발명의 다른 목적 및 장점들은 하기의 설명에 의해서 이해될 수 있고, 본 발명의 실시예에 의해 보다 분명하게 이해될 것이다. 또한, 본 발명의 목적 및 장점들은 특허 청구 범위에 나타낸 수단 및 그 조합에 의해 실현될 수 있음을 쉽게 알 수 있을 것이다.
The objects of the present invention are not limited to the above-mentioned objects, and other objects and advantages of the present invention which are not mentioned can be understood by the following description and more clearly understood by the embodiments of the present invention. Also, the objects and advantages of the invention will be readily appreciated that this can be realized by the means as claimed and combinations thereof.
이러한 목적을 달성하기 위한 PLC 통신 모듈의 테스트케이스 생성 방법은 PLC 통신 모듈의 파라미터 그룹 각각에 속한 파라미터의 조건을 결정하는 단계, 상기 파라미터 그룹 각각의 파라미터의 조건을 조합하여 임시 테스트케이스를 생성하는 단계, 상기 임시 테스트케이스 각각의 유효성을 검사하는 단계 및 상기 검사 결과에 따라 상기 임시 테스트케이스를 최종 테스트케이스로 결정한 후 특정 파일로 변환하는 단계를 포함한다.
A method for generating a test case of a PLC communication module for achieving the above object includes a step of determining a condition of a parameter belonging to each parameter group of a PLC communication module, a step of generating a temporary test case by combining conditions of parameters of each parameter group Checking the validity of each of the temporary test cases, and converting the temporary test cases into a specific file after determining the temporary test cases as final test cases according to the inspection results.
전술한 바와 같은 본 발명에 의하면, 테스트케이스 생성 시 파라미터의 조건을 직접 입력하지 않아도 되어 입력과정에서 설계자의 입력 실수로 인한 오류가 발생하는 것을 방지할 수 있다는 장점이 있다.According to the present invention as described above, there is no need to directly input the condition of the parameter when the test case is created, and it is possible to prevent an error due to the input error of the designer in the input process.
또한, 본 발명에 의하면 테스트케이스를 자동으로 생성함으로써 수동 방식의 설계과정에서 발생할 수 있는 테스트케이스의 중복 및 누락을 최소화할 수 있다는 장점이 있다.In addition, according to the present invention, it is possible to minimize duplication and omission of a test case that may occur in a manual design process by automatically generating a test case.
또한, 본 발명에 의하면 테스트케이스의 유효성을 검증하는 과정을 거침으로써 수동 설계방식에서 발생할 수 있는 테스트케이스의 누락, 중복 설계를 사전에 방지한다는 장점이 있다.
In addition, according to the present invention, validity of a test case is verified, thereby preventing missed and redundant designs of a test case that may occur in a manual design method.
도 1은 종래의 PLC 통신모듈의 테스트케이스 생성 과정을 설명하기 위한 흐름도이다.
도 2는 종래의 PLC 통신모듈의 테스트케이스 구성을 설명하기 위한 예시도이다.
도 3은 본 발명의 일 실시예에 따른 테스트케이스 생성 장치의 내부 구조를 설명하기 위한 블록도이다.
도 4는 본 발명의 일 실시예에 따른 PLC 통신 모듈의 테스트케이스 생성 방법을 설명하기 위한 흐름도이다.
도 5는 본 발명의 일 실시예에 따른 파라미터 그룹 별 파라미터의 조건을 조합하여 테스트케이스를 생성하는 과정을 설명하기 위한 예시도이다.
도 6은 본 발명의 일 실시예에 따른 테스트케이스를 생성하는 과정을 설명하기 위한 예시도이다.1 is a flowchart illustrating a test case generation process of a conventional PLC communication module.
2 is an exemplary diagram illustrating a configuration of a test case of a conventional PLC communication module.
3 is a block diagram illustrating an internal structure of a test case generation apparatus according to an embodiment of the present invention.
4 is a flowchart illustrating a test case generation method of a PLC communication module according to an embodiment of the present invention.
FIG. 5 is a diagram for explaining a process of generating test cases by combining conditions of parameters for each parameter group according to an embodiment of the present invention.
FIG. 6 is a diagram illustrating a process of generating a test case according to an exemplary embodiment of the present invention. Referring to FIG.
전술한 목적, 특징 및 장점은 첨부된 도면을 참조하여 상세하게 후술되며, 이에 따라 본 발명이 속하는 기술분야에서 통상의 지식을 가진 자가 본 발명의 기술적 사상을 용이하게 실시할 수 있을 것이다. 본 발명을 설명함에 있어서 본 발명과 관련된 공지 기술에 대한 구체적인 설명이 본 발명의 요지를 불필요하게 흐릴 수 있다고 판단되는 경우에는 상세한 설명을 생략한다. 이하, 첨부된 도면을 참조하여 본 발명에 따른 바람직한 실시예를 상세히 설명하기로 한다. 도면에서 동일한 참조부호는 동일 또는 유사한 구성요소를 가리키는 것으로 사용된다.
The above and other objects, features, and advantages of the present invention will become more apparent by describing in detail exemplary embodiments thereof with reference to the attached drawings, which are not intended to limit the scope of the present invention. In the following description, well-known functions or constructions are not described in detail since they would obscure the invention in unnecessary detail. Hereinafter, preferred embodiments of the present invention will be described in detail with reference to the accompanying drawings. In the drawings, the same reference numerals are used to denote the same or similar elements.
도 1은 종래의 PLC 통신모듈의 테스트케이스 생성 과정을 설명하기 위한 흐름도이다. 도 2는 종래의 PLC 통신모듈의 테스트케이스 구성을 설명하기 위한 예시도이다.1 is a flowchart illustrating a test case generation process of a conventional PLC communication module. 2 is an exemplary diagram illustrating a configuration of a test case of a conventional PLC communication module.
도 1을 참조하면, 테스트케이스 생성 장치는 테스트케이스 생성 프로그램이 실행된 후(단계 S10), 테스트케이스 생성 프로그램에서 프로젝트가 생성되면(단계 S20), PLC 통신 모듈의 파라미터 그룹 각각에 속한 파라미터 그룹의 조건을 조합하여 테스트케이스 파일을 구성한다(단계 S30). Referring to FIG. 1, after a test case generation program is executed (step S10), a test case generation program generates a project in the test case generation program (step S20) The test case file is constructed by combining the conditions (step S30).
단계 S30에 대한 일 실시예에서, 먼저, 테스트케이스 생성 장치는 PLC 통신 모듈의 파라미터 그룹 중 기본 설정 그룹에 속한 파라미터 그룹의 조건을 조합하여 테스트케이스를 구성하고, PLC 통신 모듈의 파라미터 그룹 중 고급 설정 그룹에 속한 파라미터 그룹의 조건을 조합하여 테스트케이스를 구성하고, PLC 통신 모듈의 파라미터 그룹 중 블록 설정 그룹에 속한 파라미터 그룹의 조건을 조합하여 테스트케이스를 구성한다. In one embodiment of the step S30, first, the test case generation apparatus forms a test case by combining the conditions of the parameter group belonging to the basic setting group among the parameter group of the PLC communication module, A test case is formed by combining the conditions of the parameter group belonging to the group and the test case is formed by combining the conditions of the parameter group belonging to the block setting group among the parameter groups of the PLC communication module.
PCL 통신모듈의 파라미터 구조는 도 2의 참조번호(a)와 같이 기본 설정 그룹, 고급 설정 그룹, 블록 설정 그룹의 3가지 그룹으로 분리되고 각각의 그룹은 다시 여러 개의 세부 파라미터로 구성된다. The parameter structure of the PCL communication module is divided into three groups of a basic setting group, an advanced setting group, and a block setting group as shown in reference numeral (a) of FIG. 2, and each group is composed of several detailed parameters again.
시험자 또는 테스트케이스 설계자는 제품 동작을 확인하기 위해 도 2의 참조번호(a)와 같은 PLC 통신모듈의 복수의 그룹 각각에서 파라미터를 선택한 후, 파라미터의 조건을 입력하여 도 2의 참조번호(b)와 같은 테스트케이스를 생성한다. The test person or the test case designer selects the parameters in each of the plurality of groups of the PLC communication module such as the reference number (a) of FIG. 2 to confirm the operation of the product, inputs the conditions of the parameters, Create a test case like
즉, 시험자 또는 테스트케이스 설계자는 참조번호(a)를 이용하여 기본 설정 그룹(21)에서 통신 형태, 통신 속도, 국번, 동작모드 등의 파라미터를 선택하고, 고급 설정 그룹(22)에서 데이터 비트, 정지 비트, 패리티 비트, 응답 대기 시간, 지연 시간 및 문자간 대기 등의 파라미터를 선택하고, 블록 설정 그룹(23)에서 채널, 기능, 기동 조건, 방식, 데이터 타입, 변수 개수, 디바이스 등의 파라미터를 선택한다. That is, the tester or the test case designer selects the parameters such as the communication type, the communication speed, the station number, the operation mode, and the like in the
그런 다음, 기본 설정 그룹(21)에서 추출한 파라미터, 고급 설정 그룹(22)에서 추출한 파라미터, 블록 설정 그룹(23)에서 추출한 파라미터 각각의 조건을 입력한다. 상기와 같이, 파라미터 설정을 수동으로 하는 방식은 입력과정에서 설계자의 입력 실수로 인한 오류가 발생할 수 있다.Then, parameters extracted from the
또한,
수십 개의 파라미터 동작을 각각 확인하기 위해서는 많은 수의 테스트케이스가 필요한데, 이를 수동으로 생성하는 방법은 많은 시간과 노력을 해야 할뿐만 아니라, 설계 과정에서 테스트케이스의 중복 및 누락이 발생할 가능성이 매우 높다.
In addition, a large number of test cases are required to confirm each of the dozens of parameter operations. However, a method of manually generating the test cases requires a lot of time and effort, and there is a possibility that duplication or omission of test cases high.
도 3은 본 발명의 일 실시예에 따른 테스트케이스 생성 장치의 내부 구조를 설명하기 위한 블록도이다.3 is a block diagram illustrating an internal structure of a test case generation apparatus according to an embodiment of the present invention.
도 3을 참조하면, 테스트케이스 생성 장치(100)는 테스트케이스 생성부(110), 유효성 검사부(120) 및 파일 변환부(130)를 포함한다.Referring to FIG. 3, the test case generation apparatus 100 includes a test
테스트케이스 생성부(110)는 PLC 통신 모듈의 파라미터 그룹 각각에서 적어도 하나의 파라미터를 추출한다. 이때, 테스트케이스 생성부(110)는 PLC 통신 모듈의 파라미터 그룹에서 테스트케이스의 테스트 종류에 해당하는 적어도 하나의 파라미터를 추출할 수 있다. The test
예를 들어, 테스트케이스 생성부(110)는 생성 대상 테스트케이스가 적용된 테스트 종류가 “디바이스 검증”인 경우, PLC 통신 모듈의 파라미터 그룹 각각에서 디바이스 검증에 필요한 파라미터를 추출할 수 있다.For example, when the test type to which the generation target test case is applied is " device verification ", the test
다른 예를 들어, 테스트케이스 생성부(110)는 생성 대상 테스트케이스가 적용된 테스트 종류가 “통신 속도”인 경우, PLC 통신 모듈의 파라미터 그룹 각각에서 통신 속도 검증에 필요한 파라미터(예를 들어, “통신 형태, 통신 속도, 국번…”)을 추출할 수 있다. For example, when the test type to which the target test case is applied is " communication speed ", the test
그 후, 테스트케이스 생성부(110)는 PLC 통신 모듈의 파라미터 그룹 각각에서 추출된 적어도 하나의 파라미터에 대한 조건을 결정한다. 이때, PLC 통신 모듈의 파라미터 그룹 각각에 속한 파라미터의 조건은 하나 또는 그 이상의 값을 포함할 수 있다. 예를 들어, 파라미터 “통신속도”의 조건은 1200bps, 9600bps, 115200bps를 포함할 수 있다.Then, the test
일 실시예에서, 테스트케이스 생성부(110)는 복수의 파라미터 각각에서 추출된 적어도 하나의 파라미터에 대해서 설정 가능한 범위의 값 중 특정 값, 최대값 및 최소값 중 적어도 하나를 해당 파라미터의 조건으로 결정한다. In one embodiment, the test
이와 같이 파라미터의 조건을 설정 가능한 범위의 값 중 최대값 또는 최소값을 해당 파라미터의 조건으로 결정하는 이유는, 파라미터의 조건을 설정 가능한 범위의 값 중 중간값으로 결정하여 테스트를 진행할 경우 오류가 발생하지 않을 확률이 높기 때문에 파라미터 조건을 오류가 발생할 가능성이 높은 값 즉, 최대값 또는 최소값)으로 결정하면 보다 정확한 테스트 수행이 가능하다.The reason why the maximum value or the minimum value among the values of the range in which the parameter condition can be set is determined as the condition of the parameter is that if the condition of the parameter is determined as an intermediate value among the values of the set range, It is possible to perform a more accurate test if the parameter condition is determined to be a value at which the error is likely to occur, that is, a maximum value or a minimum value).
테스트케이스 생성부(110)는 복수의 파라미터 각각에서 추출된 적어도 하나의 파라미터의 조건의 조합을 통해 임시 테스트케이스를 생성한다. The test
예를 들어, 복수의 파라미터 각각에서 추출된 파라미터 #1에 대한 조건이 #1-1, #1-2 이고, 파라미터가 2에 대한 조건이 #2-1, #2-2 인 경우, 테스트케이스 생성부(110)는 파라미터 #1에 대한 조건 및 라미터가 2에 대한 조건의 조합을 통해 임시 테스트케이스 1 {#1-1, #2-1}, 임시 테스트케이스 2 {#1-1, #2-2}, 임시 테스트케이스 3{#1-2, #2-1}, 임시 테스트케이스 4{#1-2, #2-2}를 생성할 수 있다.For example, when the conditions for the extracted
유효성 검사부(120)는 테스트케이스 생성부(110)에 의해 생성된 임시 테스트케이스를 구성하는 파라미터의 조건의 각각의 유효성에 따라 해당 임시 테스트케이스의 유효성을 검사한다. The
일실시예에서, 유효성 검사부(120)는 각각의 임시 테스트케이스 중 특정 임시 테스트케이스에 사용된 파라미터의 조건이 상기 PLC 통신 모듈에서 제공하는 미리 설정된 파라미터 설정 범위를 만족하는지 여부를 확인한다. In one embodiment, the
상기의 실시예에서, 테스트케이스 생성 장치(100)는 특정 임시 테스트케이스에 사용된 파라미터의 조건이 상기 미리 설정된 파라미터 설정 범위를 만족하면 특정 임시 테스트케이스가 유효하다고 판단하고, 특정 임시 테스트케이스에 사용된 파라미터의 조건이 미리 설정된 파라미터 설정 범위를 만족하지 않으면 특정 임시 테스트케이스가 유효하지 않다고 판단한다. 이때, 미리 설정된 파라미터 설정 범위는 파라미터의 종류에 따라 입력 가능한 조건의 범위를 의미한다. In the above embodiment, the test case generating apparatus 100 determines that the specific temporary test case is valid if the condition of the parameter used in the specific temporary test case satisfies the preset parameter setting range, And judges that the specific temporary test case is invalid if the condition of the parameter does not satisfy the preset parameter setting range. At this time, the preset parameter setting range means a range of conditions that can be input according to the type of parameter.
다른 일 실시예에서, 유효성 검사부(120)는 각각의 임시 테스트케이스와 미리 결정된 정상 테스트케이스를 비교하여 동일한지 여부를 확인한다.In another embodiment, the
상기의 실시예에서, 테스트케이스 생성 장치(100)는 각각의 임시 테스트케이스 중 특정 임시 테스트케이스가 상기 미리 결정된 정상 테스트케이스에 존재하지 않으면 상기 특정 임시 테스트케이스가 유효하지 않다고 판단하고, 각각의 임시 테스트케이스 중 특정 임시 테스트케이스가 상기 미리 결정된 정상 테스트케이스에 존재하면 상기 특정 임시 테스트케이스가 유효하다고 판단한다. In the above embodiment, the test case generating apparatus 100 judges that the specific temporary test case is invalid if the specific temporary test case among the respective temporary test cases is not present in the predetermined normal test case, It is determined that the specific temporary test case is valid if a certain temporary test case exists in the predetermined normal test case among the test cases.
예를 들어, 자신의 통신 국번을 0으로 설정하고 파라미터의 조건 설정 시 상태 국번을 0, 1, 2로 설정한 경우 생성된 임시 테스트케이스는 (0, 0), (0, 1) 및 (0, 2)이지만, 자신의 국번과 상태 국번이 같을 수 없기 때문에 (0, 0)의 임시 테스트케이스가 유효하지 않다고 판단하는 것이다. For example, if you set your own communication station number to 0 and set the status station number to 0, 1, or 2 when setting the parameter condition, the temporary test cases created are (0, 0), (0, 1) , 2), but it is judged that the temporary test case of (0, 0) is invalid because its own station number and state station number can not be the same.
또 다른 일 실시예에서, 유효성 검사부(120)는 각각의 임시 테스트케이스 중 특정 임시 테스트케이스에 사용된 파라미터의 조건에 해당하는 텍스트 값 및 미리 설정된 텍스트 값을 비교한다.In another embodiment, the
상기의 실시예에서, 테스트케이스 생성 장치(100)는 특정 임시 테스트케이스에 사용된 파라미터의 조건에 해당하는 텍스트 값 및 미리 설정된 텍스트 값이 일치하면 특정 임시 테스트케이스가 유효하다고 판단하고, 특정 임시 테스트케이스에 사용된 파라미터의 조건에 해당하는 텍스트 값 및 미리 설정된 텍스트 값이 상이하면 특정 임시 테스트케이스가 유효하지 않다고 판단한다. In the above embodiment, the test case generating apparatus 100 judges that the specific temporary test case is valid when the text value corresponding to the condition of the parameter used in the specific temporary test case coincides with the preset text value, It judges that the specific temporary test case is invalid if the text value corresponding to the condition of the parameter used in the case is different from the preset text value.
파일 변환부(130)는 유효성 검사부(120)에 의한 검사 결과 임시 테스트케이스가 유효하면 임시 테스트케이스를 최종 테스트케이스로 결정한 후 최종 테스트케이스를 특정 파일로 변환한다. 즉, 파일 변환부(130)는 유효성 검사부(120)에 의한 검사 결과 유효한 테스트케이스를 PLC 통신 모듈에서 다운로드할 수 있는 형태의 특정 파일로 변환한다.
The
도 4는 본 발명의 일 실시예에 따른 PLC 통신 모듈의 테스트케이스 생성 방법을 설명하기 위한 흐름도이다.4 is a flowchart illustrating a test case generation method of a PLC communication module according to an embodiment of the present invention.
도 4를 참조하면, 테스트케이스 생성 장치(100)는 PLC 통신 모듈의 파라미터 그룹 각각에 속한 파라미터의 조건을 결정한다(단계 S410). 이때, PLC 통신 모듈의 파라미터 그룹 각각에 속한 파라미터의 조건은 하나 또는 그 이상의 값을 포함할 수 있다. 예를 들어, 파라미터 “통신속도”의 조건은 1200bps, 9600bps, 115200bps를 포함할 수 있다.Referring to FIG. 4, the test case generation apparatus 100 determines conditions of parameters belonging to each parameter group of the PLC communication module (step S410). At this time, the condition of parameters belonging to each parameter group of PLC communication module may include one or more values. For example, the condition of the parameter " communication speed " may include 1200 bps, 9600 bps, and 115200 bps.
단계 S410에 대한 일 실시예에서, 테스트케이스 생성 장치(100)는 PLC 통신 모듈의 파라미터 그룹 각각에 속한 파라미터에 대해서 설정 가능한 범위의 값 중 특정 값, 최대값 및 최소값 중 적어도 하나의 값을 해당 파라미터의 조건으로 결정한다. In one embodiment of the step S410, the test case generation apparatus 100 transmits at least one of a specific value, a maximum value, and a minimum value among values within a settable range to a parameter belonging to each parameter group of the PLC communication module, .
이와 같이 파라미터의 조건을 설정 가능한 범위의 값 중 최대값 또는 최소값을 해당 파라미터의 조건으로 결정하는 이유는, 파라미터의 조건을 설정 가능한 범위의 값 중 중간값으로 결정하여 테스트를 진행할 경우 오류가 발생하지 않을 확률이 높기 때문에 파라미터 조건을 오류가 발생할 가능성이 높은 값 즉, 최대값 또는 최소값으로 결정하면 보다 정확한 테스트 수행이 가능하다.The reason why the maximum value or the minimum value among the values of the range in which the parameter condition can be set is determined as the condition of the parameter is that if the condition of the parameter is determined as an intermediate value among the values of the set range, It is possible to perform a more accurate test if the parameter condition is determined to be a value with a high probability of occurrence of an error, that is, a maximum value or a minimum value.
테스트케이스 생성 장치(100)는 복수의 파라미터 각각에서 추출된 적어도 하나의 파라미터의 조건의 조합을 통해 임시 테스트케이스를 생성한다(단계 S420).The test case generation apparatus 100 generates a temporary test case through a combination of conditions of at least one parameter extracted from each of the plurality of parameters (step S420).
예를 들어, 파라미터가 A, B, C, D, E이고, 파라미터 A의 조건의 개수가 2개, 파라미터 B의 조건의 개수가 3개, 파라미터 C의 조건의 개수가 1개, 파라미터 D의 조건의 개수가 4개, 파라미터 E의 조건의 개수가 2개이면, 테스트케이스 생성 장치(100)는 2 × 3 × 1 × 4 × 2 = 48 의 식을 통해 48개의 임시 테스트케이스를 생성할 수 있다. For example, assume that the parameters are A, B, C, D, and E, the number of conditions of parameter A is 2, the number of conditions of parameter B is 3, the number of conditions of parameter C is 1, If the number of conditions is four and the number of conditions of the parameter E is two, the test case generation apparatus 100 can generate 48 temporary test cases through an expression of 2 x 3 x 1 x 4 x 2 = 48 have.
테스트케이스 생성 장치(100)는 임시 테스트케이스 각각의 유효성을 검사한다(단계 S430). The test case generation apparatus 100 checks the validity of each of the temporary test cases (step S430).
단계S430에 대한 일 실시예에서, 테스트케이스 생성 장치(100)는 각각의 임시 테스트케이스 중 특정 임시 테스트케이스에 사용된 파라미터의 조건이 상기 PLC 통신 모듈에서 제공하는 미리 설정된 파라미터 설정 범위를 만족하는지 여부를 확인한다. In one embodiment of step S430, the test case generation apparatus 100 determines whether the condition of the parameter used in the specific temporary test case among the respective temporary test cases satisfies a preset parameter setting range provided by the PLC communication module .
상기의 실시예에서, 테스트케이스 생성 장치(100)는 특정 임시 테스트케이스에 사용된 파라미터의 조건이 상기 미리 설정된 파라미터 설정 범위를 만족하면 특정 임시 테스트케이스가 유효하다고 판단하고, 특정 임시 테스트케이스에 사용된 파라미터의 조건이 미리 설정된 파라미터 설정 범위를 만족하지 않으면 특정 임시 테스트케이스가 유효하지 않다고 판단한다. 이때, 미리 설정된 파라미터 설정 범위는 파라미터의 종류에 따라 입력 가능한 조건의 범위를 의미한다. In the above embodiment, the test case generating apparatus 100 determines that the specific temporary test case is valid if the condition of the parameter used in the specific temporary test case satisfies the preset parameter setting range, And judges that the specific temporary test case is invalid if the condition of the parameter does not satisfy the preset parameter setting range. At this time, the preset parameter setting range means a range of conditions that can be input according to the type of parameter.
단계 S430에 대한 다른 일 실시예에서, 테스트케이스 생성 장치(100)는 각각의 임시 테스트케이스와 미리 결정된 정상 테스트케이스를 비교하여 동일한지 여부를 확인한다.In another embodiment of step S430, the test case generation apparatus 100 compares each temporary test case with a predetermined normal test case to confirm whether they are the same.
상기의 실시예에서, 테스트케이스 생성 장치(100)는 각각의 임시 테스트케이스 중 특정 임시 테스트케이스가 상기 미리 결정된 정상 테스트케이스에 존재하지 않으면 상기 특정 임시 테스트케이스가 유효하지 않다고 판단하고, 각각의 임시 테스트케이스 중 특정 임시 테스트케이스가 상기 미리 결정된 정상 테스트케이스에 존재하면 상기 특정 임시 테스트케이스가 유효하다고 판단한다. In the above embodiment, the test case generating apparatus 100 judges that the specific temporary test case is invalid if the specific temporary test case among the respective temporary test cases is not present in the predetermined normal test case, It is determined that the specific temporary test case is valid if a certain temporary test case exists in the predetermined normal test case among the test cases.
예를 들어, 자신의 통신 국번을 0으로 설정하고 파라미터의 조건 설정 시 상태 국번을 0, 1, 2로 설정한 경우 생성된 임시 테스트케이스는 (0, 0), (0, 1) 및 (0, 2)이지만, 자신의 국번과 상태 국번이 같을 수 없기 때문에 (0, 0)의 임시 테스트케이스가 유효하지 않다고 판단하는 것이다. For example, if you set your own communication station number to 0 and set the status station number to 0, 1, or 2 when setting the parameter condition, the temporary test cases created are (0, 0), (0, 1) , 2), but it is judged that the temporary test case of (0, 0) is invalid because its own station number and state station number can not be the same.
단계 S430에 대한 또 다른 일 실시예에서, 테스트케이스 생성 장치(100)는 각각의 임시 테스트케이스 중 특정 임시 테스트케이스에 사용된 파라미터의 조건에 해당하는 텍스트 값 및 미리 설정된 텍스트 값을 비교한다.In another embodiment to step S430, the test case generation apparatus 100 compares a text value corresponding to a condition of a parameter used in a specific temporary test case among the respective temporary test cases and a preset text value.
상기의 실시예에서, 테스트케이스 생성 장치(100)는 특정 임시 테스트케이스에 사용된 파라미터의 조건에 해당하는 텍스트 값 및 미리 설정된 텍스트 값이 일치하면 특정 임시 테스트케이스가 유효하다고 판단하고, 특정 임시 테스트케이스에 사용된 파라미터의 조건에 해당하는 텍스트 값 및 미리 설정된 텍스트 값이 상이하면 특정 임시 테스트케이스가 유효하지 않다고 판단한다. In the above embodiment, the test case generating apparatus 100 judges that the specific temporary test case is valid if the text value corresponding to the condition of the parameter used in the specific temporary test case coincides with the predetermined text value, It judges that the specific temporary test case is invalid if the text value corresponding to the condition of the parameter used in the case is different from the preset text value.
테스트케이스 생성 장치(100)는 검사 결과에 임시 테스트케이스가 유효하면(단계 S431), 임시 테스트케이스를 최종 테스트케이스로 결정한 후(단계 S432), 최종 테스트케이스를 특정 파일로 변환한다(단계 S433). 또한, 본 발명은 테스트케이스의 유효성을 검증하는 과정을 거침으로써 테스트케이스에서 발생할 수 있는 오류를 차단할 있다.If the temporary test case is valid (step S431), the test case generation apparatus 100 determines the temporary test case as the final test case (step S432), and converts the final test case to a specific file (step S433) . In addition, the present invention has a process of verifying the validity of a test case, thereby preventing an error that may occur in the test case.
한편, 테스트케이스 생성 장치(100)는 검사 결과에 임시 테스트케이스가 유효하지 않으면 임시 테스트케이스를 삭제한다.On the other hand, the test case generation apparatus 100 deletes the temporary test case if the temporary test case is not valid in the test result.
도 4에는 도시하지 않았지만, 테스트케이스 생성 장치(100)는 PLC 통신 모듈의 파라미터 그룹 각각에서 적어도 하나의 파라미터를 추출할 수 있다. 즉, 테스트케이스 생성부(110)는 PLC 통신 모듈의 파라미터 그룹에서 테스트케이스의 테스트 종류에 해당하는 적어도 하나의 파라미터를 추출할 수 있다. Although not shown in FIG. 4, the test case generating apparatus 100 may extract at least one parameter from each of the parameter groups of the PLC communication module. That is, the test
예를 들어, 테스트케이스 생성 장치(100)는 생성 대상 테스트케이스가 적용된 테스트 종류가 “디바이스 검증”인 경우, 파라미터 중 디바이스 검증에 필요한 파라미터를 추출할 수 있다.For example, when the test type to which the generation target test case is applied is " device verification ", the test case generation apparatus 100 can extract parameters necessary for device verification among the parameters.
다른 예를 들어, 테스트케이스 생성 장치(100)는 생성 대상 테스트케이스가 적용된 테스트 종류가 “통신 속도”인 경우, 파라미터 중 통신 속도에 필요한 파라미터를 추출할 수 있다.
For another example, the test case generating apparatus 100 can extract parameters necessary for the communication speed among the parameters when the test type to which the generation target test case is applied is the " communication speed ".
도 5는 본 발명의 일 실시예에 따른파라미터 그룹 별 파라미터의 조건을 조합하여 테스트케이스를 생성하는 과정을 설명하기 위한 예시도이다. FIG. 5 is a diagram for explaining a process of generating test cases by combining conditions of parameters for each parameter group according to an embodiment of the present invention.
도 5를 참조하면, PLC 통신 모듈의 파라미터 그룹은 기본 설정 그룹(510), 고급 설정 그룹(520) 및 블록 설정 그룹(530)을 포함한다. Referring to FIG. 5, the parameter group of the PLC communication module includes a
기본 설정 그룹(510)에 속한 파라미터는 1개의 조건(즉, RS-232C)을 가지는 통신 형태, 3개의 조건을 가지는 통신 속도(1200bps, 9600bps, 115200bps), 2개의 조건(0, 63)을 가지는 국번, 2개의 조건(P2P)을 가지는 동작 모드 등을 포함한다.The parameter belonging to the
고급 설정 그룹(520)에 속한 파라미터는1개 조건(78bit)을 가지는 데이터, 2개 조건(1 bit, 2 bit)을 가지는 정지, 3개 조건을 가지는 패리티, 1개 조건을 가지는 응답 대기, 1개 조건을 가지는 지연 대기, 1개의 조건을 가지는 문자 대기 등을 포함한다. The parameters belonging to the
블록 설정 그룹(530)에 속한 파라미터는 1개의 조건(0번)을 가지는 채널, 2개의 조건(Read, Write)을 가지는 기능, 1개의 조건(_T1S)을 가지는 기동 조건, 2개의 조건(개별, 연속)을 가지는 방식, 2개의 조건(Bit, Byte)을 가지는 타입, 1개의 조건(1개)을 가지는 변수 개수, 3개의 조건(M, P, K Device)를 가지는 디바이스를 포함한다. The parameters belonging to the
테스트케이스 생성 장치(100)는 기본 설정 그룹(510)에 속한 파라미터의 조건의 개수(1 × 3 × 2 × 2), 고급 설정 그룹(520)에 속한 파라미터의 조건의 개수(1 × 2 × 3 × 1 × 1 × 1 × 1), 블록 설정 그룹(530)에 속한 파라미터의 조건의 개수(1 × 2 × 1 × 2 × 2 × 1 × 3)의 조합을 통해 1,728개의 임시 테스트케이스를 생성할 수 있다.
The test case generating apparatus 100 generates the number of conditions (1 x 3 x 2 x 2) of the parameters belonging to the
도 6은 본 발명의 일 실시예에 따른 테스트케이스를 생성하는 과정을 설명하기 위한 예시도이다.FIG. 6 is a diagram illustrating a process of generating a test case according to an exemplary embodiment of the present invention. Referring to FIG.
도 6을 참조하면, 복수의 파라미터 그룹 각각에는 #1부터 #N까지의 파라미터가 존재하고, Communication Parameter #1의 조건은 Parameter #1-1, Parameter #1-2, Parameter #1-3이고, Communication Parameter #2의 조건은 Parameter #2-1, Parameter #2-2이고, Communication Parameter #N의 조건은Parameter #n-m이다. 6, there are
테스트케이스 생성부(110)는 각각의 파라미터의 조건 중 특정 파라미터의 조건을 조합하여 임시 테스트케이스를 생성한다. 즉, 테스트케이스 생성부(110)는 Testcase 1 {#1-1, #2-1, #n-m}, Testcase 2 {#1-1, #2-2, #n-m}, Testcase 3{#1-2, #2-1, #n-m}, Testcase 4{#1-2, #2-2, #n-m}, Testcase 5{#1-3, #2-1, #n-m}, Testcase 6{#1-3, #2-2, #n-m}를 생성한다. The test
유효성 검사부(120)는 테스트케이스 생성부(110)에 의해 생성된 임시 테스트케이스를 구성하는 파라미터의 조건의 각각의 유효성에 따라 해당 임시 테스트케이스의 유효성을 검사한다. The
일 실시예에서, 유효성 검사부(120)는 각각의 임시 테스트케이스 중 특정 임시 테스트케이스에 사용된 파라미터의 조건이 상기 PLC 통신 모듈에서 제공하는 미리 설정된 파라미터 설정 범위를 만족하는지 여부를 확인한다. In one embodiment, the
이때, 유효성 검사부(120)는 Testcase 3{#1-2, #2-1, #n-m}에 대해서, 미리 설정된 파라미터 설정 범위를 만족하지 않거나, 미리 결정된 정상 테스트케이스에 존재하지 않거나, 파라미터의 조건에 해당하는 텍스트 값 및 미리 설정된 텍스트 값과 상이하기 때문에 Testcase 3{#1-2, #2-1, #n-m}이 유효하지 않는다고 판단한다. At this time, the
따라서, 파일 변환부(130)는 유효성 검사부(120)에 의한 검사 결과에 유효하지 않은 Testcase 3{#1-2, #2-1, #n-m}을 제외한 나머지 Testcase 1 {#1-1, #2-1, #n-m}, Testcase 2 {#1-1, #2-2, #n-m}, Testcase 4{#1-2, #2-2, #n-m}, Testcase 5{#1-3, #2-1, #n-m}, Testcase 6{#1-3, #2-2, #n-m}의 파일을 변환하여 Testcase File 1, Testcase File 2,Testcase File 4,Testcase File 5 및 Testcase File 6을 생성할 수 있다.
Therefore, the
이상과 같이 본 발명은 비록 한정된 실시예와 도면에 의해 설명되었으나, 본 발명은 상기의 실시예에 한정되는 것은 아니며, 이는 본 발명이 속하는 분야에서 통상의 지식을 가진 자라면 이러한 기재로부터 다양한 수정 및 변형이 가능하다. 따라서, 본 발명 사상은 아래에 기재된 특허청구범위에 의해서만 파악되어야 하고, 이의 균등 또는 등가적 변형 모두는 본 발명 사상의 범주에 속한다고 할 것이다.While the present invention has been particularly shown and described with reference to exemplary embodiments thereof, it is to be understood that the invention is not limited to the disclosed exemplary embodiments, but, on the contrary, Modification is possible. Accordingly, the spirit of the present invention should be understood only in accordance with the following claims, and all equivalents or equivalent variations thereof are included in the scope of the present invention.
Claims (6)
상기 파라미터 그룹 각각의 파라미터의 조건을 조합하여 임시 테스트케이스를 생성하는 단계;
상기 임시 테스트케이스 각각의 유효성을 검사하는 단계; 및
상기 검사 결과에 따라 상기 임시 테스트케이스를 최종 테스트케이스로 결정한 후 특정 파일로 변환하는 단계를 포함하는 것을 특징으로 하는
PLC 통신 모듈의 테스트케이스 생성 방법.
Determining conditions of parameters belonging to each parameter group of the PLC communication module;
Generating a temporary test case by combining conditions of parameters of each of the parameter groups;
Validating each of the temporary test cases; And
Determining the temporary test case as a final test case according to the inspection result, and converting the temporary test case into a specific file
Test case generation method of PLC communication module.
상기 임시 테스트케이스 각각의 유효성을 검사하는 단계는
상기 각각의 임시 테스트케이스 중 특정 임시 테스트케이스에 사용된 파라미터의 조건이 상기 PLC 통신 모듈에서 제공하는 미리 설정된 파라미터 설정 범위를 만족하는지 여부를 확인하는 단계; 및
상기 확인 결과에 상기 파라미터의 조건이 상기 미리 설정된 파라미터 설정 범위를 만족하는지 여부에 따라 상기 특정 임시 테스트케이스의 유효성을 판단하는 단계를 포함하는 것을 특징으로 하는
PLC 통신 모듈의 테스트케이스 생성 방법.
The method according to claim 1,
The step of validating each of the temporary test cases
Checking whether a condition of a parameter used in a specific temporary test case among the temporary test cases satisfies a preset parameter setting range provided by the PLC communication module; And
And judging the validity of the specific temporary test case according to whether or not the condition of the parameter satisfies the preset parameter setting range as a result of the checking
Test case generation method of PLC communication module.
상기 임시 테스트케이스 각각의 유효성을 검사하는 단계는
상기 각각의 임시 테스트케이스와 미리 결정된 정상 테스트케이스를 비교하는 단계;
상기 비교 결과에 각각의 임시 테스트케이스 중 특정 임시 테스트케이스가 상기 미리 결정된 정상 테스트케이스에 존재하는지 여부에 따라 상기 특정 임시 테스트케이스의 유효성을 판단하는 단계를 포함하는 것을 특징으로 하는
PLC 통신 모듈의 테스트케이스 생성 방법.
The method according to claim 1,
The step of validating each of the temporary test cases
Comparing each of the temporary test cases with a predetermined normal test case;
And judging the validity of the specific temporary test case according to whether or not a specific temporary test case among the respective temporary test cases exists in the predetermined normal test case in the comparison result
Test case generation method of PLC communication module.
상기 임시 테스트케이스 각각의 유효성을 검사하는 단계는
상기 각각의 임시 테스트케이스 중 특정 임시 테스트케이스에 사용된 파라미터의 조건에 해당하는 텍스트 값 및 미리 설정된 텍스트 값을 비교하는 단계; 및
상기 비교 결과 상기 파라미터의 조건에 해당하는 텍스트 값 및 미리 설정된 텍스트 값이 일치하는지 여부에 따라 상기 특정 임시 테스트케이스의 유효성을 판단하는 단계를 포함하는 것을 특징으로 하는
PLC 통신 모듈의 테스트케이스 생성 방법.
The method according to claim 1,
The step of validating each of the temporary test cases
Comparing a text value and a preset text value corresponding to a condition of a parameter used in a specific temporary test case among the temporary test cases; And
And judging the validity of the specific temporary test case according to whether the text value corresponding to the condition of the parameter and the preset text value coincide with each other
Test case generation method of PLC communication module.
상기 PLC 통신 모듈의 테스트케이스 생성 PLC 통신 모듈의 파라미터 그룹에서 테스트케이스의 테스트 종류에 해당하는 적어도 하나의 파라미터를 추출하는 단계; 및
PLC 통신 모듈의 파라미터 그룹 각각에서 추출된 적어도 하나의 파라미터의 조건의 조합을 통해 상기 임시 테스트케이스를 생성하는 단계를 더 포함하는 것을 특징으로 하는
PLC 통신 모듈의 테스트케이스 생성 방법.
The method according to claim 1,
Extracting at least one parameter corresponding to a test type of a test case from a parameter group of a test case generation PLC communication module of the PLC communication module; And
Further comprising generating the temporary test case through a combination of conditions of at least one parameter extracted from each of the parameter groups of the PLC communication module
Test case generation method of PLC communication module.
상기 PLC 통신 모듈의 파라미터 그룹 각각에 속한 파라미터 각각의 조건을 결정하는 단계는
상기 파라미터 그룹 각각에서 추출된 적어도 하나의 파라미터에 대해서 설정 가능한 범위의 값 중 특정 값, 최대값 및 최소값 중 적어도 하나의 값을 해당 파라미터의 조건으로 결정하는 단계를 포함하는
PLC 통신 모듈의 테스트케이스 생성 방법.6. The method of claim 5,
Wherein the step of determining conditions of each of the parameters belonging to each of the parameter groups of the PLC communication module
Determining at least one of a specific value, a maximum value, and a minimum value among a set range of values for at least one parameter extracted from each of the parameter groups as a condition of the parameter
Test case generation method of PLC communication module.
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
KR1020170010526A KR20180086732A (en) | 2017-01-23 | 2017-01-23 | Plc communication module automatically generate test-case method |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
KR1020170010526A KR20180086732A (en) | 2017-01-23 | 2017-01-23 | Plc communication module automatically generate test-case method |
Publications (1)
Publication Number | Publication Date |
---|---|
KR20180086732A true KR20180086732A (en) | 2018-08-01 |
Family
ID=63227597
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
KR1020170010526A KR20180086732A (en) | 2017-01-23 | 2017-01-23 | Plc communication module automatically generate test-case method |
Country Status (1)
Country | Link |
---|---|
KR (1) | KR20180086732A (en) |
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109782731A (en) * | 2018-12-26 | 2019-05-21 | 广东格兰仕集团有限公司 | A kind of automatic test approach of micro-wave oven logic function |
KR102201845B1 (en) * | 2019-07-25 | 2021-01-12 | 엘아이지넥스원 주식회사 | Automation unit test method of multi-task based software and system for the same |
KR20210153397A (en) | 2020-06-10 | 2021-12-17 | 조예림 | waterwheel pot |
-
2017
- 2017-01-23 KR KR1020170010526A patent/KR20180086732A/en unknown
Cited By (3)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN109782731A (en) * | 2018-12-26 | 2019-05-21 | 广东格兰仕集团有限公司 | A kind of automatic test approach of micro-wave oven logic function |
KR102201845B1 (en) * | 2019-07-25 | 2021-01-12 | 엘아이지넥스원 주식회사 | Automation unit test method of multi-task based software and system for the same |
KR20210153397A (en) | 2020-06-10 | 2021-12-17 | 조예림 | waterwheel pot |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
CN108427632B (en) | Automatic test method and device | |
CN104462981A (en) | Detecting method and device for vulnerabilities | |
US20100333073A1 (en) | Systems and methods for automated generation of software tests based on modeling the software test domain | |
US8572747B2 (en) | Policy-driven detection and verification of methods such as sanitizers and validators | |
KR20180086732A (en) | Plc communication module automatically generate test-case method | |
CN112052172B (en) | Rapid test method and device for third-party channel and electronic equipment | |
US20150088286A1 (en) | Method and Apparatus for Automatically Creating an Executable Safety Function for a Device | |
CN107077115A (en) | Safe operation control method and the automated network with the security control | |
KR101935105B1 (en) | Apparatus and Method for verifying automation based robustness using mutation Application Programming Interface | |
CN100512157C (en) | Protocol validity verifying and testing method based on mode conversion | |
Lemaire et al. | Extracting vulnerabilities in industrial control systems using a knowledge-based system | |
CN106920022B (en) | Safety vulnerability assessment method, system and equipment for cigarette industrial control system | |
CN108647533B (en) | Automatic generation method of safety assertion for detecting hardware trojan | |
US20190081984A1 (en) | Method and computing device for commissioning an industrial automation control system | |
US9590636B1 (en) | Method and apparatus for validating a system-on-chip based on a silicon fingerprint and a unique response code | |
CN108267968B (en) | Collaborative semi-physical simulation optical fiber data interaction security verification method | |
Lemaire et al. | A logic-based framework for the security analysis of industrial control systems | |
US10592623B2 (en) | Assertion statement check and debug | |
WO2021183382A1 (en) | Graph-based method for inductive bug localization | |
CN106405277B (en) | Testing device and method for main processing unit in nuclear power station protection system | |
CN111209180B (en) | Regression testing method and device based on fuzzy matching | |
US11665165B2 (en) | Whitelist generator, whitelist evaluator, whitelist generator/evaluator, whitelist generation method, whitelist evaluation method, and whitelist generation/evaluation method | |
US11823701B2 (en) | Network operation based on domain specific language | |
CN115934559A (en) | Testing method of intelligent form testing system | |
CN106354930B (en) | A kind of self-adapting reconstruction method and system of spacecraft |