著者
水谷 浩明 結縁 祥治
出版者
一般社団法人電子情報通信学会
雑誌
電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス (ISSN:09135685)
巻号頁・発行日
vol.111, no.481, pp.43-48, 2012-03-06

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

言及状況

はてなブックマーク (3 users, 5 posts)

[cinii][thesis][ruby-on-rails]
[cinii][thesis][ruby-on-rails]

Twitter (9 users, 10 posts, 10 favorites)

きになる / “CiNii 論文 -  Alloyを用いたRuby on Railsアプリケーションの開発支援” http://t.co/1e1CPe84i6
「Alloyを用いたRuby on Railsアプリケーションの開発支援」 http://t.co/ur7A5wJogu 早くこの論文読みたいんだけど、これって会員になったら「2年間非公開」ってなってるけど読めるのかしら。
Alloyを用いたRuby on Railsアプリケーションの開発支援 http://t.co/ur7A5wrf2m 超読みたい

収集済み URL リスト