PyModel

PyModel là một khuôn khổ kiểm tra mã nguồn mở dựa trên mô hình trong Python.
Trong kiểm tra đơn vị, các mã lập trình các trường hợp thử nghiệm, và cũng khẳng định rằng mã kiểm tra xem mỗi trường hợp kiểm tra thông qua. Trong thử nghiệm dựa trên mô hình, các mã lập trình một "mô hình" mà tạo ra nhiều trường hợp thử nghiệm như mong muốn và cũng hoạt động như oracle để kiểm tra các trường hợp.
Dựa trên mô hình thử nghiệm được đề nghị mà rất nhiều trường hợp thử nghiệm là cần thiết rằng nó không phải là khả thi đoạn mã đó để tất cả bằng tay. Nhu cầu này phát sinh khi kiểm tra hành vi triển lãm lịch sử phụ thuộc và nondeterminism, vì vậy mà nhiều biến thể (giá trị dữ liệu, interleavings, vv) phải được kiểm tra cho mỗi kịch bản (hoặc sử dụng trường hợp). Các ví dụ bao gồm các giao thức truyền thông, các ứng dụng web, hệ thống kiểm soát, và giao diện người dùng.
PyModel hỗ trợ on-the-fly thử nghiệm, trong đó có thể tạo ra các bài kiểm tra nonrepeating vô thời hạn miễn là chạy thử nghiệm thực hiện. PyModel có thể tập trung các trường hợp thử nghiệm trên các tình huống quan tâm của các thành phần, một kỹ thuật đa năng kết hợp mô hình bằng cách đồng bộ các hoạt động chia sẻ và đan xen những hành động không có ai chia sẻ. PyModel có thể hướng dẫn kiểm tra bảo hiểm theo các chiến lược có thể lập trình được mã hoá bởi các lập trình viên.
PyModel cung cấp ba chương trình:
- Pma.py pymodel phân tích: tạo ra một máy trạng thái hữu hạn (FSM) và tính toán tài sản bằng cách khám phá một chương trình mô hình, FSM, bộ kiểm tra, hoặc một sản phẩm trong số này.
- Đồ họa pmg.py pymodel: tạo ra một tập tin của lệnh đồ họa từ một FSM.
- Pmt.py pymodel thử: hiển thị các dấu vết, tạo ra các bài kiểm tra trực tuyến, thực hiện các bài kiểm tra trực tuyến, hoặc tạo ra và thực hiện các bài kiểm tra on-the-fly.
Sử dụng PMA và PMG để hình dung và xem trước các hành vi của pmt. Mỗi con đường thông qua đồ thị tạo ra bởi PMA (và được vẽ bởi PMG) là một dấu vết (chạy thử) có thể được tạo ra bởi pmt, khi PMA và pmt được gọi với đối số tương tự.
PyModel bị ảnh hưởng bởi NModel, nhưng không phải là một bản dịch hoặc thực hiện lại

Yêu cầu .

• Python