紹介文 :
基本設計書を初めとする上流工程のドキュメントでは、しばしばテストなどの後工程で必要な情報が抜けたり、曖昧な記述により情報が伝わらなかったりします。本論文では、テストケースの自動生成を見据えることで後工程に必要な情報を漏れにくくする設計書の作成アプローチを提案しています。