タグ

ブックマーク / www.quviq.com (5)

  • QuviQ Successes

    ita-wasa
    ita-wasa 2010/12/04
    QuickCheck helps ensure database reliability at Basho * Justin Sheehy, CTO of Basho Technologies says “QuickCheck, with its approach to property-based testing, gives us a much more tractable way to build assurance into products like our Riak distributed database.”
    リンク

  • Quviq offers a free QuickCheck t

    Quviq releases a free version of QuickCheck 14 June, 2010 In conjunction with the Erlang Factory in London, Quviq released Quviq QuickCheck Mini, a free version of Quviq's product with a selection of features comparable to other free versions such as Haskell QuickCheck. QuickCheck Mini makes Quviq's technology for simplifying failing test cases available to a wide audience, and it can be freely us

    ita-wasa
    ita-wasa 2010/11/29
    In conjunction with the Erlang Factory in London, Quviq released Quviq QuickCheck Mini, a free version of Quviq's product with a selection of features comparable to other free versions such as Haskell QuickCheck. QuickCheck Mini makes Quviq's technology for simplifying failing test cases available t
    リンク

  • QuickCheck Finite State Machines

    ita-wasa
    ita-wasa 2009/12/29
    Introducing QuickCheck's Finite State Machine Testing This simple example walks you through a first test using QuickCheck's new module, eqc_fsm. You'll need QuickCheck version 1.16 (or later), and these two files: lock.erl and lock_eqc.erl--right-click on these links to download them.
    リンク

  • Testing C code with QuickCheck

    The Camtasia Studio video content presented here requires a more recent version of the Adobe Flash Player. If you are you using a browser with JavaScript disabled please enable it now. Otherwise, please update your version of the free Flash Player by downloading here.

    ita-wasa
    ita-wasa 2009/12/25
    C のコードを Erlang QuickCheck を使ってテストするデモ。面白い。C コード側のモジュラリティを要求するだろうし、QuickCheck でテストできるのは面白い。Generator 周りがどうなっているのか調べてみようかな。
    リンク

  • Quviq releases support for finit

    ita-wasa
    ita-wasa 2009/12/25
    27th April, 2009 To celebrate the first Erlang Factory in the Bay Area, Quviq is offering participants (and others) a free 30-day QuickCheck trial. Download your copy here--you'll find a zip file containing QuickCheck 1.14 and a tutorial to help you get started quickly. You'll need a licence identif
    リンク
  • 1

お知らせ

もっと読む

公式Twitter

  • @HatenaBookmark

    リリース、障害情報などのサービスのお知らせ

  • @hatebu

    最新の人気エントリーの配信

はてなブックマーク

公式Twitter

はてなのサービス

  • App Storeからダウンロード
  • Google Playで手に入れよう
Copyright © 2005-2024 Hatena. All Rights Reserved.