프로그래밍 관련 회사에서 일하게 되면 정적검증(정적분석), 단위검증 등 SW의 품질을 위한 부수적인 작업이 있다는 것을 자연스레 알게된다. 정적검증(정적분석)은 SW를 실행하지 않고 코드 레벨에서 분석을 진행하는 것으로 요구사양 대비 SW의 구현정도, 자료형 (오버플로우 등이 발생하지 않는지) 등을 분석한다. 정적검증이 완료되어 동작에 문제가 없다는 것이 판단이 선 이후에 진행하는 것이 단위검증이다. 단위검증에서 단위(Unit)란 주로 메소드 단위를 말한다. 메소드 단위로 요구했던 사양 그대로 정상적으로 동작하는 지에 대해서 여러 가지 측면에서 분석을 진행한다. MS에서도 단위검증을 위한 라이브러리를 제공하고 있다. 아래의 블로그 글을 참조하면 MS에서 제공하는 MSTest 프로젝트로 C#으로 작성된 코..
