CrossHair
v0.0.80
테스트와 유형 시스템 사이의 라인을 흐리게하는 파이썬을위한 분석 도구.
최신 뉴스 : Python의 가장 인기있는 부동산 기반 테스트 도구 인 Hypothesis는 이제 Crosshair를 선택적인 백엔드로 지원합니다!
유형 주석이있는 기능이 있고 지원되는 구문에서 계약을 추가하는 경우 Crosshair는 다음과 같은 반례를 찾으려고합니다.
Crosshair는 상징적 입력으로 기능을 반복적으로 호출하여 작동합니다. SMT 솔버 (일종의 정리 속담)를 사용하여 실행 가능한 실행 경로를 탐색하고 반음을 찾습니다. 이것은 새로운 아이디어가 아닙니다. 이 백서에서 파이썬 접근법이 처음 설명되었습니다. 그러나 내가 아는 한 Crosshair는 가장 완벽한 구현입니다. 내장 유형, 사용자 정의 클래스 및 표준 라이브러리의 대부분에 상징적 추론을 사용할 수 있습니다.
브라우저에서 Crosshair-web.org에서 지금 Crosshair를 사용해보십시오!
Crosshair는 vs Code, Pycharm 등에 대한 IDE 통합이 있습니다.
마지막으로 Crosshair는 계약을 확인하는 것 이상을 수행 할 수 있습니다. 또한 단위 테스트를 생성하고 기능 간의 행동 차이를 찾을 수 있습니다.
도와주고 싶습니까? 이메일 또는 RSS 업데이트에 가입하십시오. 별 슬 리포지토리. 도울 수있는 다른 방법도 있습니다.
