ユーザー中心の特性ベーステスト：博士論文
2025-01-06
この博士論文は、より多くの開発者にリーチするために、プロパティベーステスト（PBT）の使いやすさを向上させることに焦点を当てています。詳細なユーザー調査を通じて、研究者は、ランダムデータの生成とテストの有効性の評価においてPBTユーザーが直面する課題を特定しました。これに対処するために、この論文は、改良されたランダムデータジェネレーターのための新しいアルゴリズムを提案し、PBTに関するより深い洞察を提供し、使いやすさを向上させるオープンソースツールTycheを開発しました。最終的に、より良いソフトウェアの品質と保証につながります。
開発
プロパティベーステスト