swet-blog https://blog.hatena.ne.jp/swet-blog/ DeNA Testing Blog https://swet.dena.com/ 静的解析 SWET第二グループのKuniwakです。本記事では画面仕様（後述）の仕様書に対する静的検査器を開発した事例について紹介します。 伝えたいこと 画面表示と画面遷移を記述する仕様書は機械可読にできる 仕様書が機械可読であれば仕様の静的検査ができる 静的検査によって自身の担当範囲の15%の画面から計40件弱の欠陥を発見した 機械可読な仕様書にはさらなる応用が見込める おさらい：仕様とは 仕様の定義はいくつかあります。 ここでは仕様とは実装の正しい振る舞いを定める基準とします。 ある実装が正しいと判定されることを、実装が仕様を満たしたといいます。 誰による判定でも実装が仕様を満たしたかどうかの判定結… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fswet.dena.com%2Fentry%2F2025%2F04%2F17%2F093000" title="画面仕様書への静的検査器を実装したらたくさんの欠陥を発見できた話 - DeNA Testing Blog" 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-ak.f.st-hatena.com/images/fotolife/s/swet-blog/20250414/20250414134448.png Hatena Blog https://hatena.blog 2025-04-17 09:30:00 rich https://swet.dena.com/entry/2025/04/17/093000 1.0 100%