스폰서 링크:

UPPAAL

UPPAAL 4.0.6

UPPAAL 모델링, 검증 및 데이터 유형 확장 타임 드 오토마타의 네트워크 (경계 정수, 배열 등)로서 모델링 실시간 시스템의 검증을위한 통합 툴 환경이다.UPPAAL 코라는 VHS와하기 Ametist 프로젝트의 일환으로 UPPAAL 팀에 의해 개발 비용 최적의 도달 가능성 Anslysis에 대한 UPPAAL의 지점입니다. UPPAAL는 시간 제한 오토마타의 모델 검사를 지원하는 반면, UPPAAL 코라는 LPTA라는 시간 제한 오토마타의 확장을...

rgf

rgf 0.2.0.1

RGF 파이썬에 대한 RSpec에 - 억양 BDD 테스트 프레임 워크에서 현재 실험적인 시도이다.기본적으로 우리는이 라인을 따라 구문을 목표로하고 있습니다 :RGF 가져 오기, 그것을 설명에서( "그 일을") 설명과 :& NBSP; @it ( "테스트 DESC")& NBSP; 데프 사양 (컨텍스트) :& NBSP 여기서 # 테스트 코드& NBSP;) (물건을 주장x_spec.py 파일은 프로젝트의 루트에 / 컨벤션, 사양에 의해, 아래의 디렉토리 구조에...

crackerjack

crackerjack 2.0.0

crackerjack는 리눅스 커널의 회귀를 찾을 수있는 체계적인 방법을 제공하는 리눅스 커널 회귀 테스트 프레임 워크를 제공합니다.리눅스 커널은 유닉스와 유사한 운영체제 커널입니다. 그것은 운영 체제의 리눅스 가족의 이름을 딴 것입니다. GNU 일반 공중 사용 허가서 버전 2 (GPLv2에)해서 출시하고 전 세계적으로 참여자가 개발 한 리눅스는 자유 소프트웨어의 가장 눈에 띄는 사례 중 하나입니다.리눅스 커널은 초기 임신 초기에 1991 년 리누스...

TestLink

TestLink 1.9.9

있는 testLink는 웹 기반의 테스트 케이스 관리 및 실행 추적 시스템은 PHP, MySQL은, 여러 다른 오픈 소스 기술을 사용하여 만든 오픈 소스입니다.쉽게 관리하고 테스트 케이스를 만들뿐만 아니라 팀 구성원이 테스트 케이스를 실행하고 동적 테스트 결과를 추적 할 수 있도록 시험 계획,로를 구성하는 (품질 보증) 팀,있는 testLink은 Q & A & NBSP 수 있습니다.그것의 기능 중, 우리는 요구 사항 관리, 테스트 사양, 테스트 실행...

스폰서 링크:

JProfiler

JProfiler 8.0.3

JProfiler와는 상업 및 크로스 플랫폼 수상 경력을 자랑하는 올인원 자바 프로파일 러이다.X & NBSP;는 Java로 작성되어 있기 때문에, JProfiler와는 리눅스, 맥 OS & NBSP에 사용할 수 있으며, Windows 플랫폼 이 특징 : 있습니다. 로컬 세션의 라이브 프로파일원격 세션의 라이브 프로파일오프라인 프로파일 링스냅 샷 비교 이 릴리스의 새로운 기능입니다 무엇 : 이 새로운 기능을 :인 IntelliJ의 IDEA 13...

YourKit Java Profiler

YourKit Java Profiler 2015 Build 15068 업데이트

YourKit 자바 프로파일 쉽게 CPU 및 메모리 관련 성능 문제를 해결하는 다양한 사용자있게 상업적 CPU 및 메모리 프로파일 소프트웨어이다.YourKit 자바 프로파일은 당신의 JUnit 테스트 프로세스의 일부로, 매우 낮은 프로파일 링 오버 헤드로 메모리 분포, 개체 힙 브라우저, 포괄적 인 메모리 테스트의 분석을위한 자동 누수 탐지, 강력한 도구를 제공합니다. 이 새로운 기능 자료 : 에이전트 : Windows 버전 감지 개선. 특히,...

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

SLAMD

SLAMD 1.8.2

SLAMD 분산로드 생성 엔진 (SLAMD)의 스트레스 테스트 및 네트워크 기반 응용 프로그램의 성능 분석을 위해 설계된 자바 기반 응용 프로그램입니다. 그것은 원래는 Sun Microsystems, Inc.에 의해 개발되었다 있지만 OSI 승인 오픈 소스 라이센스 인 일 공중 사용 허가서를 오픈 소스 애플리케이션으로 출시되었습니다.SLAMD에 대한 정보를 얻기위한 주요 사이트 http://www.slamd.com/이지만 java.net 프로젝트로...

스폰서 링크:

AutobahnTestSuite는 트위스트 기반 웹 소켓 / WAMP 프로토콜 구현 테스트 제품군입니다.AutobahnTestSuite는 웹 소켓 프로토콜의 클라이언트와 서버 구현을 확인하기 위해 완전 자동화 된 테스트 스위트를 제공합니다.테스트 스위트는 기본 웹 소켓 대화, 광범위한 프로토콜 적합성 검증 및 성능과 한계 테스트를 수행하여 구현을 확인합니다.취재 약 300 테스트 케이스를 포함- 프레임- 핑 / PONGS- 예약 비트- 오피 코드-...

gprof2dot.py 스크립트는 점 그래프로 gprof은 출력을 변환 할 수 있습니다. 그것은 정확하게, 당신이 특정 임계 값 미만 노드와 에지를 제거 할 수 있도록 특별한 표기 gprof은 상호 재귀 함수에 사용하는 구문 분석 할 수 있습니다 핫스팟에주의를 집중시키기 위해 효율적으로 컬러를 사용하고, 모든 플랫폼 곳에서 작동, C ++ 템플릿 함수 이름을 구문 분석 할 수 GNU gprof은,은 GraphVIZ, 파이썬, 즉 어디서나 사용할 수...