개요QuickCheck은 테스트 케이스를 수동으로 작성하는 대신, 함수 또는 시스템의 일반적인 속성(Property)을 정의하고 무작위로 생성된 다양한 입력값에 대해 해당 속성을 검증하는 방식의 테스트 자동화 프레임워크입니다. 1999년 Erlang/하스켈(Haskell)에서 시작되었으며, 이후 다양한 언어로 포팅되었습니다.1. 개념 및 정의 항목 설명 정의함수나 프로그램의 속성(Property)을 정의하고, 무작위 입력으로 그 속성이 성립하는지 자동 검증하는 테스트 프레임워크목적엣지 케이스(경계 조건)나 버그를 자동 탐지하고, 테스트 커버리지를 향상필요성수동 단위 테스트로는 검출 어려운 예외 및 논리적 결함 검출QuickCheck은 "assert output property over generated..
