2013-11-23 2 views
3

나는 make scalacheck tests deterministic이 될 수 있음을 알고 있지만 더 일반적인 질문이 있습니다. scalacheck의 기본 비 결정적 동작이 실질적인 문제를 일으 킵니까? 필자는 항상 테스트가 결정적이고 반복적이어야한다고 생각했으며, 다른 방법은 나쁜 테스트 설계를 신호로 알려주고 있습니다. Scalacheck은 몇 가지 "심각한"프로젝트에서 사용되는 것으로 보이므로이 결정적 원리를 깨뜨리는 것이 실제 (이론적 인 것뿐만 아니라) 실제 문제가 아닌지 궁금합니다.scalacheck 비 결정적 접근법에 문제가 있습니까?

답변

2

"테스트는 결정적이고 반복 가능해야합니다."가 항상 적용되는 것은 아닙니다. 그들은 분명히 그들의 큰 장소를 가지고 있지만, 무작위 시험은 유용합니다. QuickCheck/ScalaCheck 및 친구 외에도 fuzzing과 같은 접근 방식이 있습니다.

+0

제공된 링크에서 "오류를 재생할 수 있도록 소프트웨어를 퍼지하는 것은 종종 입력 데이터를 기록합니다"라고 말하면 내 질문에 감사합니다. 감사합니다! – kuonirat

+0

아 그래, 특히 ScalaCheck는 기본적으로 실패한 테스트의 인수를 출력합니다 (물론 정상적인 'toString'을 사용하는 경우에만 제대로 작동합니다). –

관련 문제