1180.19 소프트웨어 동적 시험에 의한 검증