무료 품질 보증 및 테스트 소프트웨어 에 Linux
HOL 짧은 고차 로직으로부터 정리이 입증 증거 툴이 구현 될 수있는 프로그래밍 환경이다.내장 된 의사 결정 절차 및 정리의 피 인증이 자동으로 많은 간단한 정리를 설정할 수 있습니다. 오라클 메커니즘은 SAT와 BDD 엔진과 같은 외부 프로그램에 액세스 할 수 있습니다.HOL 4는 공제, 실행 및 속성 검사의 조합을 구현하기위한 플랫폼으로 적합하다 이 릴리스의 새로운 기능 무엇 :. HolSmtLib는 이제 목표에 Z3 증거 재건을 지원 고정 폭...
openstack.nose_plugin는 OpenStack은의 run_tests.py의 출력을 모방 nosetests 출력을 제공하는 코 플러그인입니다.설치& NBSP; openstack.nose_plugin 설치 PIP용법다음과 같은 옵션을 availible 있습니다 :& NBSP; - - OpenStack은과& NBSP; 플러그인을 사용 OpenStack은 : 노바 스타일의 출력 발생기 [NOSE_WITH_OPENSTACK]& NBSP; -...
expecter는 주장을 작성하는 것이 도움이됩니다. 다시는 당신이 예상하는 실제이다하는 것을 잊지 것입니다!기본 기대는 쉽게 :& NBSP; >>> expecter 수입이 예상에서& NBSP; >>> ( '일부'+ '일') == '뭔가'를 기대& NBSP는 ( '뭔가')를 기대& NBSP; >>> 기대 (1)> 100& NBSP; 역 추적 (가장 최근 통화 마지막) :& NBSP; ...&...
noseenv의 형식은 "--env ENVIRONMENT_VARIABLE = VALUE"의 옵션을 추가 할 수있는 코 플러그인입니다.- PyPI : http://pypi.python.org/pypi/noseenv- 트래비스 CI :...
코는 높은 수준의 테스트를 용이하게하는 코 확장입니다.테스트 클래스가 같은 어떤 그룹으로 유용한 메타 데이터가 포함 데코레이터를 통해 등록 강요에 의해 발견되는 방법을 변경 그들은 다른 테스트에 종속, 그들이 무시해야하는지 여부에 있습니다.코 정렬 원하는 실행 순서에 등록 된 모든 테스트는 다음이 코에 전달 테스트 스위트를 생성합니다. 당신이 정확한 테스트 클래스에 통과하지 않고 실행하고자하는 테스트 그룹을 지정하는 것이 가능하도록 또한이 목록을 필터링...
펄스 프로젝트는 코드의 무결성을 보장하기 위해 당신과 함께 작동하도록 설계 자동화 된 빌드 (또는 지속적인 통합) 서버입니다.펄스는 정기적으로 프로젝트를 빌드, 당신의 SCM로부터 소스 코드를 검사하고, 그 결과를 통지 이 특징 :. 이 어떤 프로젝트를 빌드 : 임의의 명령을 실행하거나 개미에 대한 지원을 사용 , 만들거나 받는다는.캡처 빌드 유물 : 파일, 디렉토리, HTML 보고서. 필터는 와일드 카드를 사용하여 파일을 수집.정보를 추출 : 정규...
간증은 파이썬의 유닛 테스트 모듈과 코 대신합니다.유닛 테스트를 모델로 간증하고, 테스트는 유닛 테스트가 조정 최소한의 증언에 따라 실행 용으로 작성하지만, 위 유닛 테스트를 넘어 기능을 가지고 있습니다 :& NBSP; * 시험 방법의 전체 집합에 대해 한 번씩 실행되는 클래스 수준 설정 및 해체 고정 방법.& NBSP * 슈퍼에 대한 필요성을 제거 조명기 방법 용 장식 기반 접근법 () 호출한다.& NBSP; * 더 파이썬, 이하 자바& NBSP; *...
는 pytest 마커 - 질라는 버그질라 통합을위한 py.test 플러그인입니다 & NBSP;이 플러그인은 현재 다음과 같은 워크 플로우를 가정합니다. :에 bug_status 버그가 알려져 있으며, 작업중인이므로 테스트가 생략되어야하고 있다는 것을 의미, 작업 '' 'ON_DEV' 'NEW'].bug_status에 [ 'NEW', 'ON_DEV'작업 ''] 버그가...
마라톤 표준 스크립트 언어 & ndash를 포함하여, 모든 자바 / 스윙 구성 요소에 대한 지원을 제공하는 프레임 워크입니다; 루비와 파이썬.마라톤은 기록 및 테스트 스크립트를 사용하지 않고 원시 행동보다 구성 요소에 대한 의미 론적 작업을 기록 할 수있다 이 특징 :. 이 유연한지능형 스크립트 레코더예비 테스트표준 스크립팅 언어유연하고 강력한 개체 인식세미 자동 테스트 이 릴리스의 새로운 기능 : 이 버전의 주요 기능 개선 및 버그 수정이...
있는 testLink는 웹 기반의 테스트 케이스 관리 및 실행 추적 시스템은 PHP, MySQL은, 여러 다른 오픈 소스 기술을 사용하여 만든 오픈 소스입니다.쉽게 관리하고 테스트 케이스를 만들뿐만 아니라 팀 구성원이 테스트 케이스를 실행하고 동적 테스트 결과를 추적 할 수 있도록 시험 계획,로를 구성하는 (품질 보증) 팀,있는 testLink은 Q & A & NBSP 수 있습니다.그것의 기능 중, 우리는 요구 사항 관리, 테스트 사양, 테스트 실행...
