https://swet.dena.com/entry/2025/04/17/093000

画面仕様書への静的検査器を実装したらたくさんの欠陥を発見できた話 - DeNA Testing Blog

DeNA Testing Blogの記事で、画面仕様書に対する静的検査器の開発事例を紹介しています。

仕様書を機械可読にすることで静的検査が可能になり、多くの欠陥を発見できたとのことです。

機械可読な仕様書は実装の自動生成など、さらなる応用が期待されています。