/note/tech

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

(1) 画面表示と画面遷移を記述する仕様書は機械可読にできる

(2) 仕様書が機械可読であれば仕様の静的検査ができる

(3) 静的検査によって自身の担当範囲の15%の画面から計40件弱の欠陥を発見した

(4) 機械可読な仕様書にはさらなる応用が見込める