アジャイルでは、ドキュメントより動くソフトウェアを重視すると言いますが、そのソフトウェアが正しいことを証明するための有効な方法は? 確かに、ドキュメントよりも動くソフトウェアを重視しますが、まったくドキュメントが無いわけではありません。私の考える不要なドキュメントは、主に、システムの中身、モジュール構造などを表した内部設計仕様書です。ソフトウェアの内部構造については、リファクタリングを実施するので、頻繁に変化してしまうということもあり、それが動くソフトウェアを重視する理由の一つです。 ただし、ソフトウェアそのものの、振る舞いであるとか、動きの機能については、資料が必要だと思っています。所謂、外部設計仕様書です。これは、リファクタリングでは変更されない部分になります。そして、この部分は、お客様の合意が必要な部分であり、お客様がソースコードを読めればドキュメントでなくても良いですが、そういう場