Essays about: "property-based random testing"
Found 2 essays containing the words property-based random testing.
-
1. AGATA - Random generation of test data
University essay from Göteborgs universitet/Institutionen för data- och informationsteknikAbstract : 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
-
2. Testing implementations of Distributed Hash Tables
University essay from IT-universitetet i Göteborg/Tillämpad informationsteknologiAbstract : 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