databene benerator 테스트 (단위 / 통합 / 부하) 및 쇼케이스 설치에 사용되는 현실적이고 유효한 대용량 테스트 데이터를 생성하기위한 프레임 워크입니다.메타 데이터의 제약 시스템 및 / 또는 구성 파일에서 가져옵니다. 데이터에서 가져온 파일과 시스템, 익명 또는 처음부터 생성로 내보낼 수 있습니다. 도메인 패키지는 언어와 지역에 국제화의 이름과 주소와 같은 도메인 별 데이터를 생성하기위한 재사용 가능한 발전기를 제공합니다. 이 플러그인과...

dfuzz

dfuzz 0.6

. dfuzz은 자동 데몬 구성 fuzzer & NBSP이며, 오히려 fuzzer 자체 것보다, dfuzz는 조금 어려운 테스트 자동화 된하게 몇 가지 일반적인 결함을 해결하는 다른 간단한 fuzzers에 대한 래퍼입니다.그것의 주요 타겟은 구성 파일이 있지만, 어떤 입력 파일을 퍼징하는 dfuzz 사용하는 것이 가능하다.로 해결할 수 dfuzz 주요 문제는 다음과 같습니다- fuzzers의 알파 버전 - fuzzers의 대부분은 더 이상 개발 또는...

dingus

dingus 0.3.4

dingus 일종의 모의 객체 같다. 주요 차이점은 미리 기대치를 설정하지 않아도됩니다. 당신은 다른 개체 또는 클래스 대신에 dingus를 사용하여 코드를 실행하고, 그것이 어떻게되는지 기록합니다. 코드이 수행되고 나면 그런 다음, 당신은 dingus에게 한 짓에 대한 주장을 할 수 있습니다.새로운 dingus는 Dingus 클래스에서 생성됩니다. 당신은 플레이에 여러 dinguses있다 특히, 테스트를 디버깅하는 데 도움이 dinguses 이름을...

DREAM Tool

DREAM Tool 0.7 Beta

DREAM 도구는 여러 (실시간, 소비 전력, 리소스) 제약 조건을 표현할 수있는 공통 시맨틱 도메인을 제공하는 것을 목적으로 일반적인 프레임 워크이다.의미 도메인은 의미 하이브리드 오토마타의 형식주의에 고정 된 실행 C ++ 모델이 있습니다. 계산의 모델은 하이브리드 자동 장치에 해당하지만, 지금까지 우리는 적당한 크기의 시스템에서 시간 초과 오토마타를 사용하여 보수적 근사 모델을 분석하는데 성공했다.대규모 예제와 함께 사용자를 다루는 것은 시스템이...

DTest

DTest 0.5.0

DTest 파이썬 제공하는 표준 유닛 테스트 패키지와 유사한 테스트 프레임 워크이다. DTest 대한 부가 가치 그러나 eventlet 패키지의 사용을 통해, 나사 결합되는 테스트 실행된다. 따라서 "DTest"에서 "D"- - DTest 패키지는 테스트 및 테스트 설비 사이의 "종속"의 개념을 제공하는 매칭 테스트 설비가 완료 설정 될 때까지 테스트가 실행되지 않도록하고, 그 연관된 모든 테스트를 완료 할 때까지 시험 설비가 실행되지 않습니다 해체....

임베디드 프로파일은 낮은 오버 헤드 C ++ 프로파일 러의 역할을하는 밑바닥에서 만든 그래픽 및 명령 줄 소프트웨어를 모두이다. 응용 프로그램은 컴파일러의 다양한 기능을 자동으로 계측하여 백업하고 모든 주요 운영 체제에서 지원됩니다.이 대상에 프로파일을 제공하기 때문에 당신은, 당신의 C ++ 코드를 프로파일 링하는 임베디드 프로파일 러를 사용한다, 그것은 및 다른 URL;의 멀티 스레드, 낮은 오버 헤드는, CPU 사이클 정확도를 제공하고 그래프를...

ESC/Java2

ESC/Java2 2.0 Beta 5

ESC / 자바 2는 자바에 대한 확장 된 정적 검사입니다. 자동 정적 및 모듈 식 일반적인 프로그래밍 에러를 검출한다. (선택 사항) 주석 JML에 작성한 자바 프로그램에 대한 ESC / 자바 2 이유로 이 릴리스의 새로운 기능입니다. 아무 주요 기능 변화는 없지만, 몇 가지 버그 수정 및 정리 의 기능을 기존의.이것은 최종 릴리스와 제 stable 릴리스하기위한...