9
なぜ詳細な仕様に悩むのですか?
ソフトウェアを書くとき、正式で詳細なデッドツリー仕様を書く意味は何ですか?明確にするために、コードを読みたくない人のためのやや非公式な高レベルの仕様は私には理にかなっています。十分にコメントされた読みやすいソースコードのリファレンス実装は、コンピュータが実行できる必要があるため、取得するあらゆるものの最も明確な仕様についてのものです。形式的な仕様は、コードと同じくらい読みにくく、ほとんど書くのが難しいです。 正式な仕様は、リファレンス実装に比べてどのような利点がありますか。リファレンス実装での動作に関係なく、未定義/実装定義の動作についての小さなドキュメントが提供されます。 編集:または、テストが正式な仕様であることの何が問題になっていますか?