ADSL by Bocete

ADSL - Abstract Data Store Library Project maintained by Bocete Hosted on GitHub Pages — Theme by mattgraham ADSL - Abstract Data Store Library ADSL is a gem for formal verification of Ruby on Rails models. Simply include it in your Gemfile, write a few invariants (rules) about ActiveRecord data that you wish to verify (for example, that at any given moment, every Address has a User) and run rake

[masterq]

ActiveRecord上の不変条件を検証できるの？これはすごいのでは

[t-wada]

DSL で ActiveRecord に関する不変条件を書いておくことで、 Rails アプリのコードを構文解析して不変条件に違反する操作が無いかの検証 (Formal Verification) を行うツール