PyModel

PyModel 파이썬에서 오픈 소스 모델 기반의 테스트 프레임 워크입니다.
단위 테스트에서, 프로그래머 코드 테스트 케이스 및 테스트 케이스가 통과했는지 여부를 확인 또한 코드 주장. 모델 기반의 테스트에서, 또한 원하는만큼의 테스트 케이스를 생성하고 프로그래머 코드 "모델"는 사례를 확인하는 오라클의 역할을합니다.
많은 테스트 케이스가이 손으로 모두 코드 가능 아니라고 필요한 경우 모델 기반 테스트하는 것이 좋습니다. 각 시나리오 테스트 (또는 경우에 사용)해야한다 (등 데이터 값, interleavings) 역사 의존성 및 비 결정적, 너무 많은 변화를 나타내는 동작을 테스트 할 때 필요가 발생한다. 예를 들면, 통신 프로토콜, 웹 애플리케이션, 제어 시스템, 및 사용자 인터페이스를 포함한다.
PyModel은 테스트 실행 실행하는 것에 무한히 긴 반복되지 않는 테스트를 생성 할 수있는 즉석 테스트를 지원합니다. PyModel 조성물, 공유 작업을 동기화하고 공유하지 작업을 인터리빙하여 모델을 결합하는 다양한 기술에 의해 관심의 시나리오 테스트 케이스를 집중할 수 있습니다. PyModel는 프로그래머가 코딩 프로그램 전략에 따라 테스트 커버리지를 안내 할 수 있습니다.
PyModel 세 가지 프로그램을 제공합니다 :
- pma.py의 pymodel 분석기 : 유한 상태 기계 (FSM)를 생성하고, 모형 프로그램을 탐색하여 속성을 계산, FSM, 테스트 프로그램, 또는 이들의 제품.
- pmg.py의 pymodel 그래픽 : FSM에서 그래픽 명령 파일을 생성합니다.
- pmt.py의 pymodel 시험기 : 표시 흔적, 오프라인 시험을 생성 오프라인 시험을 실행하고, 또는 생성하고, 즉석에서 테스트를 실행한다.
시각화 및 PMT의 동작을 미리 PMA와 PMG를 사용합니다. PMA에 의해 생성 (및 PMG에 의해 그려진) 그래프를 통해 모든 경로는 PMA와 PMT이 같은 인수로 호출 할 때, PMT에 의해 생성 될 수있는 추적 (테스트 실행)입니다.
PyModel는 NModel에 의해 영향을하지만, 번역 또는 재 구현하지 않다

요구 사항 :.

파이썬