가장 좋은 품질 보증 및 테스트 소프트웨어 에 Linux

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

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

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

Acovea는 GCC C 및 C ++ 컴파일러와 프로그램을 컴파일에 대해 "최고"옵션을 찾기위한 유전자 알고리즘을 구현합니다.ACOVEA (진화 알고리즘을 통해 컴파일러 옵션의 분석은)는 GCC (GNU Compiler Collection) C 및 C ++ 컴파일러와 프로그램을 컴파일에 대해 "최고"옵션을 찾기 위해 유전자 알고리즘을 구현합니다."최적"이 컨텍스트에서, 주어진 소스 코드에서 가장 빠르게 실행 가능한 프로그램을 생성 해당 옵션으로...

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

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

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

Tcpreplay은 (TCP는 (전송 제어 프로토콜) 재생은) * NIX 운영 체제, 수 있도록 사용자를위한 여러 가지 유틸리티로 구성하는 명령 줄 도구의 역할을 할 수있는 오픈 소스와 자유 소프트웨어 프로젝트 C 구현 및 설계이다 libpcap의 라이브러리를 통해 캡처 된 트래픽을 이용하여 네트워크의 다양한 장치를 테스트하기 위해. 이 프로그램은 C 프로그래밍 언어로 작성하고 솔라리스, BSD 및 Mac OS X 등의 다양한 GNU / Linux...

pagerunit 단위 테스트처럼 보이도록 만든 간단한 Nagios의 대안이다.개발자 코멘트이것은 아마 나쁜 생각하지만 (말하자면) 나는 종이에 뭔가를 얻고 싶었다 그래서 나는 다시 실제 작업을 얻을 수 있습니다.용법이 /etc/pagerunit.cfg에 이메일을 보낼 수 있도록 PagerUnit를 구성 또는 ~ / .pagerunit.cfg :[메일]= recipient@example.com를 해결[SMTP]암호 = 암호포트 = 587서버 =...

주입 개발자는 완전히 소프트웨어 아키텍처의 품질뿐만 아니라, 디자인 성을 제어 할 수 있도록 자바로 작성된 상업적 이클립스 기반 애플리케이션이다.자바, C ++ & NBSP 처리 할 수​​ 있다는, 그리고 C 프로젝트를, 주입의 주요 목표는 그 어느 때보 다 복잡한 LOC 프로젝트의 품질 보증을 쉽게하는 것입니다.주입은 크로스 플랫폼 소프트웨어이며 리눅스, 맥 OS X와​​ Windows 플랫폼에서 실행 이 특징은 :있다. 이 메트릭 기반의 메트릭...