상단 품질 보증 및 테스트 소프트웨어 에 Linux

HOL 짧은 고차 로직으로부터 정리이 입증 증거 툴이 구현 될 수있는 프로그래밍 환경이다.내장 된 의사 결정 절차 및 정리의 피 인증이 자동으로 많은 간단한 정리를 설정할 수 있습니다. 오라클 메커니즘은 SAT와 BDD 엔진과 같은 외부 프로그램에 액세스 할 수 있습니다.HOL 4는 공제, 실행 및 속성 검사의 조합을 구현하기위한 플랫폼으로 적합하다 이 릴리스의 새로운 기능 무엇 :. HolSmtLib는 이제 목표에 Z3 증거 재건을 지원 고정 폭...

TestManager를이 테스트 케이스를 만들 카탈로그에 정​​리할 생성 테스트 계획 및 실행 상태와 결과를 추적 할 수있는 Trac의 플러그인입니다.다르게 테스트 케이스 홀더로 티켓 이용 Trac의 다른 테스트 관리 플러그인에서,이 테스트 케이스를 저장하는 위키 페이지와 추가 독점 데이터 모델을 사용합니다. 이것은 당신이 티켓 아닌 뭔가 티켓 목록을 오염시키지 할 수 있으며, 동시에 위키 페이지에 대한 Trac의 검색 엔진 및 서식 구문에 의해...

EXQUIRES - 평가 측광하고 확장 정량적으로 이미지 확대 스위트 룸설명서 및 지침방문하십시오 http://exquires.rivetsforbreakfast.com기본 설치 지침EXQUIRES 핍을 사용 PyPI에서 설치할 수 있습니다 :-U의 exquires를 설치 PIP또는 보관 취소 PyPI에서 소스 배포판을 다운로드 및 실행파이썬 setup.py 설치자세한 설치 방법이 지침은 데비안 / 우분투 리눅스를위한 것입니다. 다른 플랫폼 설치 시스템...

. Py.Saunter 현재에 코 & NBSP을 기반으로하는 프로젝트입니다; 그것은 정말 빨리 Py.Test을 기반으로합니다.설치셀레늄과 파이썬을 최대한 만들기 위해; 여기 예제 코드를 사용하려면 다음을 수행해야& NBSP; sudo를 핍 코를 설치& NBSP; sudo를 핍 unittest2 설치& NBSP; sudo를 핍 스핑크스를 설치& NBSP; sudo를 핍 셀레늄을 설치참고 : OSX는 기본 파이썬 설치 이외의 것을 사용에; 이...

noseOfYeti 파이썬 테스트를 위해 RSpec에 스타일 BDD의 DSL을 제공하기 위해 코덱 스타일을 사용 http://github.com/fmeyer/yeti에서 영감을 코에 플러그인입니다 이 요구 사항 :. ...

용암 대시 보드는 테스트 결과에 대한 저장소입니다.패키지 문서 이 요구 사항 : 이...

코 소켓 - 화이트리스트는 모든 항목을 로그 또는 잘못된 테스트가 실패하는 원인 중 하나를 허용, 비 로컬 소켓에 대한 socket.getaddrinfo 패치 코 플러그인입니다.socketwhitelist.plugins.LoggingSocketWhitelistPlugin& NBSP는, 소켓이 모든 테스트 실행이 완료되면 sys.stderr에하는 summaray 보고서를 인쇄, 개방 시험 (들)을...

eutester는 AWS 호환 구름에 대한 테스트 프레임 워크입니다.패키지 문서 이 요구 사항 : 이...

jstestnetlib는 자바 스크립트 TestNet 서버에 대해 자바 스크립트 테스트를 실행하기위한 파이썬 모듈이다.설치실행 PIP 사용 :자식 + 자식을 설치 PIP : //github.com/kumar303/jstestnetlib.git#egg=jstestnetlib을테스트 실행자바 스크립트 테스트는 코를 사용하여 실행할 수 있습니다. 예를 들어 :nosetests --with-jstests \& NBSP; - jstests 서버...

pyfix 테스트 기능을 쓰기 위해 특별히 설계된 파이썬 모듈이다.설치& NBSP; pyfix를 설치 PIP용법여기서 중요한 예이다 :pyfix 수입 테스트에서, 주pyassert 수입 assert_that에서@Test데프 ensure_that_two_plus_two_equals_four () :& NBSP; assert_that (2 + 2) .equals (4)@TestDEF) (ensure_that_two_plus_three_equals_five...