Search for dissertations about: "Michal Palka"

Found 2 swedish dissertations containing the words Michal Palka.

  2. 1. Random Structured Test Data Generation for Black-Box Testing

    Author : Michal Palka; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES;

    Abstract : We show how automated random testing can be used to effectively find bugs in complex software, such as an optimising compiler. To test the GHC Haskell compiler we created a generator of simple random programs, used GHC to compile them with different optimisation levels, and thencompared the results of running them. READ MORE

  4. 2. Testing an Optimising Compiler by Generating Random Lambda Terms

    Author : Michal Palka; Chalmers tekniska högskola; []
    Keywords : NATURVETENSKAP; NATURAL SCIENCES; NATURVETENSKAP; NATURAL SCIENCES; functional programming; software testing; random testing; type systems; lambda calculus;

    Abstract : This thesis tries to improve on the relatively uncommon practice of random testing of compilers.Random testing of compilers is difficult and not widespread for two reasons. First, it is hard to come up with a generator of valid test data for compilers, that is a generator of programs. READ MORE