소프트웨어공학 소프트웨어 딥러닝 verification validation