Search for dissertations about: "Michal Palka"
Found 2 swedish dissertations containing the words Michal Palka.
-
1. Random Structured Test Data Generation for Black-Box Testing
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
-
2. Testing an Optimising Compiler by Generating Random Lambda Terms
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