Avancerad sökning

Visar resultat 1 - 5 av 10 uppsatser som matchar ovanstående sökkriterier.

  1. 1. Testing a distributed Wiki web application with QuickCheck

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Lastres Guerrero Ramon; [2012-09-18]
    Nyckelord :;

    Sammanfattning : 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. 2. Testing a distributed Wiki web application with QuickCheck

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Ramón Lastres Guerrero; [2012-08-13]
    Nyckelord :;

    Sammanfattning : 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

  4. 3. Contract Checking for Feldspar

    Master-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Fatemeh Lashkari; [2012-05-25]
    Nyckelord :;

    Sammanfattning : "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

  5. 4. QuickCheck-Style Testing of Embedded Software using the PropEr Framework

    Master-uppsats, Institutionen för informationsteknologi

    Författare :Shivani Raina; [2012]
    Nyckelord :;

    Sammanfattning :  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

  7. 5. AGATA - Random generation of test data

    Magister-uppsats, Göteborgs universitet/Institutionen för data- och informationsteknik

    Författare :Jonas Almström-Duregård; [2010-03-08]
    Nyckelord :;

    Sammanfattning : 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