Essays about: "property-based random testing"

Found 2 essays containing the words property-based random testing.

1. 1. AGATA - Random generation of test data

   University essay from Göteborgs universitet/Institutionen för data- och informationsteknik

   Author : Jonas Almström-Duregård; [2010-03-08T15:13:24Z]
   Keywords : ;

   Abstract : Agata Generates Algebraic Types Automatically. The generated data can be used to perform property based testing with the Haskell testing framework QuickCheck, or the alternative framework SmallCheck. Unlike regular QuickCheck generators, Agata generators are mechanically derivable from the definition of an algebraic data type. READ MORE

3. 2. Testing implementations of Distributed Hash Tables

   University essay from IT-universitetet i Göteborg/Tillämpad informationsteknologi

   Author : Vinh Trương; [2007-06-18T08:50:47Z]
   Keywords : Distributed Hash Table; property-based random testing; abstract state machine;

   Abstract : A lot of research about peer-to-peer systems, today, has been focusing on designing better structured peer-to-peer overlay networks or Distributed Hash Tables, which are simply called DHTs. To our knowledge, not many papers, however, have been published about testing implementations of them. READ MORE