mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Type-directed Generation and Shrinking for Imperative Programming Languages
Mälardalens högskola, Akademin för innovation, design och teknik.
Mälardalens högskola, Akademin för innovation, design och teknik.
2018 (engelsk)Independent thesis Basic level (degree of Bachelor), 10 poäng / 15 hpOppgave
Abstract [en]

Optimizing compilers are large and complex systems, potentially consisting of millions of lines of code. As a result, the implementation of an industry standard compiler can contain several serious bugs. This is alarming given the critical part that software plays in modern society. Therefore, we investigate type-directed program generation and shrinking for the testing of compilers for imperative programming languages. We implement a type-directed generator and shrinker for a subset of C in Haskell. The generator is capable of generating type-correct programs that contain variable mutations and challenging program constructs, such as while-statements and if statements. We evaluate the quality of the generated programs by measuring statement coverage of a reference interpreter and by comparing the results to reference test suite. The results show that the generated programs can surpass the test suite in terms of quality by one percentage point of coverage. To test the bug finding capabilities of the generator and the shrinker, we use them to test seven interpreters and manage to identify a total of seven bugs. Furthermore, we test the same interpreters with the reference test suite and find only three bugs. The implications of the results lead us to question the reliability of code coverage as a measure of quality for compiler test suites. Finally, we conclude that type-directed generation and shrinking is a powerful method that can be used for the testing of compilers for imperative programming languages.

sted, utgiver, år, opplag, sider
2018. , s. 39
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-39673OAI: oai:DiVA.org:mdh-39673DiVA, id: diva2:1215491
Fag / kurs
Computer Science
Presentation
2018-06-04, Gamma, Högskoleplan 1, Västerås, 10:55 (engelsk)
Veileder
Examiner
Tilgjengelig fra: 2018-06-11 Laget: 2018-06-08 Sist oppdatert: 2018-06-11bibliografisk kontrollert

Open Access i DiVA

Type-directed Generation and Shrinking for Imperative Programming Languages(531 kB)107 nedlastinger
Filinformasjon
Fil FULLTEXT01.pdfFilstørrelse 531 kBChecksum SHA-512
27061855ee9afa5d0af60ddd9893379466f7767fb24766930562d9a72727e54d412655c01c11ff37f01d456cafd868a4a10a0ef744a9269a246dd77e814de08c
Type fulltextMimetype application/pdf

Søk i DiVA

Av forfatter/redaktør
Samuel, BodinJoel, Söderman
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 107 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

urn-nbn

Altmetric

urn-nbn
Totalt: 247 treff
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf