講演抄録/キーワード |
講演名 |
2012-03-13 13:05
Alloyを用いたRuby on Railsアプリケーションの開発支援 ○水谷浩明・結縁祥治(名大) SS2011-64 |
抄録 |
(和) |
本稿では,Ruby on Rails アプリケーションのソースコードをモデル規範形式仕様記述言語 Alloy による記述に変換して検証することで,不具合の効率的な検出を支援する手法を提案する.Alloy ではスコープを指定することにより,短時間で限られた探索範囲を自動的に解析することが可能である.ソースコードを Alloy による記述に変換するツールを作成し,Alloy を用いて Ruby on Rails アプリケーションの開発を支援する. |
(英) |
We propose a development assistance method by converting Ruby on Rails Web application into Alloy models. Alloy analyzes satisfiability of a given first order relational formula scope to validate behavioral properties. We show an automatic conversion tool aiming at reliable development of Ruby on Rails Web application efficiently. |
キーワード |
(和) |
形式手法 / モデル化 / Alloy / Ruby on Rails / / / / |
(英) |
formal methods / modeling / Alloy / Ruby on Rails / / / / |
文献情報 |
信学技報, vol. 111, no. 481, SS2011-64, pp. 43-48, 2012年3月. |
資料番号 |
SS2011-64 |
発行日 |
2012-03-06 (SS) |
ISSN |
Print edition: ISSN 0913-5685 Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
SS2011-64 |