property-based-testing
シリアライゼーション、バリデーション、正規化、または純粋関数のテスト作成時に利用します。プロパティベーステストに必要なプロパティカタログ、パターン検出、ライブラリ参照を提供します。
description の原文を見る
Use when writing tests for serialization, validation, normalization, or pure functions - provides property catalog, pattern detection, and library reference for property-based testing
SKILL.md 本文
プロパティベーステスト
概要
プロパティベーステスト(PBT)はランダムな入力を生成し、すべての入力に対してプロパティが成り立つことを検証します。特定の例をテストする代わりに、不変条件(インバリアント)をテストします。
PBTが例ベーステストを上回る場面:
- シリアライゼーションペア(encode/decode)
- 明確な契約を持つ純粋関数
- バリデータとノーマライザ
- データ構造操作
プロパティカタログ
| プロパティ | 式 | 使用場面 |
|---|---|---|
| 往復(Roundtrip) | decode(encode(x)) == x | シリアライゼーション、変換ペア |
| べき等性(Idempotence) | f(f(x)) == f(x) | 正規化、フォーマット、ソート |
| 不変条件(Invariant) | 変換前後でプロパティが成立 | あらゆる変換 |
| 可換性(Commutativity) | f(a, b) == f(b, a) | 二項演算、集合操作 |
| 結合法則(Associativity) | f(f(a,b), c) == f(a, f(b,c)) | 操作の結合 |
| **単位 |
...
詳細情報
- 作者
- diegosouzapw
- ライセンス
- unknown
- 最終更新
- 2026/3/2
Source: https://github.com/diegosouzapw/awesome-omni-skill / ライセンス: unknown
関連スキル
doubt-driven-development
重要な判断はすべて、本番環境への展開前に新しい視点から対抗的レビューを実施します。速度より正確性が重要な場合、不慣れなコードを扱う場合、本番環境・セキュリティに関わるロジック・取り消し不可の操作など影響度が高い場合、または後でバグを修正するよりも今検証する方が効率的な場合に活用してください。
apprun-skills
TypeScriptを使用したAppRunアプリケーションのMVU設計に関する総合的なガイダンスが得られます。コンポーネントパターン、イベントハンドリング、状態管理（非同期ジェネレータを含む）、パラメータと保護機能を備えたルーティング・ナビゲーション、vistestを使用したテストに対応しています。AppRunコンポーネントの設計・レビュー、ルートの配線、状態フローの管理、AppRunテストの作成時に活用してください。
desloppify
コードベースのヘルスチェックと技術負債の追跡ツールです。コード品質、技術負債、デッドコード、大規模ファイル、ゴッドクラス、重複関数、コードスメル、命名規則の問題、インポートサイクル、結合度の問題についてユーザーが質問した場合に使用してください。また、ヘルススコアの確認、次の改善項目の提案、クリーンアップ計画の作成をリクエストされた際にも対応します。29言語に対応しています。
debugging-and-error-recovery
テストが失敗したり、ビルドが壊れたり、動作が期待と異なったり、予期しないエラーが発生したりした場合に、体系的な根本原因デバッグをガイドします。推測ではなく、根本原因を見つけて修正するための体系的なアプローチが必要な場合に使用してください。
test-driven-development
テスト駆動開発により実装を進めます。ロジックの実装、バグの修正、動作の変更など、あらゆる場面で活用できます。コードが正常に動作することを証明する必要がある場合、バグ報告を受けた場合、既存機能を修正する予定がある場合に使用してください。
incremental-implementation
変更を段階的に実施します。複数のファイルに影響する機能や変更を実装する場合に使用してください。大量のコードを一度に書こうとしている場合や、タスクが一度では完結できないほど大きい場合に活用します。