devorgachem https://blog.hatena.ne.jp/devorgachem/ 若くない何かの悩み https://blog.kuniwak.com/ 社のブログで最近の成果を公開しました。ぜひご覧ください。 swet.dena.com 画面仕様書への静的検査器を実装したらたくさんの欠陥を発見できた話 --- SWET第二グループの[Kuniwak](https://kuniwak.com/)です。本記事では画面仕様（後述）の仕様書に対する静的検査器を開発した事例について紹介します。 ## 伝えたいこと 1. 画面表示と画面遷移を記述する仕様書は機械可読にできる 2. 仕様書が機械可読であれば仕様の静的検査ができる 3. 静的検査によって自身の担当範囲の15%の画面から計40件弱の欠陥を発見した 4. 機械可読な仕様書にはさらなる応用が見込め… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fblog.kuniwak.com%2Fentry%2F2025%2F04%2F17%2F100201" title="画面仕様書への静的検査器を実装したらたくさんの欠陥を発見できた話 - 若くない何かの悩み" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> https://cdn.user.blog.st-hatena.com/default_entry_og_image/69020888/1637037505451613 Hatena Blog https://hatena.blog 2025-04-17 10:02:01 rich https://blog.kuniwak.com/entry/2025/04/17/100201 1.0 100%