著者

水谷 浩明 結縁 祥治

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス (ISSN:09135685)

巻号頁・発行日

vol.111, no.481, pp.43-48, 2012-03-06

---

本稿では,Ruby on Railsアプリケーションのソースコードをモデル規範形式仕様記述言語Alloyによる記述に変換して検証することで,不具合の効率的な検出を支援する手法を提案する.Alloyではスコープを指定することにより,短時間で限られた探索範囲を自動的に解析することが可能である.ソースコードをAlloyによる記述に変換するツールを作成し,Alloyを用いてRuby on Railsアプリケーションの開発を支援する.