초록
본 발명은 PLC 시스템에서 실행되는 PLC 명령어를 검증하는 방법에 관한 것이다. 본 발명은 PLC 시스템을 선택하는 단계, 테스트케이스로부터 PLC 명령어의 입력 데이터 및 예측 데이터를 추출하는 단계, PLC 시스템에 LD 프로그램을 로드하는 단계, LD 프로그램에 입력 데이터를 입력하여 PLC 명령어를 실행하고 실행 결과를 출력 데이터로 추출하는 단계 및 예측 데이터 및 출력 데이터를 비교하여 PLC 명령어를 검증하는 단계를 포함하는 것을 특징으로 한다. 본 발명에 의하면, LD 프로그램을 이용하여 PLC 명령어를 검증함으로써, PLC 명령어마다 LD 프로그램을 작성해야 하는 불편함을 줄일 수 있고 검증 환경에 유동적으로 대처할 수 있는 장점이 있다.