Sökning: "quickcheck"
Visar resultat 1 - 5 av 10 uppsatser innehållade ordet quickcheck.
1. Testing a distributed Wiki web application with QuickCheck
Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : Web applications are complex, heterogeneous and dynamic. To ensure their correct functional behaviour is a difficult task and by simply using unit testing and manually generated test cases it may be difficult to detect errors present on them. LÄS MER
2. Testing a distributed Wiki web application with QuickCheck
Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : Web applications are complex, heterogeneous and dynamic. To ensure their correct functional behaviour is a difficult task and by simply using unit testing and manually generated test cases it may be difficult to detect errors present on them. LÄS MER
3. Contract Checking for Feldspar
Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : "Contracts play an important role in the construction of robust software" [13]. Program invariants are expressed in familiar notation with known semantics by using contracts. Assertions based on contracts has been widely used in procedural and object-oriented languages. LÄS MER
4. QuickCheck-Style Testing of Embedded Software using the PropEr Framework
Master-uppsats, Institutionen för informationsteknologiSammanfattning : Testing is an integral part of any software development. It is important for improving the quality of any product. There are several ways of software testing and one of the most common approaches being random testing. LÄS MER
5. AGATA - Random generation of test data
Magister-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknikSammanfattning : 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. LÄS MER