이 있어야 함 품질 보증 및 테스트 소프트웨어 에 Linux

갈치는 상황에 특정 테스트를 제공합니다 코 플러그인입니다 요구 사항 : 있습니다. ...

게이-테스트 리나의 악어 모듈과 게이 데몬이 출시 확인하는 테스트를 제공하는 응용 프로그램입니다 이 요구 사항 : 있습니다. ...

(: GC / -Xloggc : -flags -verbose) GCViewer는 IBM과 썬 자바 가상 머신에 의해 생성 된 자세한 가비지 콜렉션 출력을 시각화 스윙 기반 응용 프로그램입니다.데이터는 스프레드 시트 응용 프로그램 forther 처리를 위해 CSV로 내보낼 수 있습니다. 하나는, 특히 세대 크기 및 초기 힙 사이즈 가비지 수집기를 튜닝 할 때 도움이 될 수있는 데이터를 시각화.여기에 "GCViewer"의 일부 주요 기능은 다음과...

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

할머니는 조합 테스트를위한 일련의 유틸리티입니다.개발자 코멘트지금은 5 년에 대한 테스트 소프트웨어를 독점적으로 일하고있다 ...현재 내가 최선의 노력을 기준으로 지원을 제공하려고합니다. 당신이 경우에 토론 포럼을 해결해야 당신이 등 질문, 버그 리포트, 기능 요청을 가지고 : http://groups.google.com/group/testing-software-org엠마 툴킷 또는 히치하이커 가이드에 대한 자세한 내용은 자동화를 참조하십시오...

GUnit는 JUnit을의 정신에 C 유닛 테스트 프레임 워크입니다. GUnit 프레임 워크는 Hildon UI (maemo.org)을위한 사용하기 쉬운 그놈 라이브러리를 기반 GUI뿐만 아니라 지원을 포함한다.설치 :'패키지의 소스 코드를 입력`./configure 실행을 포함하는 디렉토리에'1 'CD는 시스템에 패키지를 구성 할 수 있습니다. 당신은`csh를 사용하는 경우 대신 자신을`configure를 실행하려고에서`csh를...

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

HOL-TestGen은 (HOL) 하나가 높은 순서 논리의 테스트 사양을 작성할 수 있습니다. 이는 반 - 자동 추상 테스트 케이스 결과 입력 공간을 분할하고, 자동 콘크리트 테스트 데이터를 선택할 수있다.(SML)에서 테스트 하니스의 자동 생성을 지원하고, 외국어 인터페이스를 사용하고, 임의의 언어 (예를 들면 C)의 구현은 테스트 될 수있다.HOL-OCL은​​ 자유 소프트웨어입니다 당신은 그것을 재배포 및 / 또는 GPL의 규정에 따라 수정할 수...

importchecker은 파이썬 모듈에서 사용되지 않는 수입을 찾을 수있는 명령 줄 유틸리티입니다.그 출력은 "그렙 같은"이다 (따라서 및 "이맥스 친화적"), 모듈의 파일 이름과 acually 모듈에서 사용하지 않는 이름을 가져 줄 번호를 모두보고.Importchecker 소스 파일을 수정하지 않습니다. 가져 오기가 제거되어야 여부는 개발자의 판단에 맡길 수 있습니다.설치importchecker의 명령 행 유틸리티는 easy_install을 명령을...

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