Test-Driven Development Using `hypothesis` and `deal`
Chưa có ai nhận issue này.
Đánh giá
- Độ khó
- 5/5
- Thời gian dự kiến
- Hơn một tuần
- Mức phù hợp với người mới
- 25/100
- Loại issue
- Tính năng
- Độ rõ ràng
- Cần làm rõ
- Mức độ hoạt động
- Đình trệ
- Công nghệ
- python
- Lĩnh vực
- testing-qa
Hướng nghiên cứu
Issue không nêu tên bất kỳ tệp, bài kiểm thử hoặc điểm vào nào trong mesa-frames. Trước tiên, hãy kiểm tra bố cục kiểm thử hiện có và các dependency của dự án, sau đó xác định phần code nào nên sử dụng hypothesis và deal; tiêu chí hoàn tất phải bao gồm phạm vi đã thống nhất cùng các bài kiểm thử dựa trên thuộc tính hoặc kiểm thử contract tương ứng.
Do mô hình lập chỉ mục viết ra từ nội dung của issue.
Mô tả
hypothesis is a property-based testing library that generates test cases automatically, covering a wide range of input scenarios. This approach helps uncover edge cases and unexpected behaviors that might be missed with manually written tests.
deal is a contract-based programming library that enforces a Design by contract (DbC) approach for functions, specifying preconditions, postconditions, and invariants. This ensures that functions behave as expected, making the codebase more robust and predictable. Additionally, Deal has an experimental feature for formal verification, which provides mathematical proof of code correctness, further enhancing reliability.
- Ngôn ngữ chính
- Python
- Star
- 44
- Fork
- 20
- Merge trung bình
- 1 phút
- Pull request đã merge (30 ngày)
- 1
Chuẩn bị môi trường
- Không có Dockerfile hay tệp Docker Compose
- Không có mẫu pull request
- Đọc hướng dẫn đóng góp
Bắt đầu từ đâu
- Đọc hết issue, rồi đọc hướng dẫn đóng góp của dự án.
- Bình luận trên issue rằng bạn sẽ nhận — tránh hai người làm cùng một việc.
- Fork repository và làm thay đổi trên một nhánh.
- Mở pull request có tham chiếu số hiệu của issue.
Issue khác của mesa/mesa-frames
-
Mesa-frames 0.2.0Đang mở
Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100
mesa/mesa-frames#186 · 10 bình luận ·
-
feature triage
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100
mesa/mesa-frames#177 · 1 bình luận ·
-
[Bug]: Solving polars Deprecation warnings for `is_in`Có thể đã có người làm @adamamer20 đã nhận 424 ngày trước. Đang mởbug good first issue maintenance Sprints!
mesa/mesa-frames#174 · 2 bình luận · 1 người được giao ·
-
[Enhancement] : agents selection in AgentsDf would be better if it returns agent_idx/name as keyĐang mởenhancement
Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 40/100
mesa/mesa-frames#162 · 1 bình luận ·
-
[Feature]: Easy seed accessor across the entire codebaseCó thể làm lại được @falloficaruss đã nhận 323 ngày trước và không có pull request nào đang mở. Đang mởfeature good first issue Sprints!
Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100
mesa/mesa-frames#159 · 3 bình luận ·
Tất cả issue của mesa/mesa-frames
Issue tương tự
-
app: scripts status: backlog type: documentation
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 86/100
netbox-community/netbox-scripts#68 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 91/100
marin-community/marin#10765 ·
Maintainer thường phản hồi trong vòng 1 ngày
-
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 70/100
flathub/com.unity.UnityHub#230 ·
-
Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 72/100
Maintainer thường phản hồi trong vòng 1 ngày
-
Claiming namespace `lang2hong`Đang mởnamespace operations
Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 63/100
EclipseFdn/open-vsx.org#14910 ·
Maintainer thường phản hồi trong vòng 1 ngày