이 문서를 간추려서 설명해 주실 수 있나요?
 각 파라미터 중심치와 상한치, 하한치, 상하한치 간의 검증희망 분할 수를 입력하면, 파라미터수와 각 분할 수를 곱한 전체 테스트케이스의 테스트 데이터가 자동 생성된다. 생성된 test data와 검증용 소스 프로그램을 시뮬레이션 장치에 걸면 희망조건의 시뮬레이션을 실행할 수 있어, 검증에 필요한 데이터를 취득할 수 있다.   검증결과 자율평가 소프트 이 소프트는 비행제어 소프트웨어 검증시험의 불합 판정기준과 제어설계자가 지도하는 모듈 마다 결과 예측치를 이용하여 검증시험결과의 자율평가를 실행, 소프트웨어의 이상 범위동정과 이상한곳의 압축을 자동으로 시행하는 것이다.  로켓의 거동 시뮬레이션 결과인 비행경로와 자세각 (피치, 롤, 요)등을 타임히스토리 그래프로 나타낸 것으로, 비행 제어측 설계자는 그 결과의 불합판정 및 어떤 제어 부분에 문제가 있는지를 대략적으로 판단할 수 있다. 한편  의 검증용 소스 프로그램을 출력하면 이분목 모델로 분할된 계층 구조의 제어 소프트가 출력되기 때문에, 분기단위 (블록) 마다 별도의 해석결과로 설계자가 그릴 수 있다고 설정한 truth value를 사전에 준비해 둔다. 이 truth value data (상한치 포함)를 검증조건설정화면에 입력하는 것으로 소프트 전체 또는 선택한 모듈에 관해서 검증 시험결과의 자율평가 조건이 설정된다.   5 조건을 설정하고 검증을 실행하면 truth value에서 누락된  부적합이 있을 경우에는 화면 상에 분기계층화가 표시된 프로그램의 어떤 범위에 부적합이 있는지 식별 표시된다.
파라미터 중심치와 상한치 하한치 상하한치 간의 검증 희망 분할 수를 입력하면 테스트 데이터가 자동 생성되고 시뮬레이션 장치에 걸면 검증에 필요한 데이터를 취득할 수 있다.